Séminaire LATECE : Test de systèmes temporisés à base de modèle par mutations


mercredi 25 septembre 2019 - Séminaire

Bonjour à tous,

Nous avons le plaisir de vous inviter au deuxième séminaire LATECE de la session d’automne 2019.

Qui? Dimitri Prestat, étudiant en doctorat sous la direction des professeurs Naouel Moha et Roger Villemaire.

Où? PK-5115

Quand? mercredi  25 septembre 2019 à 12h30

Titre : Test de systèmes temporisés à base de modèle par mutations

Résumé :

La génération automatique de suite de tests complète est très importante dans un logiciel, puisque si l’on est capable de générer une telle suite, alors on est sûr que si les tests sont valides, le logiciel est fiable. Nous allons présenter une approche formelle basée sur le test par mutation, permettant de détecter les fautes d’un système en se concentrant sur les erreurs liées au temps. Il s’agit d’un test à base de modèles, où nous allons nous concentrer sur des machines à états finis temporisés, des automates ainsi que des formules booléennes SAT. La méthode par mutation consiste à partir d’une spécification du système, de générer des mutants, un mutant étant une version alternative et possiblement fautive de la spécification, et de générer une suite de test complète permettant de détecter l’ensemble de tous ces mutants. L’approche est appropriée pour détecter des violations de contraintes temporelles comme des temps d’attente trop élevés ou trop bas, ainsi que des erreurs logiques, suite à des sorties ou des changements d’état non attendus. La méthode sera détaillée à l’aide d’exemples afin de mieux la comprendre.