Search academic texts

Information × Registration Number 0415U004545, Candidate dissertation Status к.т.н. Date 04-09-2015 popup.evolution o Title Information technology of the test models' behaviors synthesis of ACS software objects on the stage of object-oriented design Author Dorensky Oleksandr Pavlovych, popup.head Smirnov Alexey Anatolievich popup.opponent Шостак Ігор Володимирович popup.opponent Рябий Мирослав Олександрович Description Дисертацію присвячено розробленню інформаційної технології синтезу тестових моделей поведінки об'єктів програмного забезпечення автоматизованих систем управління (АСУ) на стадії об'єктно-орієнтованого проектування. Мета роботи полягає у підвищенні значення показника повноти тестування об'єктно-орієнтованого програмного забезпечення АСУ на логічному рівні. В дисертації удосконалено метод синтезу моделей станів, який на відміну від існуючих забезпечує представлення вихідної проектної інформації, заданої послідовностями "подія-дія" класу як алфавітне відображення на основі алгебри регулярних подій, та синтез скінченно-автоматної моделі станів за допомогою адаптованого метода абстрактного синтезу скінченного автомата за відображеннями, які ним індуціюються. Набув подальшого розвитку метод синтезу тестової структури станів програмного об'єкта АСУ, який забезпечує тестування індивідуальної поведінки об'єктів програмного забезпечення АСУ на стадії проектування. Вперше розроблено метод синтезу тестових структур взаємодії програмних об'єктів АСУ, що дозволяє здійснювати семантичну перевірку проектних рішень щодо колективної поведінки екземплярів класів програмного забезпечення автоматизованих систем управління до стадії кодування. Registration Date 2015-09-04 popup.nrat_date 2020-04-03 Close