Методи аналізу тестопридатності керуючих автоматів за графовими моделями

Abstract

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