Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Imen Boudhiba 1 Christophe Gaston 2 Pascale Gall 1 Virgile Prévosto 2
2 LRI - Laboratoire de Robotique Interactive
DIASI - Département Intelligence Ambiante et Systèmes Interactifs : DRT/LIST/DIASI
Abstract : An Input Output Symbolic Transition System (IOSTS) specifies all expected sequences of input and output messages of a reactive system. Symbolic execution over this IOSTS then allows to generate a set of test cases that can exercise the various possible behaviors of the system it represents. In this paper, we extend the IOSTS framework with explicit program calls, possibly equipped with contracts specifying what the program is supposed to do. This approach bridges the gap between a model-based approach in which user-defined programs are abstracted away and a code-based approach in which small pieces of code are separately considered regardless of the way they are combined. First, we extend symbolic execution techniques for IOSTS with programs, in order to re-use classical test case generation algorithms. Second, we explore how constraints coming from IOSTS symbolic execution can be used to infer contracts for programs used in the IOSTS.
Type de document :
Chapitre d'ouvrage
Testing Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, 〈10.1007/978-3-319-25945-1_3〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01470156
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 février 2017 - 10:25:52
Dernière modification le : jeudi 29 mars 2018 - 13:36:02
Document(s) archivé(s) le : jeudi 18 mai 2017 - 13:59:43

Fichier

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

Identifiants

Citation

Imen Boudhiba, Christophe Gaston, Pascale Gall, Virgile Prévosto. Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. Testing Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, 〈10.1007/978-3-319-25945-1_3〉. 〈hal-01470156〉

Partager

Métriques

Consultations de la notice

216

Téléchargements de fichiers

4