Guillaume VOIRON : "Concrete and relevant exploration of abstract event systems for automatic test generation"

PhD works : "Concrete and relevant exploration of abstract event systems for automatic test generation"

Abstract :

The work presented in this thesis contribute to the automated under-approximation generation techniques in order to generate tests from models.
Model based testing aims at guaranteeing the conformity of an implementation with regards to a model, both designed from specifications by two distinct teams.

In this thesis, we propose to use well known abstraction techniques by using predicates extracted from behavioural models allowing to reduce the manipulated state space to a finite and narrow set.
We propose to extract the abstraction predicates from the test purpose so that the generated tests cover the behaviours it targets.
However, the computation of an abstraction causes a loss of information of the reachability with regards to the initial model.
Our goals are, on the one hand, to efficiently compute an abstraction of the model as representative as possible of a test purpose.
On the other hand, we strive to extract executions from this abstraction which can be instanciated on the model before its abstraction, targeting the behaviours to test, and aiming at covering the states and the transitions of the abstracted model.

Jury members :

Mme Pascale LE GALL, University Professor at Ecole CentraleSupélec, Reporter

Yves LEDRU, University Professor Université Grenoble Alpes, Reporter

Nikolaï KOSMATOV, IPEC Scientific Framework at CEA Saclay, Reviewer

Mme Olga KOUCHNARENKO, University Professor, Université of Franche-Comté, Reviewer

Jacques JULLIAND,University Professor, Université of Franche-Comté , Supervisor

Pierre-Alain MASSON, Lecturer Université of Franche-Comté, Co-supervisor

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