PEX (Program EXplorer) est un programme développé par Microsoft Research, simple d’utilisation, qui s’intègre à Visual Studio ; il a pour objectif l’exploration des méthodes de vos classes, selon différentes approches : • génération “arbitraire” de données ; • évaluation des chemins conditionnels (path condition) ; • évaluation des conditions de retour (flipped condition).

Ce programme est donc particulièrement intéressant lorsque, face à une bibliothèque de classes, on hésite sur les tests unitaires à mettre en œuvre pour couvrir ses besoins. En effet, non seulement PEX effectue un travail d’exploration et génère un rapport mettant en lumière d’éventuels dysfonctionnements d’exécution mais il peut également proposer des actions correctives et générer des tests unitaires paramétrables (PUT) qui assurent la couverture du code des méthodes à 100 % ; ces tests sont bien entendu compatibles avec MSTEST (ou d’autres frameworks de test) et peuvent donc être associés à une stratégie de build.

Plus...