Methodology for the Generation of Program Test Data
- 1 May 1975
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-24 (5), 554-560
- https://doi.org/10.1109/t-c.1975.224259
Abstract
A methodology for generating program test data is described. The methodology is a model of the test data generation process and can be used to characterize the basic problems of test data generation. It is well defined and can be used to build an automatic test data generation system.Keywords
This publication has 3 references indexed in Scilit:
- Comparing the effectiveness of testing methods in improving programs: the effect of variations in program qualityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An Assessment of Techniques for Proving Program CorrectnessACM Computing Surveys, 1972
- Solvability and Consistency for Linear Equations and InequalitiesThe American Mathematical Monthly, 1956