research-article

Software Verification and Validation: An Overview

Authors:

Dolores R. Wallace,

Roger U. FujiiAuthors Info & Claims

IEEE Software, Volume 6, Issue 3

Pages 10 - 17

https://doi.org/10.1109/52.28119

Published: 01 May 1989 Publication History

Publisher Site

Abstract

An explanation is given of software verification and validation (V&V) and how it fits in the development life cycle. How to apply V&V is also discussed. Evaluations of its effectiveness are summarized.

References

[1]

1. B.W. Boehm, "A Spiral Model of Software Development and Enhancement," Computer , May 1988, pp. 61-72.

Digital Library

Google Scholar

[2]

2. B.W. Boehm and P.N. Papaccio, "Understanding and Controlling Software Costs," IEEE Trans. Software Eng., Oct. 1988, pp. 1462-1467.

Digital Library

Google Scholar

[3]

3. P.B. Powell, "Software Validation, Verification, and Testing Technique and Tool Reference Guide," NBS Special Pub. 500-93, Nat'l Inst. Standards and Technology, Gaithersburg, Md., 1982.

Google Scholar

[4]

4. D.R. Wallace and R.U. Fujii, Software Verification and Validation: Its Role in Computer Assurance and Its Relationship with Software Project-Management Standards," NIST Special Pub., Nat'l Inst. Standards and Technology, Gaithersburg, Md., to be published, 1989.

Digital Library

Google Scholar

[5]

5. F. McGarry and G. Page, "Performance Evaluation of an Independent Software Verification and Integration Process," Tech. Report SEL 81-110, NASA Goddard Space Flight Center, Greenbelt, Md., Sept. 1982.

Google Scholar

[6]

6. J.W. Radatz, "Analysis of IV&V Data," Tech. Report RADC-TR-81-145, Rome Air Development Center, Griffiss AFB, N.Y., June 1981.

Google Scholar

Cited By

View all

Tihanyi NBisztray TFerrag MJain RCordeiro L(2025)How secure is AI-generated code: a large-scale comparison of large language modelsEmpirical Software Engineering10.1007/s10664-024-10590-130:2Online publication date: 1-Mar-2025
https://dl.acm.org/doi/10.1007/s10664-024-10590-1
Cheng ZWu TSchrammel PTihanyi Nde Lima Filho ECordeiro LChristakis MPradel M(2024)JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model CheckingProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3685303(1831-1835)Online publication date: 11-Sep-2024
https://dl.acm.org/doi/10.1145/3650212.3685303
Sondoqah MBen Abdesslem FPopova KMcgregor MLa Delfa JGarrett RLampinen AMottola LHöök K(2024)Shaping and Being Shaped by Drones: Programming in Perception-Action LoopsProceedings of the 2024 ACM Designing Interactive Systems Conference10.1145/3643834.3661636(2926-2945)Online publication date: 1-Jul-2024
https://dl.acm.org/doi/10.1145/3643834.3661636
Show More Cited By

Software Verification and Validation: An Overview
1. Software and its engineering
  1. Software creation and management

Recommendations

Planning for software verification and validation

Software verification and validation (V&V) is a systems engineering process that supports the evaluation of software quality. Software V&V requires careful planning for effective application of a rigorous methodology for evaluating the ...
V&V of Flight and Mission-Critical Software

The use of software verification and validation to assure the safety of flight control systems is described. The process considered is performed by the system's developers, not by a separate group as is typical, and it examines the software as part of ...
MetaVal: Witness Validation via Verification
Computer Aided Verification
Abstract
Witness validation is an important technique to increase trust in verification results, by making descriptions of error paths (violation witnesses) and important parts of the correctness proof (correctness witnesses) available in an exchangeable ...

Comments

Information & Contributors

Information

Published In

IEEE Software Volume 6, Issue 3

May 1989

87 pages

ISSN:0740-7459

Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 May 1989

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tihanyi NBisztray TFerrag MJain RCordeiro L(2025)How secure is AI-generated code: a large-scale comparison of large language modelsEmpirical Software Engineering10.1007/s10664-024-10590-130:2Online publication date: 1-Mar-2025
https://dl.acm.org/doi/10.1007/s10664-024-10590-1
Cheng ZWu TSchrammel PTihanyi Nde Lima Filho ECordeiro LChristakis MPradel M(2024)JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model CheckingProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3685303(1831-1835)Online publication date: 11-Sep-2024
https://dl.acm.org/doi/10.1145/3650212.3685303
Sondoqah MBen Abdesslem FPopova KMcgregor MLa Delfa JGarrett RLampinen AMottola LHöök K(2024)Shaping and Being Shaped by Drones: Programming in Perception-Action LoopsProceedings of the 2024 ACM Designing Interactive Systems Conference10.1145/3643834.3661636(2926-2945)Online publication date: 1-Jul-2024
https://dl.acm.org/doi/10.1145/3643834.3661636
Tihanyi NBisztray TJain RFerrag MCordeiro LMavroeidis VMcIntosh SChoi EHerbold S(2023)The FormAI Dataset: Generative AI in Software Security through the Lens of Formal VerificationProceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering10.1145/3617555.3617874(33-43)Online publication date: 8-Dec-2023
https://dl.acm.org/doi/10.1145/3617555.3617874
Erata FDeng SZaghloul FXiong WDemir OSzefer J(2023)Survey of Approaches and Techniques for Security Verification of Computer SystemsACM Journal on Emerging Technologies in Computing Systems10.1145/356478519:1(1-34)Online publication date: 19-Jan-2023
https://dl.acm.org/doi/10.1145/3564785
Yacoub AHamri MFrydman C(2020)DEv-PROMELASimulation10.1177/003754972094610796:11(881-910)Online publication date: 1-Nov-2020
https://dl.acm.org/doi/10.1177/0037549720946107
Santos ICoutinho ESouza SCavalcante EDantas FBatista T(2020)Software testing ecosystems insights and research opportunitiesProceedings of the XXXIV Brazilian Symposium on Software Engineering10.1145/3422392.3422458(421-426)Online publication date: 21-Oct-2020
https://dl.acm.org/doi/10.1145/3422392.3422458
Fazzolino RVincenzi ASilva Sde Souza LFigueiredo RRamos CRibeiro L(2019)Validation process for services produced by digital transformationProceedings of the 29th Annual International Conference on Computer Science and Software Engineering10.5555/3370272.3370314(354-364)Online publication date: 4-Nov-2019
https://dl.acm.org/doi/10.5555/3370272.3370314
Neukirchen H(2010)Taming the raven --- testing the random access, visualization and exploration network RAVENProceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 210.1007/978-3-642-28145-7_20(196-205)Online publication date: 6-Jun-2010
https://dl.acm.org/doi/10.1007/978-3-642-28145-7_20
Menzies TElrawas OHihn JFeather MMadachy RBoehm BStirewalt KEgyed AFischer B(2007)The business case for automated software engineeringProceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering10.1145/1321631.1321676(303-312)Online publication date: 5-Nov-2007
https://dl.acm.org/doi/10.1145/1321631.1321676
Show More Cited By

Abstract

References

Cited By

Recommendations

Planning for software verification and validation

V&V of Flight and Mission-Critical Software

MetaVal: Witness Validation via Verification

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations