Московский государственный университет путей сообщения
Опубликован: 06.09.2012 | Доступ: свободный | Студентов: 978 / 56 | Оценка: 5.00 / 5.00 | Длительность: 35:22:00
Специальности: Разработчик аппаратуры
Лекция 25:

Эволюционные методы генерации тестов

< Лекция 24 || Лекция 25: 12345 || Лекция 26 >

25.3 ГА в генерации тестов последовательностных схем

Использование ГА при генерации проверяющих тестов является естественным развитием псевдослучайных методов генерации тестов. Одним из первых применений ГА в технической диагностике цифровых схем (ЦС) является построение на их основе генераторов тестовых последовательностей. Суть задачи заключается в поиске двоичной входной последовательности, которая для каждой неисправности из заданного множества дает различные выходные значения сигналов в исправной и неисправной схемах. Как правило, рассматриваются одиночные константные неисправности.

Поскольку значения сигналов внешних выходов при функционировании ЦС данного типа зависят не только от значений сигналов на его внешних входах, а и от состояний триггеров, то при генерации тестов таких ЦС с применением ГА в качестве особи используется тестовая последовательность, которая представляется двоичной таблицей (рис. 2.8 а). Число столбцов таблицы определяется числом входов схемы, а число строк - длиной тестовой последовательности. Популяция состоит из фиксированного числа тестовых последовательностей, возможно, различной длины (рис. 2.8 б). Для выбранного таким образом представления особей и популяций применяются генетические операторы скрещивания и мутации [25.3].

Кодирование особей и популяций в ГА

Рис. 25.6. Кодирование особей и популяций в ГА

При генерации тестов для последовательностных схем в качестве особи используется тестовая последовательность (рис. 2.9 а). Популяция состоит из фиксированного числа тестовых последовательностей, возможно, различной длины (рис. 2.9 б). Для выбранного таким образом представления особей и популяций разработаны проблемно ориентированные генетические операторы.

  1. Классический одноточечный кроссинговер. В этом случае двоичная таблица интерпретируется одной двоичной строкой, которая получается в результате последовательной конкатенации ("склеивания") строк. Поскольку в оперативной памяти таблица представляется именно в таком виде, то этот тип кроссинговера имеет простую реализацию. Отметим, что часто используемый на практике оператор горизонтального кроссинговера,представленного на рис.2.\9, является частным случаем одноточечного кроссинговера.
  2. Горизонтальный кроссинговер, где случайно выбирается момент времени k (точка скрещивания) и родительские последовательности обмениваются подпоследовательностями после строки k, что показано на рис. 25.7а).
  3. Вертикальный кроссинговер, представленный на рис. 25.7б), где обмен между родительскими особями производится случайно выбранными столбцами. Напомним, что столбец соответствует входной последовательностим, подаваемой на один вход схемы. Все "нестыковки" в данных операциях, которые образуются из-за различной длины участвующих особей, заполняются случайным образом. Также следует отметить, что при такой реализации длина особей-потомков могут как уменьшаться, так и увеличиваться.
    Операции горизонтального и вертикального скрещивания ГА

    Рис. 25.7. Операции горизонтального и вертикального скрещивания ГА
  4. Свободный вертикальный кроссинговер представлен на рис. 25.8 и выполняется следующим образом. Для каждой строки k (входного набора) родительських двоичных таблиц определяется своя точка скрещивания t_{k}. Затем каждая пара строк (двоичных входных наборов) обменивается подстроками после точки скрещивания t_{k} , что показано на рис. 25.8. Отметим, что данная модификация является обобщением приведенного ранее вертикального кроссинговера (рис. 25.7).
     Свободный вертикальный кроссинговер

    Рис. 25.8. Свободный вертикальный кроссинговер
  5. Однородный кроссинговер отличается от предыдущих видов. Здесь каждый ген потомка создается путем копирования соответствующего гена из первого или второго родителя, то есть каждая позиция потенциально является точкой кроссинговера. Для этого случайным образом генерируется двоичная маска кроссинговера той же длины (с тем числом бит), что у хромосом родителей. Четность бита маски показывает родителя, из которого копируется ген потомка. Для определенности допустим, что 1 соответствует первому родителю, а 0 - второму. На рис. 25.9 показана схема выполнения этого типа кроссинговера на конкретном примере. Каждый бит потомка копируется из 1-го или 2-го родителя в соответствии со значением этого бита маски.
    Однородный кроссинговер

    Рис. 25.9. Однородный кроссинговер

    Таким образом, здесь потомок содержит смесь генов из каждого родителя.

  6. Структурный кроссинговер фактически является обобщением вертикального кроссинговера, в котором обмен между родителями производится столбцами. Здесь обмен также производится столбцами, соответствующими одной древовидной подсхеме. Предварительно схема должна быть разбита на древовидные подсхемы. Входы, которые "питают" одну древовидную подсхему, относятся к одной и той же группе. Здесь обмен производится группами столбцов, соответствующих одной и той же древовидной подсхеме. Отметим, что при таком подходе в оду группу попадают входы, определяющие значения внутренних "узловых" точек схемы, константные неисправности на которых входят в минимальное множество контрольных точек наряду с внешними входами. Поэтому здесь обмен производится более направленно для внутренних линий схемы, что повышает эффективность поиска тестовых последовательностей.

Итак, скрещивание реализуется в виде приведенных независимых операций скрещивания, выбор в процессе работы, между которыми, происходит с вероятностью P_{1}, P_{2},…, P_{6}, где значения P_{i }подбираются экспериментально и P_{1}+ P_{2}+ P_{3}+ P_{4}+ P_5+P_6=1.

Далее, как обычно к полученным потомкам применяются операторы мутации. Здесь также производится выбор одной из возможных операций:

  • удаление одного входного вектора из случайно выбранной позиции. Применение данной операции позволяет уменьшать длину генерируемой тестовой последовательности в том случае, когда удалённый вектор не ухудшает тестовые свойства последовательности;
  • добавление одного входного вектора в случайную позицию, что также позволяет расширять поиск возможных решений;
  • случайная замена битов в тестовой последовательности.

Выбор между тремя операторами мутации также производится случайно с вероятностями P_{мут}_{1} и P_{мут}_{2} с распределением 0<P_{мут}_{1}<P_{мут}_{2}<1.

< Лекция 24 || Лекция 25: 12345 || Лекция 26 >
Дмитрий Медведевских
Дмитрий Медведевских

Добрый день  можно поинтересоваться где брать литературу предложенную в курсе ?Большинство книг я не могу найти  в известных источниках

Артур Гибадуллин
Артур Гибадуллин
Россия, г. Нижневартовск