Пошук академічних текстів

Інформація × Реєстраційний номер 0410U005323, Кандидатська дисертація На здобуття к.т.н. Дата захисту 03-06-2010 Статус Запланована Назва роботи Ієрархічні еволюційні методи генерації тестів цифрових систем Здобувач Шукрі Насрі Алі Хінді, Керівник Скобцов Юрій Олександрович Опонент Кривуля Геннадій Федорович Опонент Вороной Сергій Михайлович Опис 1.Об'єкт дослідження: цифрові логічні системи, задані зв'язкам логічних елементів, входів і виходів спеціалізованою мовою. Ціль роботи: підвищення ефективності автоматизованого діагностування цифрових систем шляхом розробки еволюційних методів генерації перевіряльних тестів і застосування більш потужної кратної стратегії спостереження вихідних сигналів. Розглянуто різні стратегії спостереження вихідних сигналів при тестуванні схем з пам'яттю. Досліджено кратну стратегію спостереження вихідних сигналів для схем з пам'яттю, при якій різні пари станів справної й несправної схем можуть розрізнятися в різні моменти часу, що дозволяє підвищити повноту тестів, але вимагає більших обчислювальних ресурсів. Модифіковано метод багатозначного логічного моделювання, що дозволяє одночасно обробляти множину пар станів справної й несправної схем. Розроблено генетичний алгоритм побудови вхідних послідовностей, що розрізняють пари станів справної й несправної послідовнісної схеми. Запропоновано дворівневий алгоритм побудови тестової послідовності, де генетичний алгоритм першого нижнього рівня будує характеристичні послідовності, які дозволяють установлювати в справній або несправній схемах деякі елементи пам'яті (змінні стани) у певні стани або розрізняти їх. Використання цих послідовностей робить еволюційний пошук більше "спрямованим" на верхньому рівні при побудові тестів і підвищує його ефективність. Виконано узагальнення методу функції, що розрізняє, для комбінаційних схем на схеми з пам'яттю на основі кратної стратегії спостереження вихідних сигналів, що дозволяє підвищити повноту перевіряльник тестів. Результати дисертаційної роботи використовуються в Інституті прикладної математики й механіки НАНУ у вигляді модуля системи моделювання й діагностики АСМИД. Дата реєстрації 2010-06-03 Додано в НРАТ 2020-04-04 Закрити