Шукрі Н. А. Ієрархічні еволюційні методи генерації тестів цифрових систем

1.Об'єкт дослідження: цифрові логічні системи, задані зв'язкам логічних елементів, входів і виходів спеціалізованою мовою. Ціль роботи: підвищення ефективності автоматизованого діагностування цифрових систем шляхом розробки еволюційних методів генерації перевіряльних тестів і застосування більш потужної кратної стратегії спостереження вихідних сигналів. Розглянуто різні стратегії спостереження вихідних сигналів при тестуванні схем з пам'яттю. Досліджено кратну стратегію спостереження вихідних сигналів для схем з пам'яттю, при якій різні пари станів справної й несправної схем можуть розрізнятися в різні моменти часу, що дозволяє підвищити повноту тестів, але вимагає більших обчислювальних ресурсів. Модифіковано метод багатозначного логічного моделювання, що дозволяє одночасно обробляти множину пар станів справної й несправної схем. Розроблено генетичний алгоритм побудови вхідних послідовностей, що розрізняють пари станів справної й несправної послідовнісної схеми. Запропоновано дворівневий алгоритм побудови тестової послідовності, де генетичний алгоритм першого нижнього рівня будує характеристичні послідовності, які дозволяють установлювати в справній або несправній схемах деякі елементи пам'яті (змінні стани) у певні стани або розрізняти їх. Використання цих послідовностей робить еволюційний пошук більше "спрямованим" на верхньому рівні при побудові тестів і підвищує його ефективність. Виконано узагальнення методу функції, що розрізняє, для комбінаційних схем на схеми з пам'яттю на основі кратної стратегії спостереження вихідних сигналів, що дозволяє підвищити повноту перевіряльник тестів. Результати дисертаційної роботи використовуються в Інституті прикладної математики й механіки НАНУ у вигляді модуля системи моделювання й діагностики АСМИД.