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

Abstract

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – Комп’ютерні системи і компоненти. Державний вищий навчальний заклад «Донецький національний технічний університет» МОН України, Донецьк, 2013. Дисертація присвячена вирішенню актуальної науково-технічної задачі - підвищенню ефективності методів побудови перевіряючих тестів цифрових систем на основі еволюційного підходу і моделей неконстантних несправностей. Розглянуто основні моделі перехресних несправностей (crosstalk faults): 1)індуковані позитивні і негативні імпульси, 2 )індуковані затримки. Формалізована постановка задачі генерації перевiряючого тесту для одиночних перехресних несправностей - індукованих імпульсів і затримок. Показано, що ця задача зводиться до розв'язання системи логічних рівнянь в багатозначному алфавіті. Розроблено генетичний алгоритм побудови перевіряючих тестів для одиночних перехресних несправностей. Розглянуто задачу генерації перевіряючого тесту для несправностей типу індукована затримка з багатьма лініями - агресорами. Запропоновано метод відбору цільових несправностей на основі врахування просторових, тимчасових і функціональних співвідношень в схемі. Запропоновано генетичний алгоритм побудови перевіряючих тестів для несправності індукована затримка з багатьма лініями-агресорами. Розроблено алгоритмічне та програмне забезпечення для генерації тестів для перехресних несправностей, яке дозволяє підвищити якість перевіряючих тестів за рахунок використання еволюційних методів та моделей неконстантних несправностей. Проведено апробацію розроблених методів на схемах міжнародних каталогів ISCAS85, ISCAS89, яка показала збільшення повноти тестів на 15%.