# 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

# Personal Author(s):

# 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.

# Descriptors:

# Subject Categories:

- Statistics and Probability
- Computer Programming and Software