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