Диаграммы состояний и переходов. Тестирование состояний и переходов