DocumentCode
2351476
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
fYear
2010
fDate
6-10 April 2010
Firstpage
325
Lastpage
330
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on
Conference_Location
Paris
Print_ISBN
978-1-4244-6773-0
Type
conf
DOI
10.1109/ICSTW.2010.11
Filename
5463664
Link To Document