Guillaume VOIRON : "Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests"

Travaux de thèse : "Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests"

Résumé :

Les travaux présentés dans cette thèse constituent une contribution aux méthodes de génération automatique de sous-approximations en vue de la génération de tests à partir de modèles.
Le test à partir de modèle a pour objectif de garantir la conformité d'une implémentation vis-à-vis d'un modèle, tous les deux conçus à partir des spécifications par deux équipes différentes.

Dans cette thèse, nous proposons l’utilisation des techniques connues d’abstraction à partir de prédicats de modèles comportementaux qui permettent de réduire à un ensemble fini et restreint l’espace d’états manipulé.
Nous proposons d’extraire les prédicats d’abstraction à partir de l’objectif de test afin que les tests générés couvrent les comportements ciblés par ce dernier.
Cependant, le calcul d’une abstraction entraîne une perte d’information de l’atteignabilité par rapport au modèle initial.
Nos objectifs sont donc dans un premier temps de calculer efficacement une abstraction de modèle aussi représentative que possible d’un objectif de test.
Dans un second temps, nous cherchons à extraire à partir de cette abstraction des exécutions instanciables sur le modèle avant abstraction, ciblant les comportements à tester, et visant la couverture des états et des transitions du modèle abstrait.

Composition du jury :

Mme Pascale LE GALL, Professeur des Universités à Ecole CentraleSupélec, Rapporteur

Yves LEDRU, Professeur des Universités à l'Université Grenoble Alpes, Rapporteur

Nikolaï KOSMATOV, Cadre scientifique des EPIC à CEA Saclay, Examinateur

Mme Olga KOUCHNARENKO, Professeur des Universités à l'Université de Franche-Comté, Examinateur

Jacques JULLIAND, Professeur des Universités à l'Université de Franche-Comté, Directeur de thèse

Pierre-Alain MASSON, Maître de Conférences à l'Université de Franche-Comté, Co-directeur de thèse

Localisation : Amphithéâtre A - UFR Sciences et Techniques - Campus La Bouloie - 16, Route de Gray - 25030 Besançon Cedex