Trial‐and‐error method for automated test data generation and its evaluation

1 January 1989

journal article
research article
Published by Wiley in Systems and Computers in Japan

Vol. 20 (2) , 78-92
https://doi.org/10.1002/scj.4690200208

Abstract

This paper discusses the trial‐and‐error method for automatic generation of test data. First, the performance of a simple trial‐and‐error method is discussed and an idea of improvement is shown. Then an improved trial‐and‐error method is proposed. In this method, the dynamic determination of the range of the random variable for the linear path predicate is considered. The problem is linearized in the trial‐and‐error process for the path predicate containing nonlinear conditional expressions, and then the order of determination of the variables is also considered. The dynamical determination of the order of the variable is considered for the path predicate containing the ambiguous array reference. Finally, the method is evaluated by an experiment.

Keywords

This publication has 8 references indexed in Scilit:

The potential effect of Ada on software engineering in the 1980's
ACM SIGSOFT Software Engineering Notes, 1982
Symbolic Testing and the DISSECT Symbolic Evaluation System
IEEE Transactions on Software Engineering, 1977
On the Automated Generation of Program Test Data
IEEE Transactions on Software Engineering, 1976
Reliability of the Path Analysis Testing Strategy
IEEE Transactions on Software Engineering, 1976
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering, 1976
Methodology for the Generation of Program Test Data
IEEE Transactions on Computers, 1975
SELECT—a formal system for testing and debugging programs by symbolic execution
ACM SIGPLAN Notices, 1975
SELECT---a formal system for testing and debugging programs by symbolic execution
Published by Association for Computing Machinery (ACM) ,1975