Reducing FSM-Based Test Suites with Guaranteed Fault Coverage
Jorge Francisco Cutigi, Adenilso Da Silva Simao, Simone R. S. Souza · The Computer Journal · 2016
Several methods have been proposed for generating tests from a Finite State Machine (FSM) representation of systems. Even though these methods usually generate large test suites, each with many sequences, the methods possess the important feature of generating test suites with guaranteed fault coverage. In this paper, we propose approaches for reducing the size of a test suite while maintaining the same fault coverage. The approaches combine the test suite sequences, aiming at both reducing the test suite length and the number of sequences, and then check whether the resulting test suite satisfies conditions that are known to ensure that the coverage remains unaltered. The experimental results in random FSMs show on average 78% (maximum: 97.0%) of reduction of the number of test cases and on average 42% (maximum: 63.8%) of reduction of total length of test suites produced by classical FSM-based generation methods.