An Automatic Test Framework for Interactive Music Systems

Florent Jacquemard 1, 2 Clément Poncelet 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 de Paris, UPMC - Université Pierre et Marie Curie - Paris 6, IRCAM, CNRS - Centre National de la Recherche Scientifique
Abstract : Score-Based Interactive Music Systems are involved in live performances with human musicians, reacting in realtime to audio signals and asynchronous incoming events according to a pre-specified timed scenario called mixed score. Building such a system is a difficult challenge implying strong require- ments of reliability and robustness to unforeseen errors in input. We present the application to an automatic accompaniment system of formal methods for conformance testing of critical embedded systems. Our approach is fully automatic and based on formal models constructed directly from mixed scores, specifying the behavior expected from the system when playing with musicians. It has been applied to real mixed scores and the results obtained have permitted to identify bugs in the tested system.
Type de document :
Article dans une revue
Journal of New Music Research, Taylor & Francis (Routledge), 2016, 45 (2), pp.18. 〈http://www.tandfonline.com/doi/full/10.1080/09298215.2016.1173707〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01274035
Contributeur : Clément Poncelet Sanchez <>
Soumis le : lundi 15 février 2016 - 12:06:41
Dernière modification le : vendredi 31 août 2018 - 09:18:09
Document(s) archivé(s) le : samedi 12 novembre 2016 - 20:52:12

Fichier

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

Identifiants

  • HAL Id : hal-01274035, version 1

Collections

Citation

Florent Jacquemard, Clément Poncelet. An Automatic Test Framework for Interactive Music Systems. Journal of New Music Research, Taylor & Francis (Routledge), 2016, 45 (2), pp.18. 〈http://www.tandfonline.com/doi/full/10.1080/09298215.2016.1173707〉. 〈hal-01274035〉

Partager

Métriques

Consultations de la notice

292

Téléchargements de fichiers

173