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

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