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

351.2. ПОИСКОВАЯ ИНЖЕНЕРИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯВ настоящем разделе приводятся результаты обзора работ,посвященных поисковой инженерии ПО.1.2.1. Основные понятияВ рамках поисковой инженерии ПО [45, 69 – 71] для решения задачпрограммной инженерии таких, как анализ требований [37, 121],прогнозирование хода разработки [30], проектирование [110], верификацияна основе метода Model Checking [31 – 33, 60], тестирование [34, 67, 93],разбиение на модули [91] и рефакторинг [68, 106], предлагается применятьалгоритмы поисковой оптимизации.Отметим, что эта область исследований является новой – на апрель2012 г. по этой тематике было опубликовано всего 1020 работ(http://crestweb.cs.ucl.ac.uk/resources/sbse_repository/repository.html).В число методов, которые нашли применение в поисковойинженерии ПО [69], входят эволюционные алгоритмы (генетическиеалгоритмы [2, 11, 12, 43, 24, 25], генетическое программирование [84] иэволюционные стратегии [40]), а также муравьиные алгоритмы [49], методроя частиц [82], метод имитации отжига [94], метод спуска [66], алгоритмыоценки распределений [86], поиск с запретами [58], меметическиеалгоритмы [51], метод рассеянного поиска [59], квадратичноепрограммирование [105], целочисленное программирование [113],искусственные иммунные системы [47]. При этом наибольшеераспространение получили эволюционные алгоритмы [71].В работе [45] приводятся следующие критерии, которые позволяютопределить, насколько задача подходит для решения с помощью методовпоисковой оптимизации: Большой размер пространства поиска. Если пространствопоиска достаточно мало, для того чтобы все допустимыерешения можно было перебрать за относительно небольшое