GRT : Analyse de programme - Test aléatoire guidé (T)

Résumé

Nous proposons le Guided Random Testing (GRT), qui utilise l'analyse statique et dynamique pour inclure des informations sur les types de programmes, les données et les dépendances dans les différentes étapes de la génération automatique de tests. L'analyse statique extrait les connaissances du système à tester. La couverture des tests est ensuite améliorée par le fuzzing d'état et l'analyse de couverture continue. Nous avons évalué GRT sur 32 projets réels et avons constaté que GRT surpasse les principales techniques homologues en termes de couverture de code (de 13 %) et de score de mutation (de 9 %). Sur les quatre repères étudiés de Defects4J, qui contiennent 224 fautes réelles, GRT montre également une meilleure capacité de détection des fautes que les techniques homologues, en trouvant 147 fautes (66 %). En outre, dans une évaluation approfondie sur les dernières versions de dix projets populaires du monde réel, GRT détecte avec succès plus de 20 défauts inconnus qui ont été confirmés par les développeurs.