Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

Abstract : Model-based conformance testing of reactive systems consists in taking benefit from the model for mechanizing both test data generation and verdicts computation. On-line test case generation allows one to apply adaptive on-the-fly analyzes to generate the next inputs to be sent and to decide if observed outputs meet intended behaviors. On the other hand, in off-line approaches, test suites are pre-computed from the model and stored under a format that can be later performed on test-beds. In this paper, we propose a two-passes off-line approach where: for the submission part, a test suite is a simple timed sequence of numerical input data and waiting delays, and then, the timed sequence of output data is post-processed on the model to deliver a verdict. As our models are Timed Output Input Symbolic Transition Systems, our off-line algorithms involve symbolic execution and constraint solving techniques.
Type de document :
Communication dans un congrès
Brian Nielsen; Carsten Weise. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. Springer, Lecture Notes in Computer Science, LNCS-7641, pp.119-135, 2012, Testing Software and Systems. 〈10.1007/978-3-642-34691-0_10〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01482398
Contributeur : Hal Ifip <>
Soumis le : vendredi 3 mars 2017 - 15:17:10
Dernière modification le : lundi 24 septembre 2018 - 11:34:03
Document(s) archivé(s) le : mardi 6 juin 2017 - 12:45:37

Fichier

978-3-642-34691-0_10_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Boutheina Bannour, Jose Escobedo, Christophe Gaston, Pascale Gall. Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. Brian Nielsen; Carsten Weise. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. Springer, Lecture Notes in Computer Science, LNCS-7641, pp.119-135, 2012, Testing Software and Systems. 〈10.1007/978-3-642-34691-0_10〉. 〈hal-01482398〉

Partager

Métriques

Consultations de la notice

263

Téléchargements de fichiers

36