Методы построения конечных автоматов на основе ...

96Input: A, A, T [!x 1 & !x 2 ],T [x 1 & !x 2 ], T [x 2 & !x 1 ],T [!x 1 & !x 2 ]Answer: z 5 , z 5 , z 6 , z 5 , z 7 , z 5Input: A, A, T [x 1 & !x 2 ]Answer: z 5 , z 6Input: A, A, T [x 2 & !x 1 ]Answer: z 5 , z 7Input: A, A, T [x 1 & !x 2 ],T [x 2 & !x 1 ]Answer: z 5 , z 6 , z 5 , z 7Input: A, A, T [!x 1 & !x 2 ], M,H, T [!x 1 & !x 2 ],T [!x 1 & !x 2 ], T [!x 1 & !x 2 ],M, T [!x 1 & !x 2 ], H, H,T [!x 1 & !x 2 ], MAnswer: z 5 , z 2 , z 1 , z 5 , z 5 , z 5 ,Описывает обработку события «Сработалтаймер» при различных значениях входныхпеременных.Описывает обработку события «Сработалтаймер» при условии, что текущее времясовпадает со временем срабатываниябудильника.Описывает обработку события «Сработалтаймер» при условии, что текущее времяпревышает на минуту время срабатываниябудильника.Объединяет два предыдущих теста.Описывает обработку событий H, M и T врежиме «Будильник включен».z 2 , z 5 , z 1 , z 1 , z 1 , z 2Кроме тестов, описывающих поведение автомата в каждом из трехрежимов, в набор тестов включены тесты, описывающие поведениеавтомата сразу в нескольких режимах. Эти тесты приведены в табл. 5.