Grande Salle de VERIMAG
22 avril 2010 - 14h00
Le traitement des alias internes dans l'outil de génération de tests PathCrawler
par Nikolay Kosmatov de CEA - LISI
Résumé : Nous présentons le problème des alias dans le cadre de la méthode de
génération automatique de tests tous-les-chemins par la recherche en
profondeur d'abord à l'aide de l'exécution symbolique en contraintes.
Nous classons les alias en deux classes : les alias externes présents au
point d'entrée dans la fonction sous test (à cause des pointeurs dans
les entrées de la fonction) et les alias internes créés lors de
l'exécution symbolique.
Nous proposons une extension originale de la méthode de génération pour
les programmes C avec des alias internes. Elle limite l'énumération des
valeurs d'entrée et la génération de cas de test superflus. Les
premières expériences montrent que cette méthode peut considérablement
améliorer les performances des outils existants sur les programmes avec
des alias.
Nous montrons également que la génération de test pour le critère
tous-les-chemins est en général NP-difficile en présence des alias,
et définissons une classe plus restrictive de programmes pour
lesquels cette génération devient polynomial.
