le 26 novembre 2015 à 14:00
Bacs à sable miniers
Les techniques modernes de génération de tests permettent de générer autant d’exécutions que nécessaire ; combinées à l’analyse dynamique, elles permettent de comprendre le comportement du programme dans des situations où l’analyse statique est difficile ou impossible. Cependant, toutes ces techniques dynamiques souffrent toujours de l’incomplétude des tests : si un comportement n’a pas été observé jusqu’à présent, il n’y a aucune garantie qu’il ne se produira pas à l’avenir. Dans cet exposé, j’introduis une méthode appelée Test Complement Exclusion qui combine la génération de tests et le sandboxing pour fournir une telle garantie. L’exclusion du complément de test aura un impact significatif dans le domaine de la sécurité, car elle détecte et protège efficacement contre les changements inattendus du comportement du programme ; cependant, les garanties renforceraient également les résultats de la compréhension dynamique des logiciels. Les premières expériences sur des programmes Android réels démontrent la faisabilité de l’approche.
En savoir plus...Ecole Centrale, Amphi Goubet cité scientifique à Villeneuve d’Ascq
français
English