Трегуб, Р. Р.2021-09-162021-09-162021Трегуб Р. Р. Методи аналізу тестопридатності керуючих автоматів за графовими моделями : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 – Комп’ютерна інженерія / Р. Р. Трегуб ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2021. – 67 с.https://openarchive.nure.ua/handle/document/17553Метою дослідження є розробка методу аналізу тестопридатності керуючих автоматів при побудові функціонального тесту, і способу модифікації автомата для підвищення його тестопридатності. Об'єктом дослідження є графова модель переходів (ГП) керуючих автоматів. Предметом дослідження є методологія аналізу тестопридатності (розрахунку показників) керуючих автоматів і модифікація моделі автомата для збільшення його тестопридатності. Методи дослідження – теорія графів, булева алгебра, прикладна теорія цифрових автоматів, методи технічної діагностики для генерації тестів та проведення діагностичного експерименту, засоби автоматизованого проектування цифрових автоматів для побудови, моделювання та синтезу автоматних HDL-моделей.ukкеруючий автоматграф переходівдіагностичний експерименттестопридатністьvhdl-моделOther