An Automatic Test Framework for Interactive Music Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of New Music Research Year : 2016

An Automatic Test Framework for Interactive Music Systems

Un framework automatique de test pour système interactif musical


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.
Fichier principal
Vignette du fichier
Antescofo_test_JNMR.pdf (581.98 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01274035 , version 1 (15-02-2016)


  • HAL Id : hal-01274035 , version 1


Florent Jacquemard, Clément Poncelet. An Automatic Test Framework for Interactive Music Systems. Journal of New Music Research, 2016, 45 (2), pp.18. ⟨hal-01274035⟩
203 View
391 Download


Gmail Mastodon Facebook X LinkedIn More