Горбенко, В. М.2022-08-272022-08-272022Горбенко В. М. Дослідження методів аналізу скінченних темпоральних автоматів : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 121 – Інженерія програмного забезпечення / В. М. Горбенко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2022. – 96 с.https://openarchive.nure.ua/handle/document/20893Об'єктом дослідження є методи представлення програмних реактивних систем кінцевими автоматами. Метою роботи є розробка методів оптимізації часових автоматів і їх композицій і синтезу тестів з гарантованою повнотою для контролю виконання функціональних і нефункціональних вимог до систем, дію яких описано такою моделлю. Методи розробки – методи темпоральної логіки і темпоральних автоматів. У результаті реалізовано алгоритм оптимізації довжини тестів, що перевіряють, з гарантованою повнотою для повністю визначених недетермінованих часових автоматів.ukскінченний автоматтестування скінченних автоматівконформністьчасові скінченні автоматиOther