Inferring Finite State Machines Without Reset Using State Identification Sequences

Abstract : Identifying the (finite state) control structure of a black box system from the traces observed in finite interaction is of great interest for many model-based activities, such as model-based testing or model-driven engineering. There are several inference methods, but all those methods assume that the system can be reset whenever necessary. In this paper, we address the issue of inferring a finite state machine (FSM) that cannot be reset; we propose a method, inspired by FSM-based testing generation methods. We assume classical testing hypotheses, namely that we are given a bound n on the number of states and a set W of characterizing sequences to distinguish states. To the best of our knowledge, this is the first model inference method that does not require resetting the system, and does not require an external oracle to decide on equivalence. The length of the test sequence is polynomial in n and the exponent depends on the cardinal |W| of the characterization set.
Type de document :
Communication dans un congrès
Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushenko. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. Lecture Notes in Computer Science, LNCS-9447, pp.161-177, 2015, Testing Software and Systems. 〈10.1007/978-3-319-25945-1_10〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01470168
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 février 2017 - 10:29:38
Dernière modification le : dimanche 17 décembre 2017 - 06:54:05
Document(s) archivé(s) le : jeudi 18 mai 2017 - 14:15:43

Fichier

385214_1_En_10_Chapter.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat. Inferring Finite State Machines Without Reset Using State Identification Sequences. Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushenko. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. Lecture Notes in Computer Science, LNCS-9447, pp.161-177, 2015, Testing Software and Systems. 〈10.1007/978-3-319-25945-1_10〉. 〈hal-01470168〉

Partager

Métriques

Consultations de la notice

107

Téléchargements de fichiers

37