Title :
Generating Distinguishing Tests Using the Minion Constraint Solver
Author :
Wotawa, Franz ; Nica, Mihai ; Aichernig, Bernhard K.
Author_Institution :
Inst. for Software Technol., Tech. Univ. Graz, Graz, Austria
Abstract :
We discuss the generation of test cases for demonstrating the non-equivalence of two programs. This problem has applications in mutation testing and automated debugging. After transforming the programs into Static-Single-Assignment form, the MINION constraint solver is used to generate test vectors that demonstrate the observable difference. The experiments show the feasability of our constraint solving approach.
Keywords :
constraint handling; program debugging; program testing; MINION constraint solver; automated debugging; mutation testing; static single assignment form; test cases generation; test vectors generation; Application software; Automatic testing; Debugging; Genetic mutations; Software testing; Constraint solving; Test case generation; Testing;
Conference_Titel :
Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on
Conference_Location :
Paris
Print_ISBN :
978-1-4244-6773-0
DOI :
10.1109/ICSTW.2010.11
