Система з підтримки процесу верифікації програмного продукту

Скорочена інформація про документ
dc.contributor.advisorЖданова, Олена Григорівна
dc.contributor.authorШишман, Юлія Михайлівна
dc.date.accessioned2021-03-09T15:06:24Z
dc.date.available2021-03-09T15:06:24Z
dc.date.issued2020-12
dc.description.abstractenTopicality. Developing a quality software product is a complex process that requires a high level of training from the development team. In order to improve the quality and performance of software products, great attention should be paid to testing. Manual testing in some cases takes more time to test the system, while automated testing can significantly reduce the cost of customer companies, save resources and time used to test and maintain high product quality, and reduce the risk of marketing a substandard product. or a product that does not meet the needs of users. That is why testing automation technologies are quite popular in information technology companies, whose work is related to software development. Relationship of work with scientific programs, plans, themes. The work was performed at the Department of Computer-Aided Management And Data Processing Systems of the National Technical University of Ukraine «Igor Sikorsky Kyiv Polytechnic Institute» within the topic «Effective methods for solving problems of schedule theory» (state registration number 0117U000919) The purpose of the study is to improve the quality and reliability of the software product by automating the testing process, which reduces the time and cost of testing. To achieve this goal you need to perform the following tasks: to analyze existing methods for software testing automation; to analyze the known work to solve the problem set in the work; to develop methods for building a testing plan depending on the chosen strategy; to develop metaheuristic algorithms for covering the set to solve the problem of constructing a test plan; to perform software implementation of the developed algorithms; to establish integration with TeamCity; to analyze the data of computational experiments to determine the parameters of algorithms; to carry out the comparative analysis of the developed algorithms of the chosen strategy. Object of research is the process of software testing. Subject of research is methods of automation of verification on the basis of construction of plans of testing of software products. The scientific novelty of the obtained results is the introduction of a system to support automated testing, which requires minimal human intervention to find errors and inconsistencies in the operation of software products.uk
dc.description.abstractukМагістерська дисертація: 91 с., 23 рис., 7 табл., 37 джерел, 1 додаток. Актуальність. Розробка якісного програмного продукту - це складний процес, який вимагає високого рівня підготовки команди розробників. Задля підвищення якості та роботоспроможності програмних продуктів потрібно велику увагу приділяти тестуванню. Ручне тестування в деяких випадках займає більше часу для перевірки системи, в той час як автоматизоване тестування дозволяє значно заощадити витрати компанії-клієнта, зекономити ресурси та час на тестування та підтримку високоякісної продукції та зменшити ризик випуску неякісних продуктів або продуктів, які не відповідаюсь потребам замовника. Ось чому технологія автоматизації тестування дуже популярна серед компаній, що займаються інформаційними технологіями, робота яких пов’язана з розробкою програмного забезпечення. Зв'язок роботи з науковими програмами, планами, темами. Робота виконувалась на кафедрі автоматизованих систем обробки інформації та управління Національного технічного університету України «Київський політехнічний інститут ім. Ігоря Сікорського» в рамках теми «Ефективні методи розв'язання задач теорії розкладів» (№ ДР 0117U000919). Мета дослідження - підвищення якості та надійності програмного продукту за рахунок автоматизації процесу тестуванння, що дозволяє скоротити час та витрати на виконання процесів тестування. Для досягнення мети необхідно виконати наступні завдання: проаналізувати існуючі методи автоматизації тестування програмного забезпечення; провести аналіз відомих робіт з розв’язання поставленої в рамках роботи задачі; розробити методи побудови плану тестування в залежності від обраної стратегії; розробити метаевристичні алгоритми покриття множини для вирішення задачі побудови плану тестування; виконати програмну реалізацію розроблених алгоритмів; налагодити інтеграцію з TeamCity; проаналізувати дані обчислювальних експериментів для визначення параметрів алгоритмів; провести порівняльний аналіз розроблених алгоритмів обраної стратегії. Об’єкт дослідження – процес тестування програмних продуктів. Предмет дослідження – методи автоматизації верифікації програмних продуктів на основі побудови планів тестування програмних продуктів. Наукова новизна одержаних результатів полягає у впровадженні системи для підтримки автоматизованого тестування, яка потребує мінімального втручання людини для знаходження помилок та невідповідностей у роботі програмних продуктів. Публікації. Матеріали роботи опубліковані у збірнику IX Міжнародної науково-практичної конференції “DYNAMICS OF THE DEVELOPMENT OF WORLD SCIENCE” 13-15 травня 2020 у Ванкувері та у тезах всеукраїнської науково-практичної конференції молодих вчених та студентів «Інформаційні системи та технології управління» НТУУ «КПІ ім. Ігоря Сікорського» 26-27 листопада 2020 р .uk
dc.format.page91 с.uk
dc.identifier.citationШишман, Ю. М. Система з підтримки процесу верифікації програмного продукту : магістерська дис. : 126 Інформаційні системи та технології / Шишман Юлія Михайлівна. – Київ, 2020. – 91 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/39859
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectавтоматизаціяuk
dc.subjectтестування програмних продуктівuk
dc.subjectпобудова планів тестуванняuk
dc.subjectпокриття множиниuk
dc.subjectметаевристичні алгоритмиuk
dc.subjectгенетичний алгоритмuk
dc.subjectалгоритм мурашинних колонійuk
dc.subjectautomationuk
dc.subjecttesting of software productsuk
dc.subjectconstruction of testing plansuk
dc.subjectcover setuk
dc.subjectmetaheuristic algorithmsuk
dc.subjectant colony optimizationuk
dc.subjectgenetic algorithmuk
dc.subject.udc004.023:004.052uk
dc.titleСистема з підтримки процесу верифікації програмного продуктуuk
dc.typeMaster Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Shyshman_magistr.pdf
Розмір:
2.86 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Магістерські роботи (АСОІУ)
Магістерські роботи