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