Test generation from recursive tile systems

In this paper we explore the generation of conformance test cases for Recursive Tile Systems (RTSs) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion, and is very similar to other models like Pushdown Automata, Hyperedge Replacement Grammars or Recursive State Machines. Test generation for this kind of models is seldom explored in the literature. We first present an off-line test generation algorithm for Weighted RTSs, a determinizable sub-class of RTSs, 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. Additionally, essential properties relating verdicts produced by generated test cases on an implementation with both the conformance with respect to its specification, and the precision with respect to a test purpose, are proved. Key-words: Model-based Testing, IOCO Theory, Recursive Systems ∗ Université de Rennes I, Campus de Beaulieu, 35042 Rennes, France † INRIA Rennes Bretagne Atlantique, Campus de Beaulieu, 35042 Rennes, France ‡ Université Paris-Est, Marne-La-Vallée, France ha l-0 07 78 13 4, v er si on 1 18 J an 2 01 3 Génération de tests pour les systèmes de tuile récursifs 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. Mots-clés : Test basé sur les modèles, Théorie IOCO, Systèmes Récursifs ha l-0 07 78 13 4, v er si on 1 18 J an 2 01 3 Test generation from RTS 3