La société Rational a racheté un outil de vérification de code (ATTOL). Cette outil permet de faciliter la préparation et la gestion des tests unitaires.

L'outil effectue une analyse module par module. Il crée alors un squelette, à compléter avec les différents cas de tests. Il génère à partir de ce squelette le driver et les stubs, compile le tout avec le module et lance le simulateur avec lequel il est interfacé. Enfin il récupère les résultats d'exécution et génère un rapport.

Pour plus de détail c'est ici.

C'est ici.

Cet outil permet de réellement tester le module comme s'il était déjà intégré au calculateur. De plus on teste la fonctionnalité du module. La contre partie est pour que les tests soient fiables, ils demandent une préparation extrêment rigoureuse, donc très coûteuse en temps.