Programmi di sttc.sf.net

State Transition Test Creator crea un set di test case per testare il comportamento di una statemachine. Sia statemachine che i test derivati vengono controllati sulla coerenza e completezza. I risultati vengono esportati neg