Доренський О. П. Інформаційна технологія синтезу тестових моделей поведінки об'єктів програмного забезпечення АСУ на стадії об'єктно-орієнтованого проектування

Дисертацію присвячено розробленню інформаційної технології синтезу тестових моделей поведінки об'єктів програмного забезпечення автоматизованих систем управління (АСУ) на стадії об'єктно-орієнтованого проектування. Мета роботи полягає у підвищенні значення показника повноти тестування об'єктно-орієнтованого програмного забезпечення АСУ на логічному рівні. В дисертації удосконалено метод синтезу моделей станів, який на відміну від існуючих забезпечує представлення вихідної проектної інформації, заданої послідовностями "подія-дія" класу як алфавітне відображення на основі алгебри регулярних подій, та синтез скінченно-автоматної моделі станів за допомогою адаптованого метода абстрактного синтезу скінченного автомата за відображеннями, які ним індуціюються. Набув подальшого розвитку метод синтезу тестової структури станів програмного об'єкта АСУ, який забезпечує тестування індивідуальної поведінки об'єктів програмного забезпечення АСУ на стадії проектування. Вперше розроблено метод синтезу тестових структур взаємодії програмних об'єктів АСУ, що дозволяє здійснювати семантичну перевірку проектних рішень щодо колективної поведінки екземплярів класів програмного забезпечення автоматизованих систем управління до стадії кодування.