Model Based Testing of an Interactive Music System

Clément Poncelet 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
Abstract : The role of an interactive music system (IMS) is to accom-pany musicians during live performances, like a real musi-cian. It reacts in realtime to audio signals from musicians, according to a timed specification called mixed score, writ-ten in a domain specific language. Such goals imply strong requirements of temporal reliability and robustness to un-foreseen errors in input, yet not so much studied in the computer music community. We present the application of model-based testing tech-niques and tools to a state-of-the-art IMS, including the fol-lowing tasks: generation of relevant input data for testing (including timing values) following coverage criteria, com-putation of the corresponding expected output, according to the semantics of a given mixed score, black-box execution of the test data and verdict. Our method is based on formal models compiled directly from mixed scores, and passed, after conversion to timed automata, to the model-checker Uppaal. This fully automatic approach has been applied to real mixed scores used in concerts and the results obtained have permitted to identify bugs in the target IMS.
Type de document :
Communication dans un congrès
Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2015, Salamanca, Spain. ACM, 2015, 〈10.1145/2695664.2695804〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01097345
Contributeur : Clément Poncelet Sanchez <>
Soumis le : vendredi 16 janvier 2015 - 17:27:54
Dernière modification le : vendredi 31 août 2018 - 09:18:08
Document(s) archivé(s) le : samedi 12 septembre 2015 - 06:30:42

Fichier

Antescofo_Test-sacsvt_hal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Clément Poncelet, Florent Jacquemard. Model Based Testing of an Interactive Music System. Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2015, Salamanca, Spain. ACM, 2015, 〈10.1145/2695664.2695804〉. 〈hal-01097345v2〉

Partager

Métriques

Consultations de la notice

445

Téléchargements de fichiers

235