Applicability of Software Validation Techniques to Scientific Programs

Authors:
W. E. Howden
Affiliations:
Department of Mathematics, University of Victoria, P.O. Box 1700, Victoria, British Columbia, Canada V8W 2Y2
Venue:
ACM Transactions on Programming Languages and Systems (TOPLAS)
Year:
1980

Citing 12
Cited 9

Design and code inspections to reduce errors in program development

IBM Systems Journal
An Approach to Program Testing

ACM Computing Surveys (CSUR)
A controlled experiment in program testing and code walkthroughs/inspections

Communications of the ACM
Symbolic execution and program testing

Communications of the ACM
Art of Software Testing

Art of Software Testing
Toward an effective software reliability evaluation

ICSE '78 Proceedings of the 3rd international conference on Software engineering
Quantitative evaluation of software quality

ICSE '76 Proceedings of the 2nd international conference on Software engineering
Automated generation of testcase datasets

Proceedings of the international conference on Reliable software
SELECT—a formal system for testing and debugging programs by symbolic execution

Proceedings of the international conference on Reliable software
An experimental analysis of program verification methods.

An experimental analysis of program verification methods.
Principles of Program Design

Principles of Program Design
Functional testing and design abstractions

Journal of Systems and Software

The weak mutation hypothesis

TAV4 Proceedings of the symposium on Testing, analysis, and verification
Validation, Verification, and Testing of Computer Software

ACM Computing Surveys (CSUR)
Validation of Scientific Programs

ACM Computing Surveys (CSUR)
Contemporary software development environments

Communications of the ACM
Concepts and criteria to assess acceptability of simulation studies: a frame of reference

Communications of the ACM - Special issue on simulation modeling and statistical computing
A new program structure to improve accuracy and readability of pascal software

ICSE '84 Proceedings of the 7th international conference on Software engineering
Completeness criteria for testing elementary program functions

ICSE '81 Proceedings of the 5th international conference on Software engineering
Contemporary software development environments

ACM SIGSOFT Software Engineering Notes
HITS: a symbolic testing and debugging system for multilingual microcomputer software

AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference

Quantified Score

Hi-index	0.02

Visualization

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.