Search academic texts

Information × Registration Number 0415U006183, Candidate dissertation Status к.т.н. Date 06-11-2015 popup.evolution o Title Methods and verification model tools of object-oriented programs Author Bogdan Iryna Valentynivna, popup.head Litvinov Vitaliy Vasylyovich popup.opponent Чеботарьов Анатолій Миколайович popup.opponent Луцик Сергій Леонідович Description Об'єкт - процес верифікації моделей об'єктно-орієнтованого програмного забезпечення. Мета - створення методів та інструментальних засобів верифікації моделей об'єктно-орієнтованих програм, що дозволяють зменшити кількість помилок, що виникають в процесі розробки програмного забезпечення. Методи: абстрактно-логічний, теорії графів, об'єктно-орієнтованого аналізу, теорії автоматів. Наукова новизна: вперше запропоновано метод класифікації помилок розробників UML-діаграм, що дозволило використати його при розробці методів верифікації даних діаграм; дістав подальшого розвитку метод антипатернів верифікації діаграми класів за рахунок введення нових умов, що дало можливість знаходити помилки в описах абстрактних класів та помилки в описах вкладених класів на даній діаграмі; удосконалено алгоритм Брона-Кербоша для пошуку клік на графах шляхом введення нових обмежень, що дало можливість використати його при пошуку антипатернів на діаграмах класів; вперше запропоновано методи верифікації UML-діаграм: метод верифікації діаграми послідовності, який заснований на представленні даної діаграми у вигляді абстрактного цифрового автомату, і, на відміну від існуючих, дозволяє знаходити помилки в розгалуженнях на даній діаграмі; метод верифікації діаграми послідовності, який заснований на аналізі відношення сутність-зв'язок, і, на відміну від існуючих, дозволяє знаходити помилки відправки синхронних повідомлень та помилки відправки повідомлень не існуючим об'єктам на даній діаграмі; метод верифікації діаграми компонентів, який заснований на аналізі відношення сутність-зв'язок, і, на відміну від існуючих, дозволяє знаходити помилки зв'язку між компонентами на даній діаграмі. Сфера використання: інформаційні технології. Registration Date 2015-11-06 popup.nrat_date 2020-04-03 Close