Programmes par sttc.sf.net

State Transition Test Creator crée un ensemble de cas de test pour tester le comportement d’une machine d’État. La machine d’état et les tests dérivés sont vérifiés sur la cohérence et l’exhaustivité. Les résultats sont expor