An Automatic Test Framework for Interactive Music Systems

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 behaviour expected from the system when playing with musicians. It has been applied to real mixed scores and the results obtained have permitted one to identify bugs in the tested system.

[1]  Arshia Cont,et al.  A Coupled Duration-Focused Architecture for Real-Time Music-to-Score Alignment , 2010, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[3]  Diego Latella,et al.  Automatic Veri cation of a Lip Synchronisation Algorithm using Uppaal , 1998 .

[4]  Henkjan Honing,et al.  From Time to Time: The Representation of Timing and Tempo , 2001, Computer Music Journal.

[5]  Jean-Louis Giavitto,et al.  Operational semantics of a domain specific language for real time musician–computer interaction , 2013, Discret. Event Dyn. Syst..

[6]  Bengt Jonsson,et al.  Specifying and Generating Test Cases Using Observer Automata , 2004, FATES.

[7]  Kim G. Larsen,et al.  Testing Real-Time Systems Using UPPAAL , 2008, Formal Methods and Testing.

[8]  Florent Jacquemard,et al.  Model based testing of an interactive music system , 2015, SAC.

[9]  Jean-Louis Giavitto,et al.  Correct Automatic Accompaniment Despite Machine listening or Human errors in Antescofo , 2012, ICMC.

[10]  Robert Rowe,et al.  Interactive Music Systems: Machine Listening and Composing , 1992 .

[11]  Henkjan Honing,et al.  Structure and interpretation of rhythm and timing , 2002 .

[12]  Florent Jacquemard,et al.  Test Methods for Score-Based Interactive Music Systems , 2014, ICMC.

[13]  Robert Rowe,et al.  Interactive Music Systems: Machine Listening and Composing , 1992 .

[14]  David P. Anderson,et al.  A system for computer music performance , 1990, TOCS.

[15]  Miller S. Puckette,et al.  Combining Event and Signal Processing in the MAX Graphical Programming Environment , 1991 .

[16]  Stavros Tripakis,et al.  Conformance testing for real-time systems , 2004, SPIN.

[17]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[18]  Diego Latella,et al.  Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal , 1998, Formal Aspects of Computing.

[19]  Roger B. Dannenberg.  Abstract Time Warping of Compound Events and Signals , 1994, ICMC.

[20]  Camilo Rueda,et al.  A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios , 2015, 2015 15th International Conference on Application of Concurrency to System Design.

[21]  David A. Jaffe.  Ensemble Timing in Computer Music , 1984, ICMC.