Veille et meilleures pratiques

White Paper - Symbolic code execution: a powerful approach for test generation

Dury, A. Symbolic code execution: a powerful approach for test generation. Montréal, CRIM, 2013. 10 p.
[Texte complet]

L’exécution symbolique de code permet d’automatiser la génération de tests offrant un haut niveau de couverture dans des applications logicielles complexes. L’analyse rigoureuse que cette technique réalise peut détecter des erreurs subtiles qui échappent aux autres types d’approches. Ce document explique les principes de la technique, son application à la génération de tests, présente certains des succès obtenus, les limitations des outils existants et les principaux axes de recherche explorés dans ce domaine.