Academic Journal
Validation of Scientific Programs.
| Τίτλος: | Validation of Scientific Programs. |
|---|---|
| Συγγραφείς: | Howden, William E.1 |
| Πηγή: | ACM Computing Surveys. Jun82, Vol. 14 Issue 2, p193-227. 35p. |
| Θεματικοί όροι: | *Computer software, *Computer software development, Software validation, FORTRAN, Errors, Debugging |
| Περίληψη: | This paper describes a comprehensive approach to the validation of computer programs. It concentrates on the use of informal validation methods, such as testing and static analysis, as opposed to more formal methods such as proofs of correctness. Although many of the methods are general and can be applied to any software system, the emphasis is on the validation of individual scientific subroutines. Most of the examples are in FORTRAN and some of the described techniques are closely related to features of the FORTRAN programming language. The paper describes methods for detecting programming errors (i.e., errors that arise due to mistakes in the software development process) rather than mathematical or number representation errors. No material is included, for example, on precision errors due to cancellation, truncation, or round-off One of the more important concepts in contemporary validation methodology is that specifications and design information should be used to validate programs. In order to indicate how this information is used, the paper contains a detailed discussion of specifications and design techniques for scientific programs. Both the validation of specifications and design, as well as their use in generating test data, are described. The inclusion of detailed information on specification and design techniques for scientific programs was necessary due to the lack of commonly agreed-upon standards for these parts of the software development process. It is expected that many of the techniques described in the paper will be familiar to some of the readers. The paper will be useful to these readers in confirming that their knowledge of testing is consistent with research in this area. For less knowledgeable readers, it can serve both as an introduction to testing technology and as a set of guidelines for an integrated approach to validation. [ABSTRACT FROM AUTHOR] |
| Copyright of ACM Computing Surveys is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Βάση Δεδομένων: | Business Source Index |
καταχωρήστε σχόλιο πρώτοι!