Skip to Main content Skip to Navigation

Model-Based Testing Real-Time and Interactive Music Systems

Abstract : Can real-time interactive systems be automatically timed tested ? This work proposes an answer to this question by providing a formal model based testing framework for Interactive Music Systems IMS. During performance, IMSs must react in real-time to audio signals from musicians according to the timed requirements of a score. Such goals imply strong needs of temporal reliability and robustness to unforeseen errors in input. Be able to formally check this robustness before execution is a problem insufficiently addressed by the computer music community. We present, in this document, the concrete application of a Model-Based Testing (MBT) framework to a state-of-the-art IMS. The framework was defined on purpose of testing real-time interactive systems in general. We formally define the model in which our method is based. This model is automatically constructed from the high-level requirements and can be translated into a network of time automata. The mixed music environment implies the management of a multi-timed context and the generation of musically relevant input data through the testing framework. Therefore, this framework is both time-based, permitting durations related to different time units, and event-driven, following the musician events given in input. Multiple options are provided by our framework, as two approaches, offline and online, to assess the system timed conformance fully automatically, from the requirement to the verdict. We performed experiments on a real-case study: the score follower Antescofo. The application of our fully automatic framework to real mixed scores used in concerts have permitted to identify bugs in the target IMS.
Document type :
Complete list of metadata
Contributor : Clément Poncelet Sanchez <>
Submitted on : Monday, January 23, 2017 - 9:38:50 AM
Last modification on : Saturday, January 9, 2021 - 5:40:48 PM
Long-term archiving on: : Monday, April 24, 2017 - 12:37:01 PM


  • HAL Id : tel-01443327, version 1


Clément Poncelet Sanchez. Model-Based Testing Real-Time and Interactive Music Systems. Other [cs.OH]. EDITE, 2016. English. ⟨tel-01443327⟩



Record views


Files downloads