Geodesic
Deriving test suites with the guaranteed fault coverage for extended finite state machines
Modelirovanie i analiz informacionnyh sistem, Tome 23 (2016) no. 6, pp. 729-740

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

Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional requirements for software implementations. However, the fault coverage of tests covering appropriate paths, variables, etc. of the specification EFSM, remains rather obscure and such tests do not detect many functional faults in EFSM implementations. In this paper, an approach is proposed for deriving complete tests with respect to functional faults of a proper Java EFSM implementation. First, an initial test suite derived against the specification EFSM is checked with respect to faults generated by a $\mu$Java tool. Since the EFSM software implementation is template based, each undetected fault can be easily mapped into a mutant EFSM of the specification machine. Thus, a distinguishing sequence is derived for two Finite State Machines modeling two EFSMs instead of deriving such a sequence for two programs. If the corresponding FSMs are too complex or cannot be completely derived, a test suite can be incomplete. However, the performed experiments clearly show that a test suite extended by such distinguishing sequences detects much more functional faults in software implementations of a system whose behaviour is described by the given EFSM.
Keywords: Mutation testing, Extended Finite State Machine (EFSM), finite automata
Mots-clés : $\mu$Java. 
@article{MAIS_2016_23_6_a4,
     author = {A. D. Ermakov and N. V. Yevtushenko},
     title = {Deriving test suites with the guaranteed fault coverage for extended finite state machines},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {729--740},
     publisher = {mathdoc},
     volume = {23},
     number = {6},
     year = {2016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2016_23_6_a4/}
}
TY  - JOUR
AU  - A. D. Ermakov
AU  - N. V. Yevtushenko
TI  - Deriving test suites with the guaranteed fault coverage for extended finite state machines
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2016
SP  - 729
EP  - 740
VL  - 23
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2016_23_6_a4/
LA  - ru
ID  - MAIS_2016_23_6_a4
ER  - 
%0 Journal Article
%A A. D. Ermakov
%A N. V. Yevtushenko
%T Deriving test suites with the guaranteed fault coverage for extended finite state machines
%J Modelirovanie i analiz informacionnyh sistem
%D 2016
%P 729-740
%V 23
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2016_23_6_a4/
%G ru
%F MAIS_2016_23_6_a4
A. D. Ermakov; N. V. Yevtushenko. Deriving test suites with the guaranteed fault coverage for extended finite state machines. Modelirovanie i analiz informacionnyh sistem, Tome 23 (2016) no. 6, pp. 729-740. http://geodesic.mathdoc.fr/item/MAIS_2016_23_6_a4/