Section: New Software and Platforms
Antescofo Timed Test Platform
Participants : Florent Jacquemard, Clément Poncelet.
The frequent use of Antescofo in live and public performances with human musicians implies strong requirements of temporal reliability and robustness to unforeseen errors in input. To address these requirements and help the development of the system and authoring of pieces by users, we are developing a platform for the automation of testing the behavior of Antescofo on a given score, with of focus on timed behavior. It makes possible to automate the following main tasks:
The input and output data are timed traces (sequences of events together with inter-event durations).
Our platform uses state of the art techniques and tools for model-based testing of embedded systems  . Some models of The environment of the system (the musicians) and the expected behavior of the system are both represented by formal models. We have developed a compiler for producing automatically such models, in an intermediate representation language (IR), from mixed scores. The IR are in turn converted into Timed Automata and passed, to the model-checker Uppaal.
Uppaal is used, with its extension Cover, for the above generation Task (1). Following some coverage criteria, this tools makes a systematic exploration of the state space of the model. We propose also an alternative approach for the generation of input traces by fuzzing of an ideal trace obtained from the score (a trace represented a perfectly timed performance of the score).
Task (2) is also performed by Uppaal, by simulation, using the model of the system and the generated test input.
Moreover, we have implemented several tools for Tasks (3) and (4), corresponding to different boundaries for the implementation under test (black box): e.g. the interpreter of Antescofo's synchronous language alone, or with tempo detection, or the whole system.