Іяд К. М. Еволюційні методи генерації тестів для неконстантних несправностей

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