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

7состоит в том, что в них в пометки переходов входят не отдельныевходные воздействия, а булевы формулы из них. Именно такие автоматы ирассматриваются в настоящей диссертации.Взаимодействие между автоматами может осуществлятьсяразличными способами: за счет вложенности автоматов, с помощьюобмена сообщениями, с помощью обмена номерами состояний и т. д.При использовании автоматного программирования существенноупрощается (по сравнению с программами, написанными традиционнымиметодами) верификация программ с использованием метода Model checking[6, 9, 125, 56], так как построение модели Крипке по автоматнойпрограмме может быть автоматизировано [125]. Кроме этого, прииспользовании инструментальных средств для поддержки автоматногопрограммирования таких, как, например, UniMod [3], до 70% исходногокода автоматной программы может быть сгенерировано автоматически [27,137]. Уровень автоматизации программирования этого класса программстанет значительно выше, если удастся автоматизировать процесспостроения управляющих конечных автоматов, что и является предметомисследования в настоящей работе.В последнее десятилетие активно развивается область исследований,называемая поисковая инженерия ПО (Search-Based Software Engineering,SBSE) [45, 69 – 71], в рамках которой для решения задач программнойинженерии (включая анализ требований [37, 121], прогнозирование ходаразработки [30], проектирование [110], тестирование [34, 67, 93] ирефакторинг [68, 106]) предлагается применять алгоритмы поисковойоптимизации. В число методов, которые нашли применение в поисковойинженерии ПО [69], входят эволюционные алгоритмы [7] (генетическиеалгоритмы [2, 11, 12, 43], генетическое программирование [84] иэволюционные стратегии [40]), а также муравьиные алгоритмы [49],метод роя частиц [82], метод имитации отжига [94], метод спуска [66],