Пошук академічних текстів

Інформація × Реєстраційний номер 0415U004545, Кандидатська дисертація На здобуття к.т.н. Дата захисту 04-09-2015 Статус Запланована Назва роботи Інформаційна технологія синтезу тестових моделей поведінки об'єктів програмного забезпечення АСУ на стадії об'єктно-орієнтованого проектування Здобувач Доренський Олександр Павлович, Керівник Смірнов Олексій Анатолійович Опонент Шостак Ігор Володимирович Опонент Рябий Мирослав Олександрович Опис Дисертацію присвячено розробленню інформаційної технології синтезу тестових моделей поведінки об'єктів програмного забезпечення автоматизованих систем управління (АСУ) на стадії об'єктно-орієнтованого проектування. Мета роботи полягає у підвищенні значення показника повноти тестування об'єктно-орієнтованого програмного забезпечення АСУ на логічному рівні. В дисертації удосконалено метод синтезу моделей станів, який на відміну від існуючих забезпечує представлення вихідної проектної інформації, заданої послідовностями "подія-дія" класу як алфавітне відображення на основі алгебри регулярних подій, та синтез скінченно-автоматної моделі станів за допомогою адаптованого метода абстрактного синтезу скінченного автомата за відображеннями, які ним індуціюються. Набув подальшого розвитку метод синтезу тестової структури станів програмного об'єкта АСУ, який забезпечує тестування індивідуальної поведінки об'єктів програмного забезпечення АСУ на стадії проектування. Вперше розроблено метод синтезу тестових структур взаємодії програмних об'єктів АСУ, що дозволяє здійснювати семантичну перевірку проектних рішень щодо колективної поведінки екземплярів класів програмного забезпечення автоматизованих систем управління до стадії кодування. Дата реєстрації 2015-09-04 Додано в НРАТ 2020-04-03 Закрити