Test Methods for Score-Based Interactive Music Systems

Clément Poncelet Sanchez 1, 2 Florent Jacquemard 1, 2
1 Repmus - Représentations musicales
STMS - Sciences et Technologies de la Musique et du Son
2 MuTant - Synchronous Realtime Processing and Programming of Music Signals
Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, IRCAM, CNRS - Centre National de la Recherche Scientifique
Abstract : 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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01021617
Contributor : Clément Poncelet Sanchez <>
Submitted on : Wednesday, July 9, 2014 - 3:53:29 PM
Last modification on : Thursday, March 21, 2019 - 1:04:14 PM
Document(s) archivé(s) le : Thursday, October 9, 2014 - 12:25:02 PM

File

AntescofoTest.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01021617, version 1

Citation

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

Share

Metrics

Record views

329

Files downloads

206