SAT Based Automated Test Case Generation For MUMCUT Coverage
Jun Yan, Jian Zhang · 2006
MUMCUT is a criterion for testing Boolean specifications. The traditional test case generation methods for this problem are based on approximate approaches. The efficiency of these algorithms depend on the designers’ experience on this coverage. In this paper, the authors apply SAT based method to solve this problem. Two SAT solvers, walksat and zChaff, are employed to generate approximate and optimal test case set respectively. The experimental results show that the two SAT methods are efficient.