Search academic texts

Information × Registration Number 0417U002182, Candidate dissertation Status к.т.н. Date 12-05-2017 popup.evolution o Title Models and methods of information technology to ensure the quality of component-oriented software system design Author Babich Oleksandr Viktorovych, popup.head Fedorovich Oleg Evgenovych popup.opponent Рубан Ігор Вікторович popup.opponent Гамаюн Ігор Петрович Description Об'єкт дослідження - процес проектування програмних продуктів та систем; мета дослідження - забезпечення якості проектування програмних продуктів та систем, що створюються, шляхом розробки моделей, методів прикладної інформаційної технології, заснованої на використанні сучасної методології P-Modeling Framework; методи дослідження - теоретичні основи системного аналізу, експертного оцінювання, оптимізації, теорії експериментів, теорії прецедентів, імітаційного моделювання, методи проектування програмних продуктів; результати - розроблено інформаційну технологію для забезпечення якості проектування створюваних програмних продуктів та систем; новизна - вперше розроблено метод створення програмної системи, який на відміну від існуючих, використовує формалізацію контролю проведених проектних дій за допомогою порівняння описів програмної системи, отриманих різними командами в ході розробки, та лексикографічного впорядкування експертних оцінок, що дозволяє забезпечити якість процесу проектування; дістав подальшого розвитку метод компонентного проектування, шляхом формування та використання бази прецедентів для вибору та оптимізації компонентного складу програмної системи з урахуванням вимог якості; дістав подальшого розвитку метод формування архітектури програмної системи шляхом створення багаторівневої компонентної структури, що забезпечує ефективність та якість процесу проектування на початковому етапі виконання проекту; удосконалено інформаційну технологію створення якісних програмних продуктів шляхом використання багаторівневого компонентного проектування, моделі оптимізації архітектури програмної системи з урахуванням вимог якості, багаторівневої бази прецедентів для вибору та використання перевірених програмних компонент, методу зворотного семантичного трасування, що дозволяє забезпечити якість проектування програмних систем; удосконалено технологію P-Modeling Framework шляхом подальшого розвитку методу зворотного семантичного трасування, який забезпечує ітеративний процес контролю якості в проектуванні програмних продуктів; ступінь упровадження - результати впроваджені у Державному підприємстві "Науково-дослідний технологічний інститут приладобудування", у компанії "ТЕКЕКСПЕРТ", у навчальному процесі Полтавського політехнічного коледжу Національного технічного університету "Харківський політехнічний інститут"; галузь використання - інформаційної технології забезпечення якості проектування компонентно-орієнтованих програмних систем Registration Date 2017-05-12 popup.nrat_date 2020-04-03 Close