Software verification and validation in practice and theory (Position Statement)
Pages 784 - 785
Abstract
The techniques and tools that are available to the developer of practical software systems today are oriented towards the detection of errors in a test environment. That is, the software has been designed, coded, walked through, and tested by the designers, and is now to be subjected to outside verification and validation. Among the test tools that can be used to aid in the testing process are JAVS1, FAVS2, RXVP3, PACE4, and PET5.
References
[1]
N. B. Brooks and C. Gannon, JAVS Technical Report: Methodology Report, General Research Corporation CR-1-722, December 1976.
[2]
D. M. Andrews, FAVS, FORTRAN Automated Verification System User's Manual, General Research Corporation CR-1-754, December 1977.
[3]
W. R. Wisehart, RXVP, FORTRAN Automated Verification System User's Guide, General Research Corporation, April 1977.
[4]
J. R. Brown, "Evaluating the Effectiveness of Software Verification - Practical Experiences with an Automated Tool," AFIPS Conference Proceedings, Vol. 41, National Computer Conference, 1972.
[5]
L. G. Stucki, Automatic Generation of Self Metric Software, WD2144, McDonnell Douglas Astronautics Company, Huntington Beach, CA, 1972.
[6]
C. Gannon, "A Verification Case Study," Proceedings AIAA/NASA/IEEE/ACM Computers in Aerospace Conference, Los Angeles, October 1977.
[7]
J. Dana, Verification and Validation for Terminal Defense Program Software, Logicon HR-74012, May 1974.
[8]
T. A. Thayer, et al., Software Reliability Study, TRW Defense and Space Systems Group, RADC-TR-76-238, August 1976.
[9]
M. J. Fries, Software Error Data Acquisition, Boeing Aerospace Company, RADC-TR-77-130, April 1977.
[10]
L. J. Osterweil and L. D. Fosdick, "DAVE - A Validation Error Detection and Documentation System for FORTRAN Programs," Software Practice and Experience, John Wiley, October 1976.
[11]
S. H. Saib, J. P. Benson, and R. A. Melton, "A Methodology for Program Verification," Proceedings of the Summer Simulation Conference, Chicago, July 1977.
[12]
D. Teichroew and E. A. Hershey, III, "PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing," IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, January 1977.
[13]
M. W. Alford, "A Requirements Engineering Methodology for Real-Time Processing Requirements," IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, January 1977.
[14]
N. Wirth and K. Jensen, PASCAL User Manual and Report, Springer-Verlag, N.Y., 1975.
[15]
J. P. Benson and S. H. Saib, "A Software Quality Assurance Experiment," Software Quality Assurance Workship: Functional and Performance Issues, San Diego, November 1978.
Index Terms
- Software verification and validation in practice and theory (Position Statement)
Recommendations
Software verification and validation(Position Statement)
ACM '78: Proceedings of the 1978 annual conference - Volume 2Logicon was an original advocate of software verification and validation (V&V). We began performing V&V for the Air Force when the control of critical functions in space and missile applications moved from hardware into software. Since these early ...
Validation and verification vs. The software life cycle(Position Statement)
ACM '78: Proceedings of the 1978 annual conference - Volume 2In attempting to forecast the future trends in software engineering, a very dynamic future appears to be in store. Validation and verification are rapidly becoming recognized as an integral part of the total software life cycle. Validation and ...
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 ...
Comments
Information & Contributors
Information
Published In
January 1978
990 pages
Copyright © 1978 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 1978
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 448Total Downloads
- Downloads (Last 12 months)18
- Downloads (Last 6 weeks)7
Reflects downloads up to 10 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in