Génération de tests de conformité pour un système musical interactif temps-réel

Résumé : 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.
Type de document :
Document associé à des manifestations scientifiques
MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France
Liste complète des métadonnées

https://hal.inria.fr/hal-00876652
Contributeur : Hervé Marchand <>
Soumis le : vendredi 25 octobre 2013 - 11:29:43
Dernière modification le : mercredi 29 novembre 2017 - 10:13:15
Document(s) archivé(s) le : lundi 27 janvier 2014 - 12:56:11

Fichiers

Identifiants

  • HAL Id : hal-00876652, version 1

Collections

Citation

Clément Poncelet Sanchez. Génération de tests de conformité pour un système musical interactif temps-réel. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. 〈hal-00876652〉

Partager

Métriques

Consultations de la notice

90

Téléchargements de fichiers

92