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