On Handling Data in Automata Learning - Considerations from the CONNECT Perspective

Abstract : Most communication with real-life systems involves data values being relevant to the communication context and thus influencing the observable behavior of the communication endpoints. When applying methods from the realm of automata learning, it is necessary to handle such data-occurrences. In this paper, we consider how the techniques of automata learning can be adapted to the problem of learning interaction models in which data parameters are an essential element. Especially, we will focus on how test-drivers for real-word systems can be generated automatically. Our main contribution is an analysis of (1) the requirements on information contained in models produced by the learning enabler in the Connect project and (2) the resulting preconditions for generating test-drivers automatically.
Type de document :
Communication dans un congrès
4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2010, Oct 2010, Heraklion, Greece. pp.221-235, 2010, 〈http://www.springerlink.com/content/3k4wj1212k1rv172/〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00647734
Contributeur : Falk Howar <>
Soumis le : vendredi 2 décembre 2011 - 15:34:08
Dernière modification le : vendredi 2 décembre 2011 - 15:48:44

Identifiants

  • HAL Id : hal-00647734, version 1

Collections

Citation

Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel. On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. 4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2010, Oct 2010, Heraklion, Greece. pp.221-235, 2010, 〈http://www.springerlink.com/content/3k4wj1212k1rv172/〉. 〈hal-00647734〉

Partager

Métriques

Consultations de la notice

60