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

123ОбъектуправленияВходные переменные и выходныевоздействияПоставщиксобытийПараметрыалгоритмаСобытияЭволюционныйалгоритмУправляющийконечныйавтоматТестыСпецификацияТемпоральныесвойстваРис. 31. Технология построения управляющих конечных автоматов наоснове эволюционных алгоритмов и верификацииЕсли в результате работы эволюционного алгоритма был построенавтомат, значение функции приспособленности для которого равноцелевому или превышает его, то этот автомат соответствуетспецификации. При любом изменении спецификации необходимо сначалапроверить, соответствует ли ей уже построенный автомат. В случаенесоответствия необходимо модифицировать подаваемые на входэволюционному алгоритму тесты и темпоральные формулы (при ихиспользовании) и выполнить построение автомата заново.Если же в результате работы эволюционного алгоритма не удаетсяпостроить автомат, значение функции приспособленности для которогоравно целевому или превышает его, то в качестве результата работыалгоритма рассматривается сгенерированный алгоритмом автомат снаибольшим значением функции приспособленности. Значение функцииприспособленности этого автомата может быть меньше целевого по тремпричинам:1. Он удовлетворяет всем тестам и темпоральным формулам, ноимеет слишком большое число переходов.2. Он удовлетворяет не всем тестам.3. Он соответствует не всем темпоральным формулам.