TMDE Task 05, Information Dynamics. MAIDS Study Program Testing and Diagnosis Technology.
Abstract
This report deals with methods for discovering errors in software and determining their source so that the errors may be corrected, and methods for insuring the reliability and maintainability of software. The sources of error in software are categorized and discussed together with an analysis of testing technology. Emphasized are the inherent weaknesses of testing as a technique for demonstrating and insuring software reliability. Other techniques for promoting software reliability are considered and include the role of design in reliability of software, specification and reliability, implementation requirements, programming language features, program checking and program proving. Summarized are the technological problems relevant to the MAIDS Information Dynamics Subsystem (MIDS). (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1972
- Accession Number
- AD0907163
Entities
People
- John B. Goodenough
- R. Sterling Eanes
Organizations
- SofTech, Inc.