Test Generation from Recursive Tile Systems

Sébastien Chédor 1 Thierry Jéron 1 Christophe Morvan 1
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Résumé : Dans ce rapport, nous nous intéressons à la génération de cas de tests de conformité pour les systèmes de tuiles récursifs (RTSs) dans le contexte classique de la théorie ioco. Le modèle des RTSs permet de décrire les systèmes réactifs avec un comportement récursif, et est très similaire aux automates à pile, aux grammaires de graphes avec remplacement d'hyperarcs et aux machines récursives à états. La génération de test pour ce genre de modèles est rarement traitée dans la littérature. Dans un premier temps, nous présentons un algorithme de génération de test hors ligne pour les RTSs pondérés, une sousclasse de RTSs, puis, un algorithme en ligne pour le modèle complet. Les deux algorithmes utilisent des objectifs de test pour guider le test vers des comportements ciblés. De plus, les verdicts renvoyés par l'exécution des cas de tests sur une implémentation sont prouvés à la fois conformes par rapport à la spécification et précis par rapport à l'objectif de test.
Type de document :
Rapport
[Research Report] RR-8206, INRIA. 2013, pp.32
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00778134
Contributeur : Sébastien Chédor <>
Soumis le : vendredi 18 janvier 2013 - 17:41:43
Dernière modification le : jeudi 15 novembre 2018 - 11:58:45
Document(s) archivé(s) le : vendredi 19 avril 2013 - 04:05:33

Fichiers

RR-8206.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00778134, version 1

Citation

Sébastien Chédor, Thierry Jéron, Christophe Morvan. Test Generation from Recursive Tile Systems. [Research Report] RR-8206, INRIA. 2013, pp.32. 〈hal-00778134〉

Partager

Métriques

Consultations de la notice

410

Téléchargements de fichiers

214