Atelier sur les tests basés sur des modèles à Paphos, à Chypre

Le sixième atelier consacré aux tests basés sur des modèles (MBT 2010) aura lieu le 21 mars 2010 à Paphos, à Chypre.

L'évènement vise à rassembler des chercheurs et praticiens dans un effort de présenter l'état actuel des connaissances et de débattre des idées sur les nouvelles directions à prendre en vue d'améliorer les théories, les modèles, les outils et les paradigmes fondamentaux des tests.

Les thèmes suivants seront abordés, entre autres:
- les méthodes et instruments de génération de séquence de tests en ligne et hors ligne;
- les méthodes et instruments de sélection des données de tests;
- la vérification du temps d'exécution;
- la métrique de couverture des tests basés sur des modèles;
- l'analyse automatique domaine/partitionnement;
- la combinaison de la vérification et des tests;
- les modèles dans des oracles de test;
- la génération de tests basés sur les scénarios;
- le soutien à la méta-programmation pour les essais;
- les formalismes appropriés pour les tests basés sur des modèles;
- l'application de techniques de vérification dans les tests basés sur des modèles;
- les approches de la théorie des jeux appliquées aux tests;
- les tests basés sur des modèles dans l'industrie: problèmes et réussites.

On utilise les tests basés sur des modèles dans les logiciels et le matériel informatique pour décrire le comportement d'un système testé et pour orienter le développement de scénarios de test.Pour de plus amples informations, consulter:
http://react.cs.uni-sb.de/mbt2010/(s’ouvre dans une nouvelle fenêtre)