Equivalence Testing for FORTRAN Mutation System Using Data Flow Analysis.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1981
Accession Number
ADA118840

Entities

People

  • Akihiko Tanaka

Organizations

  • Georgia Tech

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Arithmetic
  • Automatic
  • Computer Languages
  • Computer Science
  • Computers
  • Data Analysis
  • Data Sets
  • Detection
  • Detectors
  • Hierarchies
  • Intervals
  • Language
  • Lists (Data Structures)
  • Mutations
  • Procedures (Computers)
  • Universities

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Molecular Biology and Genetics
  • Regression Analysis.