Automatic Generation of Random Self-Checking Test Cases
暂无分享,去创建一个
A technique of automatically generating random software test cases is described. The nature of such test cases ensures that they will execute to completion, and their execution is predicted at the time of generation. Wherever possible the test cases are self-checking. At run-time their execution is compared witht he predicted execution. Also described are implementations of the technique that have been used to test various IBM programs-- PL/I language processors, sort/merge programs, and Graphical Data Display Manager alphanumeric and graphics support.
[1] Ippolito Spadafora,et al. An Automatic Generator for Compiler Testing , 1982, IEEE Transactions on Software Engineering.
[2] K. V. Hanford,et al. Automatic Generation of Test Cases , 1970, IBM Syst. J..
[3] Carlo Ghezzi,et al. Compiler testing using a sentence generator , 1980, Softw. Pract. Exp..
[4] Paul Walton Purdom,et al. A sentence generator for testing parsers , 1972 .