Программы sttc.sf.net

Создатель state Transition Test создает набор тестовых случаев для проверки поведения statemachine. Как statemachine, так и полученные тесты проверяются на согласованность и полноту. Результаты экспортируются в буфер обмена и