Model-Based Testing Real-Time and Interactive Music Systems

Résumé : Est-il possible de tester automatiquement le comportement temporisé des systèmes interactifs temps réel ? Ces travaux proposent une solution en fournissant un ensemble d'outils de test basé sur modèles pour Systèmes Musicaux Interactifs (SMI). Pendant une performance, les SMIs doivent réagir en temps réel aux signaux audio venant des musiciens tout en suivant les contraintes temporelles d'une partition. Ceci demande au système une forte fiabilité temporelle et une robustesse face aux erreurs pouvant arriver en entrée du système. Hors, la vérification formelle de propriétés est insuffisamment traitée par la communauté de l'informatique musicale. Nous présentons dans cette thèse, la réalisation d'un ensemble d'outils de test basé sur modèles appliqué à un SMI. Il est à noter que ces outils de test ont été définis formellement dans le but de tester plus généralement le comportement temporel des systèmes interactifs temps réel prenant en compte des évènements discrets et des durées définissables sur des échelles multiples. Nous définissons notre modèle, créé pour spécifier les aspects évènementiel («event-triggerred») et temporel («timed-driven») des SMIs. Ce modèle a la particularité d'être automatiquement construit depuis les contraintes temporelles définies dans un document haut-niveau et peut être traduit vers un réseau d'automates temporisés. Nos outils ont été implantés avec la possibilité de tester automatiquement, selon une approche différée ou temps réel, la conformité temporelle du SMI. Un cas d'étude a permit d'appliquer notre ensemble d'outils de test sur un SMI d'actualité Antescofo avec succès, identifiant des bogues parfois non triviaux dans ce système.
Type de document :
Thèse
Other [cs.OH]. EDITE, 2016. English
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/tel-01443327
Contributeur : Clément Poncelet Sanchez <>
Soumis le : lundi 23 janvier 2017 - 09:38:50
Dernière modification le : mercredi 21 mars 2018 - 18:58:16
Document(s) archivé(s) le : lundi 24 avril 2017 - 12:37:01

Identifiants

  • HAL Id : tel-01443327, version 1

Collections

Citation

Clément Poncelet Sanchez. Model-Based Testing Real-Time and Interactive Music Systems. Other [cs.OH]. EDITE, 2016. English. 〈tel-01443327〉

Partager

Métriques

Consultations de la notice

197

Téléchargements de fichiers

107