Génération de tests de conformité pour un système musical interactif temps-réel
Résumé
We present a framework for black box conformance testing of the realtime interactive music system Antescofo, which is used for mixed (instrumental-electronic) concerts. Our methods for test generation and executions are based on models of the system made of timed automata, which are computed automatically from given music scores. We use tools from the UPPAAL suite.
Nous présentons une plateforme pour le test de conformité en approche boîte noire du système interactif temps réel Antescofo, qui est utilisé dans des concerts de musique mixte instrumentale-électronique. Les méthodes pour la génération et l'exécution des tests sont fondées sur des modèles du système sous forme de réseau d'automates temporisés, produits automatiquement à partir de partitions de musique mixte données et sur l'utilisation d'outil de la suite UPPAAL.
Domaines
Génie logiciel [cs.SE]
Fichier principal
Poncelet.pdf (34.55 Ko)
Télécharger le fichier
hal-00876652.pdf (6.37 Mo)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre