Test Methods for Score-Based Interactive Music Systems

Clément Poncelet Sanchez (1, 2) , Florent Jacquemard (1, 2)

1 Repmus - Représentations musicales
2 MuTant - Synchronous Realtime Processing and Programming of Music Signals

Score-Based Interactive Music Systems (SBIMS) 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. In this paper, we present the application of formal methods for black-box conformance testing of embedded systems to SBIMS's. We describe how we have handled the 3 main problems in automatic testing reactive and realtime software like SBIMS: (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, (iii) the test execution on input and verdict. The results obtained from this formal test method have permitted to identify bugs in the SBIMS Antescofo.

Les systèmes d'interaction musicale basés sur partition (SBIMS) évoluent directement avec des musiciens humains lors de performances, réagissant en temps-réel à des signaux audios et des évènements asynchrones selon un scénario temporisé pré-spécifié appelé une partition mixte. Cela demande une forte exigence sur la fiabilité et la robustesse face aux erreurs, imprévisibles, des entrées. Dans ce papier nous présentons l'application sur les SBIMS de méthodes formelles pour des tests de conformance boite-noire de systèmes embarqués. Nous décrivons comment nous avons traité 3 problèmes principaux des tests automatiques de systèmes réactifs et temps réel : (1) la génération d'entrées pertinentes pour le test, délais compris, avec pour but l'exhaustivité, (2) le calcul de la sortie attendue correspondante, selon une partition mixte, (3) l'exécution des tests sur une entrée et la déroulement du verdict. Le résultat obtenu de cette méthode de test formelle a permis d'identifier des bugs sur le SBIMS Antescofo.

Mots clés: Formal test methods; black-box conformance; Antescofo; Mixed music; Automatic generation; timed tests for realtime and reactive system

Domaines: Autre [cs.OH]

Clément Poncelet Sanchez, Florent Jacquemard. Test Methods for Score-Based Interactive Music Systems. ICMC SMC 2014, Sep 2014, Athen, Greece. ⟨hal-01021617⟩