Tau G2 v. 2.5 de Telelogic
Cet environnement de développement basé sur la programmation de modèles exécutables écrits en langage UML 2.0, supporte la conception de tests écrits à l’aide de diagrammes et de séquences d’états.
Application des tests sur des modèles UML et génération automatique de diagrammes de séquences et de rapports de synthèse
…