Вступ.

Актуальність теми. Широке розповсюдження комп'ютерних технологій в усіх галузях людської діяльності підвищує вимоги до якості та ефективності обчислювальної техніки, що використовується. Сучасна технологія проектування та виробництва комп'ютерних систем дозволяє реалізувати в одному кристалі мільйони транзисторів. Важливу роль у питаннях підвищення надійності комп'ютерних систем і елементної бази, відіграють системи автоматизованого проектування та діагностування, до яких входить тестове діагностування. Ефективність автоматизованих систем тестового діагнозу, заснованих на подачі на випробуваний об'єкт спеціально організованих (тестових) впливів, значною мірою залежить від застосовуваних методів і алгоритмів побудови тестів, якими перевіряють об’єкт. Важливими компонентами таких систем є підсистеми логічного моделювання та генерації тестів. Наразі існує ряд ефективних методів діагностики цифрових схем. Великий внесок у розвиток тестування цифрових схем внесли закордонні дослідники Рот, Зоріан, Агравал, Абрамовичи, Фудживара і радянські вчені Пархоменко П.П., Убар Р.Р., Тоценко В.Г., Романкевич А.М., Дербунович Л.В., Кривуля Г.Ф., Скобцов Ю.О., Хаханов В.І. та інші. Однак дослідження в даному напрямку не припиняються, оскільки методи, що застосовуються, не завжди дозволяють будувати тести необхідної повноти через незадовільні показники швидкодії внаслідок високої розмірності завдання. Найбільш перспективними є алгоритми побудови тестів з використанням методів теорії штучного інтелекту, у першу чергу, генетичних алгоритмів. Таким чином, побудова діагностуючих тестів для цифрових схем є актуальною науково-технічною проблемою, розв’язок якої істотно впливає на якість і надійність комп'ютерних систем. У роботі розглядається еволюційний підхід генерації діагностуючих тестових послідовностей цифрових схем, що використовує послідовні та паралельні генетичні алгоритми. Таким чином, метою роботи є ефективна побудова діагностичних тестів булевих функцій, що задано у вигляді ДНФ. Для досягнення поставленої мети в роботі сформульовані та вирішуються наступні задачі: Відповідно до мети визначено такі задачі дослідження: - розглянути проблеми, що пов’язані з побудовою діагностичних тестів для булевих функцій; - розглянути теоретичні основи побудови генетичних алгоритмів; - розробити алгоритм ефективної побудови діагностичних тестів для заданої булевої функції із використанням методів генетичних алгоритмів та зробити його програмну реалізацію. Об'єктом дослідження є булеві функції, задані у вигляді ДНФ, а предметом дослідження – діагностичні тести булевих функцій. В роботі використовувалися такі методи дослідження, як аналіз наукової літератури, моделювання та експериментування, оцінка результату. Дипломна робота складається із вступу, трьох розділів, розбитих на підрозділи, висновків та списку використаних джерел. Загальний обсяг роботи – 56 сторінок. Список використаних джерел включає 20 найменувань.