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

1182.5.1.3. Результаты экспериментовВ результате экспериментов, использующих только тесты в качествевходных данных, в 993 случаях из 1000 получался неправильный конечныйавтомат. Один из таких автоматов представлен на рис. 30, жирной линиейвыделено начальное состояние.0e11 / z1e2e2e3 / z1e121 2e4 / z3e12 / z2Рис. 30. Граф переходов автомата управления дверьми лифта,построенного только на основе тестовОшибка в представленном автомате состоит в том, что послеполомки лифта дверь может снова начать закрываться, а затем лифт начнетфункционировать как рабочий. Также данный автомат может повторноначать закрывать или открывать двери после закрытия или открытиясоответственно.Среднее значение числа вычислений функции приспособленностиоказалось равным 7.479 × 10 4 , минимальное число вычислений –2.184 × 10 4 , максимальное число – 2.999 × 10 5 .При использовании в качестве входных данных тестов итемпоральных формул в результате каждого из 1000 запусков алгоритмабыл построен автомат, изоморфный автомату, изображенному на рис. 29.Среднее значение числа вычислений функции приспособленностиоказалось равным 7.246 × 10 5 , минимальное число вычислений –7.054 × 10 4 , максимальное число – 5.492 × 10 6 .Таким образом, число вычислений функции приспособленности дляметода построения автоматов по тестам и темпоральным формулам на