Model-based testing for building reliable realtime interactive music systems

Abstract

The role of an Interactive Music System (IMS) is to accompany musicians during live performances, acting like a real musician. It must react in realtime to audio signals from musicians, according to a timed high-level requirement called mixed score, written in a domain specific language. Such goals imply strong requirements of temporal reliability and robustness to unforeseen errors in input, yet not much addressed by the computer music community.We present the application of Model-Based Testing techniques and tools to a state-of-the-art IMS, including in particular: offline and on-thefly approaches for the generation of relevant input data for testing (including timing values), with coverage criteria, the computation of the corresponding expected output, according to the semantics of a given mixed score, the black-box execution of the test data on the System Under Test and the production of a verdict. Our method is based on formal models in a dedicated intermediate representation, compiled directly from mixed scores (high-level requirements), and either passed, to the model-checker Uppaal (after conversion to Timed Automata) in the offline approach, or executed by a virtual machine in the online approach. Our fully automatic framework has been applied to real mixed scores used in concerts and the results obtained have permitted to identify bugs in the target IMS.

Application of Feature Extraction Algorithm in the Construction of Interactive English Chinese Translation Mode

“…N-gram according to the byte stream to use the length of N of the window segmentation, such as People's Republic of China, according to N = 4 sliding window segmentation called China, the people, Republic, country, such 5 grams. Because in Chinese, the two-word phrase has the greatest probability of occurrence, two words for four bytes, so N usually takes 4 [20].…”

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.…”