Résumé:

Cet exposé présente une approche probabiliste de génération des entrées de test basée sur des critères de test structurels ou fonctionnels, et appelée test statistique. La motivation de cette approche est de fournir une méthode rigoureuse de génération d'entrées de test permettant de compenser l'imperfection de tels critères par rapport aux comportements défectueux qui peuvent être induits par les fautes (a priori inconnues) que l'on cherche à révéler. Nous présentons brièvement le fondement théorique de cette approche. Puis, nous comparons expérimentalement l'efficacité des
jeux de test ainsi générés avec des jeux de test générés conformément à des méthodes plus traditionnelles. Ces comparaisons sont effectuées sur des logiciels industriels extraits d'applications critiques, en utilisant l'analyse de mutation comme mesure d'efficacité.