Mutation-based software testing using program schemata

Mutation analysis is a powerful technique for assessing the quality of test data used in unit testing software. Unfortunately, current automated mutation analysis systems suffer from severe performance problems. In this paper the principles of mutation analysis are reviewed, current automation approaches are described, and a new method of performing mutation analysis is outlined. Performance improvements of over 300% are reported and other advantages of this new method are highlighted.

[1]  K. N. King,et al.  A Fortran 77 interpreter for mutation analysis , 1987, PLDI 1987.

[2]  Timothy Alan Budd,et al.  Mutation analysis of program test data , 1980 .

[3]  K. N. King,et al.  A fortran language system for mutation‐based software testing , 1991, Softw. Pract. Exp..

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

[5]  Shmuel Katz,et al.  Partially Interpreted Schemas for CSP Programming , 1988, Sci. Comput. Program..

[6]  Vernon Rego,et al.  High Performance Software Testing on SIMD Machines , 1991, IEEE Trans. Software Eng..

[7]  Eugene H. Spafford,et al.  Sequential Statistical Procedures for Approving Test Sets Using Mutation-Based Software Testing , 1990 .

[8]  Richard A. DeMillo,et al.  Compiler-integrated program mutation , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

[9]  J. A. Acree.  On mutation , 1980 .

[10]  Elaine J. Weyuker,et al.  On Testing Non-Testable Programs , 1982, Comput. J..

[11]  Larry J Morell,et al.  A Theory of Fault-Based Testing , 1990, IEEE Trans. Software Eng..

[12]  Barton P. Miller,et al.  An empirical study of the reliability of UNIX utilities , 1990, Commun. ACM.

[13]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.