генетичні алгоритми, ГА, генетические алгоритмы ; еволюційні методи, эволюционные методы ; логічне моделювання, логическое моделирование, logic simulation ; тестування програм, тестирование программ ; технічна діагностика, техническая диагностика ; цифрові системи, цифровые системы, digital system

В дисертації розроблено генетичний алгоритм побудови перевіряючих тестів для одиночних перехресних несправностей. Розглянуто задачу генерації перевіряючого тесту для несправностей типу індукована затримка з багатьма лініями - агресорами. Запропоновано метод відбору цільових несправностей на основі врахування просторових, тимчасових і функціональних співвідношень в схемі. Запропоновано генетичний алгоритм побудови перевіряючих тестів для несправності індукована затримка з багатьма лініями-агресорами. Розроблено алгоритмічне та програмне забезпечення для генерації тестів для перехресних несправностей, яке дозволяє підвищити якість перевіряючих тестів за рахунок використання еволюційних методів та моделей неконстантних несправностей. Проведено апробацію розроблених методів на схемах міжнародних каталогів ISCAS85, ІSCAS89, яка показала збільшення повноти тестів на 15%.

• УДК // Інформаційні системи в автоматичному керуванні
• УДК // Тестування програмного забезпечення.