NCJ Number
89660
Date Published
1982
Length
60 pages
Annotation
This report identifies several approaches to obtaining verified computer programs. Verification considerations presented are meant to improve efficiency and thoroughness of verification at reduced costs.
Abstract
Discussion of automated aids covers software development phases, focusing on the coding and debugging phase and test specifications. Technological issues mentioned include the problems of immediate solution, of complete system analysis, and of failure testing. Modeling techniques for security and development tools are reviewed. The report suggests that better system design would be helpful in the testing and verification of systems. Achieving reliability by testing the system after implementation is difficult. Reliability and security must be designed as an integral part of a system and not attempted as a retrofit. Diagrams, tables, and 22 references are supplied.