Публікація: Методи аналізу тестопридатності керуючих автоматів за графовими моделями
Завантаження...
Дата
2021
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Метою дослідження є розробка методу аналізу тестопридатності керуючих автоматів при побудові функціонального тесту, і способу модифікації автомата для підвищення його тестопридатності.
Об'єктом дослідження є графова модель переходів (ГП) керуючих автоматів. Предметом дослідження є методологія аналізу тестопридатності (розрахунку показників) керуючих автоматів і модифікація моделі автомата для збільшення його тестопридатності. Методи дослідження – теорія графів, булева алгебра, прикладна теорія цифрових автоматів, методи технічної діагностики для генерації тестів та
проведення діагностичного експерименту, засоби автоматизованого проектування цифрових автоматів для побудови, моделювання та синтезу автоматних HDL-моделей.
Опис
Ключові слова
керуючий автомат, граф переходів, діагностичний експеримент, тестопридатність, vhdl-модел
Бібліографічний опис
Трегуб Р. Р. Методи аналізу тестопридатності керуючих автоматів за графовими моделями : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 – Комп’ютерна інженерія / Р. Р. Трегуб ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2021. – 67 с.