论文信息 - Hints on Test Data Selection: Help for the Practicing Programmer

Hints on Test Data Selection: Help for the Practicing Programmer

In many cases tests of a program that uncover simple errors are also effective in uncovering much more complex errors. This so-called coupling effect can be used to save work during the testing process.

[1] Richard J. Lipton,et al. Social processes and proofs of theorems and programs , 1979, CACM.

[2] N LevittKarl,et al. SELECTa formal system for testing and debugging programs by symbolic execution , 1975 .

[3] C. V. Ramamoorthy,et al. On the Automated Generation of Program Test Data , 1976, IEEE Transactions on Software Engineering.

[4] Karl N. Levitt,et al. SELECT—a formal system for testing and debugging programs by symbolic execution , 1975 .

[5] Richard J. Lipton,et al. The design of a prototype mutation system for program testing , 1899, AFIPS National Computer Conference.

[6] Edward Arthur Youngs,et al. Error-proneness in programming , 1970 .

[7] John B. Goodenough,et al. Toward a theory of test data selection , 1975 .

[8] S. L. Gerhart,et al. Toward a theory of test data selection , 1975, IEEE Transactions on Software Engineering.