Mar 08, 2016: Clément Poncelet: Interactive Music Systems and Model-Based Testing

March 08, 2016Interactive Music Systems and Model-Based Testing
Room: HB 2FClément Poncelet

For this presentation I will quickly introduce the Institute for Research in Acoustic/Music (ircam: and some of its main research topics. Then, I will detail how Antescofo, an electronic musician software developed in the team Mutant (, can be tested by a formal Model-Based method.
Score-Based Interactive Music Systems such as Antescofo 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 a mixed score. This implies strong requirements of reliability and robustness to unforeseen errors in input.

Our Model-Based Testing application follows a formal method for black-box conformance testing of embedded systems
and manages 3 main problems in automatic testing reactive and realtime softwares:
(i) the generation of relevant input data for testing, including delay values, with the sake of exhaustiveness,
(ii) the computation of the corresponding expected output, according to a given mixed score (our specification),
(iii) the test execution on input and verdict.

It implies an automatic construction of an ad’hoc multi-time model to catch all the expressiveness of the tested implementation that can be translated in another well-known models to use existing test tools. The relevance of the generated input traces in a musical point of view is an additional challenge that has a direct application for compositors and musician. Indeed input trace generation is not well developed in music due to the complexity of its environment.