Model-Based Testing for Building Reliable Realtime Interactive Music Systems

Clement Poncelet 1, 2 Florent Jacquemard 1, 2
1 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
2 Repmus - Représentations musicales
STMS - Sciences et Technologies de la Musique et du Son
Abstract : The role of an Interactive Music System (IMS) is to accompany musicians during live performances, acting like a real musician. It must react in realtime to audio signals from musicians, according to a timed high-level requirement called mixed score, written in a domain specific language. Such goals imply strong requirements of temporal reliability and robustness to unforeseen errors in input, yet not much addressed by the computer music community. We present the application of Model-Based Testing techniques and tools to a state-of-the-art IMS, including in particular: offline and on-the-fly approaches for the generation of relevant input data for testing (including timing values), with coverage criteria, the computation of the corresponding expected output, according to the semantics of a given mixed score, the black-box execution of the test data on the System Under Test and the production of a verdict. Our method is based on formal models in a dedicated intermediate representation, compiled directly from mixed scores (high-level requirements), and either passed, to the model-checker Uppaal (after conversion to Timed Automata) in the offline approach, or executed by a virtual machine in the online approach. Our fully automatic framework 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 :
Article dans une revue
Science of Computer Programming, Elsevier, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172. 〈http://www.sciencedirect.com/science/article/pii/S0167642316301022〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01314969
Contributeur : Clément Poncelet Sanchez <>
Soumis le : lundi 19 septembre 2016 - 17:49:45
Dernière modification le : vendredi 31 août 2018 - 09:18:09

Fichier

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

Identifiants

  • HAL Id : hal-01314969, version 2

Collections

Citation

Clement Poncelet, Florent Jacquemard. Model-Based Testing for Building Reliable Realtime Interactive Music Systems. Science of Computer Programming, Elsevier, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172. 〈http://www.sciencedirect.com/science/article/pii/S0167642316301022〉. 〈hal-01314969v2〉

Partager

Métriques

Consultations de la notice

236

Téléchargements de fichiers

149