Issue No.09 - September (2005 vol.54)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2005.152
This paper addresses the problem of test generation from partially specified deterministic Finite State Machines (FSMs) that may have indistinguishable states and, thus, are not necessarily reduced (minimized). The known methods for checking experiments that are based on state identification are not applicable to unreduced machines. We propose the so-called State-Counting approach that is directly applicable to unreduced FSMs. The approach generalizes the idea of state identification in test generation methods for deterministic machines.
Index Terms- Finite State Machine, partially specified FSM, test generation, weak conformance testing, fault detection, state identification, checking experiment.
Alexandre Petrenko, "Testing from Partial Deterministic FSM Specifications", IEEE Transactions on Computers, vol.54, no. 9, pp. 1154-1165, September 2005, doi:10.1109/TC.2005.152