Test generation from recursive tiles systems

Abstract : In this paper we explore test generation for Recursive Tile Systems (RTS) in the framework of the classical ioco testing theory. The RTS model al- lows the description of reactive systems with recursion, and is very similar to other models like Pushdown Automata, Hyperedge Replacement Grammars or Recursive State Machines. We first present an off-line test generation algorithm for Weighted RTS, a determinizable sub-class of RTS, and second, an on-line test generation algorithm for the full RTS model. Both algorithms use test purposes to guide test selection through targeted behaviours.
Type de document :
Communication dans un congrès
Achim D. Brucker and Jacques Julliand. TAP - 6th International Conference on Tests & Proofs - 2012, May 2012, Prague, Czech Republic. Springer, 7305, pp.99-114, 2012, LNCS. 〈http://www.springerlink.com/content/223877840u82t11j/〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00743941
Contributeur : Christophe Morvan <>
Soumis le : lundi 22 octobre 2012 - 10:29:16
Dernière modification le : mercredi 11 avril 2018 - 01:56:16
Document(s) archivé(s) le : samedi 17 décembre 2016 - 02:41:09

Fichier

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

Identifiants

  • HAL Id : hal-00743941, version 1

Collections

Citation

Sébastien Chédor, Thierry Jéron, Christophe Morvan. Test generation from recursive tiles systems. Achim D. Brucker and Jacques Julliand. TAP - 6th International Conference on Tests & Proofs - 2012, May 2012, Prague, Czech Republic. Springer, 7305, pp.99-114, 2012, LNCS. 〈http://www.springerlink.com/content/223877840u82t11j/〉. 〈hal-00743941〉

Partager

Métriques

Consultations de la notice

200

Téléchargements de fichiers

80