Test Methods for Score-Based Interactive Music Systems

Clément Poncelet Sanchez 1, 2 Florent Jacquemard 1, 2
1 Repmus - Représentations musicales
STMS - Sciences et Technologies de la Musique et du Son
2 MuTant - Synchronous Realtime Processing and Programming of Music Signals
Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, IRCAM, CNRS - Centre National de la Recherche Scientifique
Résumé : Les systèmes d'interaction musicale basés sur partition (SBIMS) évoluent directement avec des musiciens humains lors de performances, réagissant en temps-réel à des signaux audios et des évènements asynchrones selon un scénario temporisé pré-spécifié appelé une partition mixte. Cela demande une forte exigence sur la fiabilité et la robustesse face aux erreurs, imprévisibles, des entrées. Dans ce papier nous présentons l'application sur les SBIMS de méthodes formelles pour des tests de conformance boite-noire de systèmes embarqués. Nous décrivons comment nous avons traité 3 problèmes principaux des tests automatiques de systèmes réactifs et temps réel : (1) la génération d'entrées pertinentes pour le test, délais compris, avec pour but l'exhaustivité, (2) le calcul de la sortie attendue correspondante, selon une partition mixte, (3) l'exécution des tests sur une entrée et la déroulement du verdict. Le résultat obtenu de cette méthode de test formelle a permis d'identifier des bugs sur le SBIMS Antescofo.
Type de document :
Communication dans un congrès
ICMC SMC 2014, Sep 2014, Athen, Greece. 2014
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01021617
Contributeur : Clément Poncelet Sanchez <>
Soumis le : mercredi 9 juillet 2014 - 15:53:29
Dernière modification le : vendredi 25 mai 2018 - 12:02:06
Document(s) archivé(s) le : jeudi 9 octobre 2014 - 12:25:02

Fichier

AntescofoTest.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01021617, version 1

Collections

Citation

Clément Poncelet Sanchez, Florent Jacquemard. Test Methods for Score-Based Interactive Music Systems. ICMC SMC 2014, Sep 2014, Athen, Greece. 2014. 〈hal-01021617〉

Partager

Métriques

Consultations de la notice

308

Téléchargements de fichiers

197