Skip to Main content Skip to Navigation
Documents associated with scientific events

Génération de tests de conformité pour un système musical interactif temps-réel

Abstract : We present a framework for black box conformance testing of the realtime interactive music system Antescofo, which is used for mixed (instrumental-electronic) concerts. Our methods for test generation and executions are based on models of the system made of timed automata, which are computed automatically from given music scores. We use tools from the UPPAAL suite.
Document type :
Documents associated with scientific events
Complete list of metadata

https://hal.inria.fr/hal-00876652
Contributor : Hervé Marchand <>
Submitted on : Friday, October 25, 2013 - 11:29:43 AM
Last modification on : Wednesday, November 29, 2017 - 10:13:15 AM
Long-term archiving on: : Monday, January 27, 2014 - 12:56:11 PM

Files

Identifiers

  • HAL Id : hal-00876652, version 1

Collections

Citation

Clément Poncelet Sanchez. Génération de tests de conformité pour un système musical interactif temps-réel. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. ⟨hal-00876652⟩

Share

Metrics

Record views

110

Files downloads

111