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