Дослідження методів аналізу скінченних темпоральних автоматів

Горбенко, В. М.

Публікація:
Дослідження методів аналізу скінченних темпоральних автоматів

dc.contributor.author	Горбенко, В. М.
dc.date.accessioned	2022-08-27T18:26:50Z
dc.date.available	2022-08-27T18:26:50Z
dc.date.issued	2022
dc.description.abstract	Об'єктом дослідження є методи представлення програмних реактивних систем кінцевими автоматами. Метою роботи є розробка методів оптимізації часових автоматів і їх композицій і синтезу тестів з гарантованою повнотою для контролю виконання функціональних і нефункціональних вимог до систем, дію яких описано такою моделлю. Методи розробки – методи темпоральної логіки і темпоральних автоматів. У результаті реалізовано алгоритм оптимізації довжини тестів, що перевіряють, з гарантованою повнотою для повністю визначених недетермінованих часових автоматів.	uk_UA
dc.identifier.citation	Горбенко В. М. Дослідження методів аналізу скінченних темпоральних автоматів : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 121 – Інженерія програмного забезпечення / В. М. Горбенко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2022. – 96 с.	uk_UA
dc.identifier.uri	https://openarchive.nure.ua/handle/document/20893
dc.language.iso	uk	uk_UA
dc.subject	скінченний автомат	uk_UA
dc.subject	тестування скінченних автоматів	uk_UA
dc.subject	конформність	uk_UA
dc.subject	часові скінченні автомати	uk_UA
dc.title	Дослідження методів аналізу скінченних темпоральних автоматів	uk_UA
dc.type	Other	uk_UA
dspace.entity.type	Publication