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

78Опишем структуру тестов: i-й из них состоит из двухпоследовательностей – входной Input[i] и выходной Answer[i].Элементами входной последовательности являются пары (e, f), где e –некоторое событие из множества E, а f – логическая формула от входныхпеременных, задающая условие перехода.2.1.1.1. Предварительная обработка входных данныхПеред выполнением эволюционного алгоритма производитсяпредварительная обработка входных данных. Создается список всехусловий, входящих во входные последовательности тестов: f 1 , f 2 , …, f l .Далее строятся две таблицы, содержащие логические значения: areEquivalent[i, j] – верно ли, что f i и f j эквивалентны; haveCommon[i, j] – верно ли, что f i и f j имеют общуювыполняющую подстановку.Для построения этих таблиц перебираются все пары охранныхусловий (f i , f j ), i ≠ j, и для каждой из них строится таблица истинности дляформул (f i ↔ f j ) и !(f i & f j ). Если первая из них является тавтологией, то вячейку таблицы areEquivalent[i, j] записывается значение«истина», если вторая формула всегда ложна, то в ячейку таблицыhaveCommon[i, j] записывается значение «истина».В дальнейшем информация, содержащаяся в этих таблицах, будетиспользоваться в алгоритме расстановки выходных воздействий и валгоритме удаления дублированных и неоднозначных переходов.Время работы алгоритма построения этих таблиц – O(2 2r’·l 2 ), где, каки раньше, r’ – максимальное число входных переменных, от которыхзависит некоторое условие перехода. На практике, как уже отмечалосьвыше, значение r’ не превышает пяти, что позволяет говорить о том, чтовремя, требуемое на предварительную обработку данных пропорциональноквадрату суммарного размера входных последовательностей.