Search academic texts

Information × Registration Number 0410U005323, Candidate dissertation Status к.т.н. Date 03-06-2010 popup.evolution o Title The hierarchic evolutionary methods of test generation for digital systems Author Shukri Nasri Ali Hindi, popup.head Skobtsov Yuri Alexandrovich popup.opponent Кривуля Геннадій Федорович popup.opponent Вороной Сергій Михайлович Description 1.Об'єкт дослідження: цифрові логічні системи, задані зв'язкам логічних елементів, входів і виходів спеціалізованою мовою. Ціль роботи: підвищення ефективності автоматизованого діагностування цифрових систем шляхом розробки еволюційних методів генерації перевіряльних тестів і застосування більш потужної кратної стратегії спостереження вихідних сигналів. Розглянуто різні стратегії спостереження вихідних сигналів при тестуванні схем з пам'яттю. Досліджено кратну стратегію спостереження вихідних сигналів для схем з пам'яттю, при якій різні пари станів справної й несправної схем можуть розрізнятися в різні моменти часу, що дозволяє підвищити повноту тестів, але вимагає більших обчислювальних ресурсів. Модифіковано метод багатозначного логічного моделювання, що дозволяє одночасно обробляти множину пар станів справної й несправної схем. Розроблено генетичний алгоритм побудови вхідних послідовностей, що розрізняють пари станів справної й несправної послідовнісної схеми. Запропоновано дворівневий алгоритм побудови тестової послідовності, де генетичний алгоритм першого нижнього рівня будує характеристичні послідовності, які дозволяють установлювати в справній або несправній схемах деякі елементи пам'яті (змінні стани) у певні стани або розрізняти їх. Використання цих послідовностей робить еволюційний пошук більше "спрямованим" на верхньому рівні при побудові тестів і підвищує його ефективність. Виконано узагальнення методу функції, що розрізняє, для комбінаційних схем на схеми з пам'яттю на основі кратної стратегії спостереження вихідних сигналів, що дозволяє підвищити повноту перевіряльник тестів. Результати дисертаційної роботи використовуються в Інституті прикладної математики й механіки НАНУ у вигляді модуля системи моделювання й діагностики АСМИД. Registration Date 2010-06-03 popup.nrat_date 2020-04-04 Close