Test Case Generation Based on Interval Combination with Constraint
Yang Jia · Journal of Wuhan University · 2013
In this paper,we construct a combinatorial testing model based on interval sets and present TCGIC,a test case generation algorithm based on interval combination.TCGIC exploits symbolic execution to collect constraint conditions of program path and to look for input parameters associated with each other,applies combinatorial coverage strategies to searching interval combination set of correlative input parameters in the light of combinatorial coverage testing,uses interval computation to put every interval combination into constraint conditions of program path in order to identify the feasibility of program path,and finally chooses corresponding strategies of test case generation to generate test case from the interval combination of feasible path.Our experiment results show that the algorithm is effective.