Academic
Publications
FSM-Based Test Derivation Strategies for Systems with Time-Outs

FSM-Based Test Derivation Strategies for Systems with Time-Outs,10.1109/QSIC.2011.30,M. Zhigulin,N. Yevtushenko,S. Maag,A. Cavalli

FSM-Based Test Derivation Strategies for Systems with Time-Outs  
BibTex | RIS | RefWorks Download
The paper presents a method for deriving a complete test suite for a timed deterministic FSM with time-outs when only the upper bound on the number of states and the largest finite time-out at a state of an implementation under test are known. We also show that a test suite derived for a corresponding classical FSM is much longer than this obtained directly from a FSM with time-outs. The application to a case study, the Loan Approval Service, illustrates how our approach can be applied for deriving tests for compositions of timed FSMs.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.