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

122содержать тесты для каждого из этих режимов и для переходов междуними. Во-вторых, тесты не должны противоречить друг другу – есливходная последовательность в одном из тестов является префиксомвходной последовательности в другом тесте, то и выходнаяпоследовательность из первого теста должна быть префиксом выходнойпоследовательности из второго теста. В-третьих, набор тестов долженсодержать все существующие в системе входные события, входныепеременные и выходные воздействия.При записи темпоральных формул необходимо учитывать, что, таккак на момент их формирования известны только входные воздействия,входные переменные и выходные воздействия, то они не могут содержатьутверждения о состояниях автомата.На основе спецификации необходимо также задать максимальноечисло состояний в автомате и требуемое число переходов в нем. По числупереходов необходимо определить целевое значение функцииприспособленности.Тесты совместно с темпоральными формулами подаются на входэволюционному алгоритму. Отметим, что эволюционный алгоритмодинаков для всех задач – для новой задачи необходим только новыйнабор тестов, входных и выходных воздействий и, возможно, параметровалгоритма – размера поколения, вероятности выполнения операциимутации и т. д. (рис. 31).В качестве эволюционного алгоритма, как показывает приведенноевыше экспериментальное исследование, рекомендуется использоватьгенетический алгоритм, использующий метод скрещивания с учетомповедения автомата на обучающих примерах.