Constraint Programming Strategy Selection on Test Case Generation
Yunzhan Gong · Journal of Inner Mongolia University · 2011
Test case generation is an important process in software testing.The traditional work to generate a group of test cases is all done by manpower.However,the traditional method can only get few test cases and reach very low coverage,but costs a lot of time and resources.A method to generate test cases through constraint programming is put forward.All constraint expressions in one path of a program is analyzed,then test cases from constraint expressions are generated through several mathematic algorithms.Some softwares written in C are investigated,the statistic rules of constraint types are summarized.Finally,an optimized process to generate test cases using constraint programming is concluded.