The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (2005 vol.54)
pp: 1154-1165
ABSTRACT
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
Index Terms- Finite State Machine, partially specified FSM, test generation, weak conformance testing, fault detection, state identification, checking experiment.
CITATION
Alexandre Petrenko, Nina Yevtushenko, "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
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool