Accession Number:

ADA101155

Title:

A Comparison of Some Reliable Test Data Generation Procedures.

Descriptive Note:

Interim technical rept.,

Corporate Author:

GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE

Report Date:

1981-04-01

Pagination or Media Count:

35.0

Abstract:

A set of mutants of a program P, MP, is a finite subset of the set of all programs written in the language of P, and EMP is the set of programs in MP which are functionally equivalent to p. For a set of test data T, DMP,T is the set of programs in MP which give results differing from P on at least one point in T. As described elsewhere, it is possible to choose the function M so that ms P,T 1 only if T demonstrates the correctness of P with high probability. This paper is a case study of four test data generation schemes. For a fixed program P, five sets of test data are generated and mutation scores are calculated using the FMS.2 mutation system. Since each set has a score less than one, the FMS.2 system is used to derive a set T such that msP,T1.

Subject Categories:

  • Statistics and Probability
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE