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

• Доренський Олександр Павлович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"