FSM-based test derivation strategies for systems with time-outs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

FSM-based test derivation strategies for systems with time-outs

Résumé

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
Fichier non déposé

Dates et versions

hal-01303601 , version 1 (18-04-2016)

Identifiants

Citer

Maxim Zhigulin, Stephane Maag, Ana Rosa Cavalli, Nina Yevtushenko. FSM-based test derivation strategies for systems with time-outs. QSIC 2011 : 11th International Conference On Quality Software, Jul 2011, Madrid, Spain. pp.141 - 149, ⟨10.1109/QSIC.2011.30⟩. ⟨hal-01303601⟩
74 Consultations
0 Téléchargements

Altmetric

Partager

More