Unique Input/Output Set: Universal Formal Method for Automated Testing FSM-Based Systems

摘要

In this paper, we present a new formal method for the automated derivation of sequences to conformance test (certification testing) systems given by a Finite State Machine (FSM). The method is based on deriving for every state in the FSM a unique set of input/output sequences to verify the state. The method has wider applicability than other methods while maintaining reasonable coverage. We present the development of an algorithm for automated generation of the Unique Input/Output Set of every state in the FSM; a set of Input/Output sequences that uniquely identifies a state in the FSM and acts as its signature.