Jessy COLONVAL : "Validation de composants d'intelligence artificielle issus d'apprentissages sur la base de détection d'aberration et de tests métamorphiques"

Résumé : Cette thèse se situe dans le domaine du génie logiciel et plus particulièrement sur l'assurance qualité des intelligences artificielles (IA). Généralement, il est attendu qu'un algorithme établit un résultat déterministe afin que son comportement puisse être évalué. Cependant, les prédictions que font les IA impliquent toujours un processus logique et informatique complexe, parfois inconnu. Celui-ci entraîne des difficultés à déterminer les sorties attendues pour des données d’entraînement connues afin d'en faire des tests. Ainsi, ceci classe les IA dans les programmes ayant un problème d’oracle. Néanmoins, l'utilisation de relation métamorphique est une approche qui permet d'y remédier. En effet, les tests qu'elles produisent ne se concentrent pas sur la vérification de chaque sortie individuelle du programme, mais vérifient que les relations entre des entrées et des sorties soient globalement respectées. De plus, cette thèse se concentre également sur la qualité des ensembles de données que les IA utilisent pour s'entraîner. En effet, des données de mauvaises qualités influeront négativement sur leur phase d'entraînement, provoquant une déviation des comportements de l'IA par rapport à ce qui était attendu. Parmi ces données, il y a ce qui est appelé des aberrations définies comme étant des données qui sont incohérentes avec d'autres données par rapport aux restes de l'ensemble. Ainsi, il est nécessaire de détecter et filtrer ces données avant. Pour résumer, différentes relations métamorphiques sont proposées et utilisées afin d'évaluer un grand nombre d'IA. Par ailleurs, plusieurs méthodes de détection d'aberration sont mises en œuvre et leurs performances comparées avec d'autres approches de la littérature.

Composition du jury :

• Fabrice Bouquet, Professeur à l'Université de Franche-Comté (directeur de thèse) ;
• Alain Giorgetti, Professeur à l'Université de Franche-Comté (examinateur) ;
• Yves Le Traon, Professeur à l'Université du Luxembourg (rapporteur) ;
• Ioannis Parissis, Professeur à l'Université de Grenoble Alpes (rapporteur)

Localisation : Salle des Actes (Bâtiment B, Université de Franche-Comté), 16 route de Gray, Besançon