Можно ли использовать метод попарного тестирования для проверки переходов между состояниями в системе?