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