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
Test Facilities, Equipment and Methods
Distribution Statement : APPROVED FOR PUBLIC RELEASE