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

  Скачати повний текст