Reduction of test set generation using model-checking
Hongwei Zeng · Computer Engineering and Applications Journal · 2012
Automated testing based on model checking has gained a great popularity in the field of software testing.Consequently,the optimization during the process of test case generation has also drawn a big attention.This paper introduces an efficient method based on node weight to calculate the property coverage value.It sorts the property purposes before test case generation to obtain the maximum reduction to avoid calling redundant executives of modelchecker and generating scaled test suite.