Мeтод
верификации
конечных
автоматов (метод
А11)
Метод А11
предназначен
для проверки
результатов
синтеза
конечных
автоматов.
Проверка
результатов
синтеза
конечных
автоматов А11
состоит из
двух этапов:
1)
построения
эталонной
последовательности
тестовых
векторов по
описанию
исходного
конечного
автомата;
2)
проверки
функционирования
синтезированного
конечного
автомата.
Построение
эталонной
тестовой
последовательности
сводится к
нахождению
минимального
числа
контуров
графа
конечного
автомата,
начинающихся
в начальной
вершине,
таким
образом,
чтобы каждая
вершина и
каждая дуга
графа была
пройдена по
крайней мере
один раз.
Кроме того,
алгоритм
построения
эталонной
тестовой
последовательности
позволяет
выявлять
следующие
ошибки в
описании
исходного
конечного
автомата:
·
наличие
вершин, не
имеющих
исходящих
дуг;
·
наличие
вершин, не
достижимых
из
начального
состояния.
В ходе
проверки
функционирования
синтезированного
конечного
автомата
обнаруживаются
следующие
ошибки:
·
автомат
не реагирует
на входной
тестовой
набор;
·
входной
тестовой
набор
инициирует
несколько
переходов
конечного
автомата;
·
сформированный
выходной
набор не
совпадает с
тестовым
выходным
набором;