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

Інформація × Реєстраційний номер 0417U002182, Кандидатська дисертація На здобуття к.т.н. Дата захисту 12-05-2017 Статус Запланована Назва роботи Моделі та методи інформаційної технології забезпечення якості проектування компонентно-орієнтованих програмних систем Здобувач Бабич Олександр Вікторович, Керівник Федорович Олег Євгенович Опонент Рубан Ігор Вікторович Опонент Гамаюн Ігор Петрович Опис Об'єкт дослідження - процес проектування програмних продуктів та систем; мета дослідження - забезпечення якості проектування програмних продуктів та систем, що створюються, шляхом розробки моделей, методів прикладної інформаційної технології, заснованої на використанні сучасної методології P-Modeling Framework; методи дослідження - теоретичні основи системного аналізу, експертного оцінювання, оптимізації, теорії експериментів, теорії прецедентів, імітаційного моделювання, методи проектування програмних продуктів; результати - розроблено інформаційну технологію для забезпечення якості проектування створюваних програмних продуктів та систем; новизна - вперше розроблено метод створення програмної системи, який на відміну від існуючих, використовує формалізацію контролю проведених проектних дій за допомогою порівняння описів програмної системи, отриманих різними командами в ході розробки, та лексикографічного впорядкування експертних оцінок, що дозволяє забезпечити якість процесу проектування; дістав подальшого розвитку метод компонентного проектування, шляхом формування та використання бази прецедентів для вибору та оптимізації компонентного складу програмної системи з урахуванням вимог якості; дістав подальшого розвитку метод формування архітектури програмної системи шляхом створення багаторівневої компонентної структури, що забезпечує ефективність та якість процесу проектування на початковому етапі виконання проекту; удосконалено інформаційну технологію створення якісних програмних продуктів шляхом використання багаторівневого компонентного проектування, моделі оптимізації архітектури програмної системи з урахуванням вимог якості, багаторівневої бази прецедентів для вибору та використання перевірених програмних компонент, методу зворотного семантичного трасування, що дозволяє забезпечити якість проектування програмних систем; удосконалено технологію P-Modeling Framework шляхом подальшого розвитку методу зворотного семантичного трасування, який забезпечує ітеративний процес контролю якості в проектуванні програмних продуктів; ступінь упровадження - результати впроваджені у Державному підприємстві "Науково-дослідний технологічний інститут приладобудування", у компанії "ТЕКЕКСПЕРТ", у навчальному процесі Полтавського політехнічного коледжу Національного технічного університету "Харківський політехнічний інститут"; галузь використання - інформаційної технології забезпечення якості проектування компонентно-орієнтованих програмних систем Дата реєстрації 2017-05-12 Додано в НРАТ 2020-04-03 Закрити