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.