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


Full Text : http://www.dtic.mil/get-tr-doc/pdf?AD=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