A system of communicating finite state machines (SCFSM) is a usual design model of a complicated system composed of multiple communicating components. SCFSM testing usually depends on finite state machine (FSM) testing as an SCFSM can be converted to an equivalent FSM. SCFSM testing, however, should consider the properties of SCFSMs which are different from those of component FSMs. This paper proposes a test generation method for SCFSMs by analysing their properties. For the full fault coverage, SCFSM testing requires very long test sequences for detecting state addition faults. In order to reduce such test sequences, the proposed test case generation method uses individual reliable resets of component FSMs.
展开▼
