Accession Number : ADA135775

Title :   Program Mutation: An Approach to Software Testing.

Descriptive Note : Final rept.,

Corporate Author : GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE

Personal Author(s) : DeMillo,R. A.

Report Date : APR 1983

Pagination or Media Count : 306

Abstract : Program Mutation is a method of assessing the quality of computer program test data. Test data is said to be adequate if a program behaves correctly on the data but incorrect programs fail. A mutation score assesses how close a given test is to being adequate. This report describes the status of research in program mutation. Topics covered include theoretical results, error classification, experimental studies, implementation strategies for a mutation analyzer, and field studies. (Author)

Descriptors :   *COMPUTER PROGRAM VERIFICATION, *COMPUTER PROGRAM RELIABILITY, *TEST METHODS, *ERROR DETECTION CODES, CLASSIFICATION, QUALITY, RELIABILITY, ERROR ANALYSIS, COMPUTER PROGRAMS, SYSTEMS ANALYSIS, MUTATIONS, ANALYZERS, EFFICIENCY, RESEARCH MANAGEMENT

Subject Categories : Computer Programming and Software
      Cybernetics
      Test Facilities, Equipment and Methods

Distribution Statement : APPROVED FOR PUBLIC RELEASE