Applicability of Software Validation Techniques to Scientific Programs
- 1 July 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 2 (3) , 307-320
- https://doi.org/10.1145/357103.357107
Abstract
Error analysis involves the examination of a collection of programs whose errors are known. Each error is analyzed and validation techniques which would discover the error are identified. The errors that were present in version five of a package of Fortran scientific subroutines and then later corrected in version six were analyzed. An integrated collection of static and dynamic analysis methods would have discovered the errors in version five before its release. An integrated approach to validation and the effectiveness of individual methods are discussed.Keywords
This publication has 18 references indexed in Scilit:
- Design and code inspections to reduce errors in program developmentIBM Systems Journal, 1999
- Functional testing and design abstractionsJournal of Systems and Software, 1980
- A controlled experiment in program testing and code walkthroughs/inspectionsCommunications of the ACM, 1978
- An evaluation of the effectiveness of symbolic testingSoftware: Practice and Experience, 1978
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- Symbolic execution and program testingCommunications of the ACM, 1976
- An Approach to Program TestingACM Computing Surveys, 1975
- SELECT—a formal system for testing and debugging programs by symbolic executionACM SIGPLAN Notices, 1975
- Automated generation of testcase datasetsPublished by Association for Computing Machinery (ACM) ,1975
- SELECT---a formal system for testing and debugging programs by symbolic executionPublished by Association for Computing Machinery (ACM) ,1975