Accession Number : ADA118840

Title :   Equivalence Testing for FORTRAN Mutation System Using Data Flow Analysis.

Descriptive Note : Interim technical rept.,

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

Personal Author(s) : Tanaka,Akihiko

PDF Url : ADA118840

Report Date : Dec 1981

Pagination or Media Count : 76

Abstract : Program mutation is a new approach to program testing, a method designed to test whether a program is either correct or radically incorrect. It requires the creation of a nearly correct program called a mutant from a program P. An adequate set of test data distinguishes all mutants from P by comparing the outputs. Obviously, an equivalent mutant, which performs identically to P, produces the same outputs as those of P. Thus, for adequate data selection, it is desirable that an equivalent mutant be excluded from the testing process. For this purpose, the system equivalence command has been implemented as an equivalent mutant detector. As yet, the command has not been automated. Automatic detection by this command is implemented here as an application of data flow analysis. Algorithms and implementation techniques of data flow analysis are described. Also its application as an automatic detector is described. (Author)

Descriptors :   *COMPUTER PROGRAM VERIFICATION, *COMPUTER PROGRAM RELIABILITY, *MUTATIONS, *DATA TRANSMISSION SYSTEMS, DATA PROCESSING, TEST AND EVALUATION, TEST METHODS, FORTRAN, ALGORITHMS, COMPARISON, EXPERIMENTAL DATA, THESES

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE