Geodesic
Testing timed nondeterministic finite state machines with the guaranteed fault coverage
Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 4, pp. 496-507

Voir la notice de l'article provenant de la source Math-Net.Ru

Nowadays, the behaviour of many systems can be properly described by taking into account time constraints, and this motivates the adaptation of existing Finite State Machine (FSM)-based test derivation methods to timed models. In this paper, we propose a method for deriving conformance tests with the guaranteed fault coverage for a complete possibly nondeterministic FSM with a single clock; such Timed FSMs (TFSMs) are widely used when describing the behaviour of software and digital devices. The fault domain contains every complete TFSM with the known upper bounds on the number of states and finite boundary of input time guards. The proposed method is carried out by using an appropriate FSM abstraction of the given TFSM; the test is derived against an FSM abstraction and contains timed input sequences. Shorter test suites can be derived for a restricted fault domain, for instance, for the case when the smallest duration of an input time guard is larger than two. Moreover, the obtained test suites can be reduced, while preserving the completeness, when all input time guards of the specification and an implementation are right closed (or all intervals are left closed). Experiments are conducted to study the length of test suites constructed by different methods.
Keywords: timed finite state machines, nondeterministic finite state machines, test derivation, fault coverage. 
@article{MAIS_2017_24_4_a7,
     author = {A. S. Tvardovskii and K. El-Fakih and M. L. Gromov and N. V. Yevtushenko},
     title = {Testing timed nondeterministic finite state machines with the guaranteed fault coverage},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {496--507},
     publisher = {mathdoc},
     volume = {24},
     number = {4},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a7/}
}
TY  - JOUR
AU  - A. S. Tvardovskii
AU  - K. El-Fakih
AU  - M. L. Gromov
AU  - N. V. Yevtushenko
TI  - Testing timed nondeterministic finite state machines with the guaranteed fault coverage
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2017
SP  - 496
EP  - 507
VL  - 24
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a7/
LA  - ru
ID  - MAIS_2017_24_4_a7
ER  - 
%0 Journal Article
%A A. S. Tvardovskii
%A K. El-Fakih
%A M. L. Gromov
%A N. V. Yevtushenko
%T Testing timed nondeterministic finite state machines with the guaranteed fault coverage
%J Modelirovanie i analiz informacionnyh sistem
%D 2017
%P 496-507
%V 24
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a7/
%G ru
%F MAIS_2017_24_4_a7
A. S. Tvardovskii; K. El-Fakih; M. L. Gromov; N. V. Yevtushenko. Testing timed nondeterministic finite state machines with the guaranteed fault coverage. Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 4, pp. 496-507. http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a7/