Accession Number : AD0907163

Title :   TMDE Task 05, Information Dynamics. MAIDS Study Program Testing and Diagnosis Technology.

Descriptive Note : Technical interim technical study,

Corporate Author : SOFTECH INC WALTHAM MA

Personal Author(s) : Goodenough, John B. ; Eanes, R. Sterling

Report Date : DEC 1972

Pagination or Media Count : 55

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)

Descriptors :   *COMPUTER PROGRAMMING, *PROBLEM SOLVING, CHECKOUT PROCEDURES, ERRORS, SOURCES, DETECTION, CORRECTIONS, TEST METHODS, RELIABILITY, ACCURACY, PROBABILITY, PROGRAMMERS, REASONING, DECISION MAKING, TRAINING, COMPUTER PROGRAMS, TEST EQUIPMENT, EXPERIMENTAL DESIGN, SPECIFICATIONS, QUALITY CONTROL, ACCEPTABILITY.

Subject Categories : Computer Programming and Software
      Mfg & Industrial Eng & Control of Product Sys
      Test Facilities, Equipment and Methods

Distribution Statement : APPROVED FOR PUBLIC RELEASE