New state-recognition patterns for conformance testing of finite state machine implementations
Computer Standards & Interfaces
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods
Information and Software Technology
| Hi-index | 14.98 |
In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.