Abstracting Time and Data for Conformance Testing of Real-Time Systems

Wilkerson L. Andrade 1 Patricia D. L. Machado 1 Thierry Jéron 2 Hervé Marchand 2
1 UFCG - Université Fédérale de Campina Grande [Brésil]
2 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
Abstract : Current approaches to model-based conformance testing of real-time systems are mostly based either on fi- nite state machines/transition systems or on timed automata. However, most real-time systems manipulate data while being subject to time constraints. The usual solution consists in enumerating data values (in finite domains) while treating time symbolically, thus leading to the classical state explosion problem. This paper proposes a new model of real-time systems as an extension of both symbolic transition systems and timed automata, in order to handle both data and time requirements symbolically. We then adapt the tioco conformance testing the- ory to deal with this model and describe a test case generation process based on a combination of symbolic execution and constraint solving for the data part and symbolic analysis for timed aspects.
Type de document :
Communication dans un congrès
7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany. 2011
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-00646089
Contributeur : Hervé Marchand <>
Soumis le : mardi 29 novembre 2011 - 10:48:24
Dernière modification le : mercredi 11 avril 2018 - 01:51:45
Document(s) archivé(s) le : dimanche 4 décembre 2016 - 17:34:55

Fichier

2011-Amost.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00646089, version 1

Collections

INRIA

Citation

Wilkerson L. Andrade, Patricia D. L. Machado, Thierry Jéron, Hervé Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems. 7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany. 2011. 〈hal-00646089〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

153

Téléchargements de fichiers

101

Contact


archive-ouverte@inria.fr