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

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

• УДК // Інформаційні системи в автоматичному керуванні
• УДК // Пристрої для перевірки та контролю