An Automatic Test Framework for Interactive Music Systems

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 requirements 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.

Timed Automata for Video Games and Interaction

“…Moreover, it allows to verify the written scores automatically. Timed Automata has been proven to be a formalism that is well adapted to the expression of the timing constraints appearing in an interactive score following system (Sanchez and Jacquemard, 2016;Echeveste et al, 2013;Jacquemard and Poncelet, 2016) because it is a powerful model for describing both the logical ordering of the events in such scenario and also the duration of events and the timing between them.…”