Extended Finite State Machine based test derivation strategies for telecommunication protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Extended Finite State Machine based test derivation strategies for telecommunication protocols

Résumé

In this paper, we consider the problem of test derivation based on an Extended Finite State Machine EFSM) that is widely used for describing the behavior of telecommunication protocols and software. An EFSM augments a classical Finite State Machine (FSM) with context variables, input/output parameters and predicates. Tests based on various coverage criteria for EFSMs do not capture many functional faults and thus, there is a strong need for tests checking functional properties. Moreover, since there are no constructive necessary and sufficient conditions for checking whether two arbitrary EFSMs are equivalent, most methods are based on some kind of a transition tour, despite of the fact that such methods do not provide test suites with the guaranteed fault coverage. Given possibly nondeterministic and partial EFSM, we consider a transition tour of an FSM obtained by the simulation of the initial EFSM and provide some experimental results that such a test suite detects a number of inconsistencies in available protocol implementations with respect to protocol specifications. Since a transition tour augmented with state identifiers is known to have the higher fault coverage, we also discuss how state identifiers can be generated without facing the state explosion problem. Correspondingly, we consider FSM slices that are obtained by deleting from the initial EFSM all the context variables and possibly, input and output parameters. As the obtained FSM can be nondeterministic, a state identifier should contain separating sequences for pairs of states and we adapt the known techniques for deriving separating sequences for nonobservable partial FSMs
Fichier non déposé

Dates et versions

hal-01262562 , version 1 (26-01-2016)

Identifiants

Citer

Natalia Kushik, Anton Kolomeez, Ana Rosa Cavalli, Nina Yevtushenko. Extended Finite State Machine based test derivation strategies for telecommunication protocols. SYRCoSE 2014 : 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering , May 2014, Saint-Pétersbourg, Russia. pp.108 - 113, ⟨10.15514/SYRCOSE-2014-8-15⟩. ⟨hal-01262562⟩
41 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More