Debuggable test cases for domain-specific models
1 : NaoMod - Nantes Software Modeling Group
Laboratoire des Sciences du Numérique de Nantes
Cette présentation résume les travaux de l'équipe Naomod et plus particulièrement ceux de la thèse de Faezeh Khoram, sur le test et le déboggage appliqués aux langages du domaine. Ces travaux s'organisent autour du langage Test Description Language, TDL, et consistent à: - Adapter TDL à différents langages du domaine - Exécuter les cas de test écrits en TDL - Appliquer l'analyse de mutation pour évaluer la qualité des cas de test - Proposer un débogueur interactif, capable de contrôler aussi bien l'interpréteur TDL que celui du DSL du système sous test La présentation est illustrée par plusieurs exemples de systèmes sous test, de taille et complexité différentes.