2018 – Projet n°92 – “Checking software quality : model based testing VS (semi-)random simulation”

Ce projet est réalisé par Anthony DAI & Olivier DESPLAN.

Le projet est consacré à l'étude de deux approches complémentaires pour les tests de
logiciels en informatique.
D’une part, les techniques de test basées sur des modèles (​model based testing​) ​qui sont
connues pour avoir une très bonne couverture d’erreurs de codes. Néanmoins, ces
dernières techniques demandent généralement beaucoup plus de ressources et en général
les solutions pratiques reposent, d’autre part, sur des techniques de simulation
(semi-)aléatoire (​(semi-)random simulation​)​.
Ce projet consiste ainsi à évaluer de manière expérimentale les performances de ces deux
catégories de techniques de test à l’aide de différents critères préalablement choisis afin de
distinguer les différentes situations pour lesquelles il serait préférable de choisir un groupe
de techniques de test plutôt qu’un autre.

Annonce