Ель-Хатіб Аднан Ібрагім Ісса. Еволюційні методи побудови перевіряючих тестів цифрових систем

Короткий опис

Ель-Хатіб Аднан Ібрагім Ісса. Еволюційні методи побудови перевіряючих тестів цифрових систем : Дис... канд. наук: 05.13.13 - 2007.

Ель-Хатіб Аднан Ібрагім Ісса. Еволюційні методи побудови перевіряючих тестів цифрових систем. Рукопис.
Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.13 обчислювальні машини, системи та мережі. ДВНЗ „Донецький національний технічний університет”, Донецьк, 2007.
Дисертація присвячена вирішенню актуальної науково-технічної задачі підвищенню ефективності методів побудови перевіряючи тестів на основі еволюційного підходу. Розроблено модифікації генетичних алгоритмів і проблемно-орієнтованих генетичних операторів кросінговера та мутації для двійкових таблиць, що дозволяє підвищити ефективність побудови перевiряючих тестів. Запропоновано генетичний алгоритм генерації вхідних підпослідовностей, які ініціалізують послідовністні цифрови схеми і використовуються у дворівневому ієрархічному методі побудови тестів;
Запропоновано метод розподіленого моделювання несправностей і еволюційної генерації тестів на основі моделі «робітник-хазяїн», які дозволяють домогтися істотного прискорення в рішенні зазначених завдань. Експериментально показано почти лінійне прискорення швидкодії для невеликого числа процесорів і логічних схем великої розмірності.
Розроблено розподілений генетичний алгоритм генерації тестів на базі «моделі островів», що дозволяє підвищити якість тестів, що перевіряють пошкодження.
Розроблено алгоритмічне й програмне забезпечення для генерації тестів, що перевіряють пошкодження цифрових логічних схем, яке дозволяє підвищити швидкість генерації тестових послідовностей і їх повноту за рахунок використання еволюційних методів.

У дисертаційній роботі дано рішення актуальної наукової задачі, яка має велике значення при проектуванні, виробництві та експлуатації сучасної обчислювальної техніки. Розроблено нові еволюційні методи генерації тестів для цифрових логічних схем, що дозволяють підвищити повноту тестових впливів, що генеруються, і скоротити час їх побудови.
У процесі досліджень вирішені наступні основні завдання:

Модифіковані проблемно-орієнтовані генетичні оператори кросінговера та мутації для тестових послідовностей. Проведено експериментальні дослідження модифікованих проблемно-орієнтованих операторів. Показано, що використання розроблених операторів кросінговера та мутації приводить до підвищення повноти на 5% і скороченню обчислювальних витрат на 10-20%.
Розроблений і досліджений розподілений генетичний алгоритм побудови тестів на основі моделі «робітник-хазяїн», експериментально показаний майже лінійне збільшення швидкодії для невеликого числа «процесорів-робітників» і логічних схем великої розмірності. При цьому загальний час рішення скоротився на величину від 80% до 50%, залежно від розмірності оброблюваних схем.
Розроблено та досліджено розподілений генетичний алгоритм побудови тестів на основі моделі островів, модифіковано генетичні оператори та визначено раціональні параметри ГА. Показано, що «модель островів» на відміну від моделі «робітник-хазяїн» дає відносно невелике збільшення швидкодії, але дозволяє істотно підвищити якість одержуваних рішень на 7%.
Проведено апробацію, тестування та перевірку ефективності розроблених програмних модулів на логічних схемах з міжнародних каталогів ISCAS-85 і ISCAS89, які підтвердили досягнуті високі експлуатаційні характеристики.