2.3.3. Вибір оператора рекомбінації (кросинговеру)

Вибір оператора кросинговеру зупинено на двійковому одноточковому кросинговеру (рис. 2.1) з трьох причин:

• довжина хромосоми складає від 6 до 10 біт;

• в якості стратегії формування повної популяції вже обрано стратегію «покривала»;

• вхідні сигнали на цифрові комбінаційні схеми подаються у вигляді набору логічних нулів та одиниць.

Рис. 2.3. Одноточковий двійковий кросинговер

При одноточковому кросинговеру випадково вибирається точка схрещування з ймовірністю Р_с=0,5 та проводиться обмін фрагментами хромосом після точки схрещування, як показано на рис. 2.3.

2.3.4. Вибір оператора мутації

Мутація з ймовірністю застосування операції Р_мут проводить вибір одної з можливих операцій:

– вилучення одного вхідного вектору з випадково вибраної позиції. Застосування даної операції дозволяє зменшувати довжину тестової послідовності у тому випадку, коли вилучений вектор не погіршує тестові властивості послідовності;

– додавання одного вхідного вектора у випадкову позицію, що дозволяє розширити пошук можливих рішень;

– випадкова заміна бітів у тестовій послідовності.

Далі, вибір між трьома операторами мутації здійснюється з ймовірностями Р_мут1, Р_мут2 і Р_мут3.

Оскільки програмі ми формуємо тестові послідовності для виявлення константних несправностей, то нас цікавить випадкова заміна бітів у тестовій послідовності, тобто «0» замінюємо на «1» й наоборот із заданою випадковим чином Р_мут.

2.3.5. Вибір цільової функції

Оскільки метою генерації тестів є побудова несправності, на які максимально відрізняються значення сигналів в справній та несправній схемах, то якість тестової послідовності оцінюється як міра відмінності значень сигналів у справній та несправній схемах. В програмних системах генерації тестів використовуються різні фітнес – функції, що наведені в табл. 3.1. [6]

Метою даної роботи є отримання різних вихідних сигналів в справних та несправних схемах, то фітнес – функція, при пошуку наступного тестового набору в простішому випадку, визначається числом змін сигналів у схемі.

Таблиця 2.1.

Проблемно-зорієнтовані фітнес - функції для генерації тестів

№ п/п	Позначення	Значення фітнес - функції
1	N	Кількість вузлів у схемі
2	Nd	Кількість вузлів, що мають різні значення сигналів у справній і несправній схемах
3	T	Кількість тригерів у схемі
4	Td	Кількість тригерів, які змінили стан
5	E	Кількість подів у справній і несправній схемі
6	L	Довжина тестової послідовності
7	F	Кількість несправностей у схемі
8	Fd	Кількість перевірених несправностей
9	Fdt	Кількість несправностей, що активовані до тригерів
10	D	Прозорість несправності
11	W	Потужність послідовності
12	O	Прозорість тригерів
13	Ef	Кількість подій в несправній схемі
14	Ts	Кількість ідентифікованих тригерів

За фітнес-функцію, в розробленій програмі, обрано кількість вузлів, які мають різні значення сигналів у справній і несправній схемах.