An improved algorithm for coverage criteria based test sequence generation

In this paper, an improved reachability algorithm is presented to support automatic generation test suites for conformance testing. To select test cases, coverage criteria is specified formal structural criteria to be fulfilled by the test suite. The result is optimal in the sense that the set of test cases in the test suite which require the shortest possible accumulated time to cover the given coverage criterion. The key features of our technique are: (i) the coverage of given criteria is calculated in an on-the-fly manner, (ii) the sets of covered elements that arise during the analysis is efficiently manipulated, and (iii) requirement specification language is extended to express a variety of coverage criteria. © 2013 by Binary Information Press.