Система з підтримки процесу верифікації програмного продукту
Вантажиться...
Дата
2020-12
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Магістерська дисертація: 91 с., 23 рис., 7 табл., 37 джерел, 1 додаток.
Актуальність. Розробка якісного програмного продукту - це складний
процес, який вимагає високого рівня підготовки команди розробників. Задля
підвищення якості та роботоспроможності програмних продуктів потрібно
велику увагу приділяти тестуванню.
Ручне тестування в деяких випадках займає більше часу для перевірки
системи, в той час як автоматизоване тестування дозволяє значно заощадити
витрати компанії-клієнта, зекономити ресурси та час на тестування та
підтримку високоякісної продукції та зменшити ризик випуску неякісних
продуктів або продуктів, які не відповідаюсь потребам замовника. Ось чому
технологія автоматизації тестування дуже популярна серед компаній, що
займаються інформаційними технологіями, робота яких пов’язана з
розробкою програмного забезпечення.
Зв'язок роботи з науковими програмами, планами, темами. Робота
виконувалась на кафедрі автоматизованих систем обробки інформації та
управління Національного технічного університету України «Київський
політехнічний інститут ім. Ігоря Сікорського» в рамках теми «Ефективні
методи розв'язання задач теорії розкладів» (№ ДР 0117U000919).
Мета дослідження - підвищення якості та надійності програмного
продукту за рахунок автоматизації процесу тестуванння, що дозволяє
скоротити час та витрати на виконання процесів тестування.
Для досягнення мети необхідно виконати наступні завдання:
проаналізувати існуючі методи автоматизації тестування
програмного забезпечення;
провести аналіз відомих робіт з розв’язання поставленої в рамках
роботи задачі;
розробити методи побудови плану тестування в залежності від
обраної стратегії;
розробити метаевристичні алгоритми покриття множини для
вирішення задачі побудови плану тестування;
виконати програмну реалізацію розроблених алгоритмів;
налагодити інтеграцію з TeamCity;
проаналізувати дані обчислювальних експериментів для визначення
параметрів алгоритмів;
провести порівняльний аналіз розроблених алгоритмів обраної
стратегії.
Об’єкт дослідження – процес тестування програмних продуктів.
Предмет дослідження – методи автоматизації верифікації програмних
продуктів на основі побудови планів тестування програмних продуктів.
Наукова новизна одержаних результатів полягає у впровадженні
системи для підтримки автоматизованого тестування, яка потребує
мінімального втручання людини для знаходження помилок та
невідповідностей у роботі програмних продуктів.
Публікації. Матеріали роботи опубліковані у збірнику IX Міжнародної
науково-практичної конференції “DYNAMICS OF THE DEVELOPMENT OF
WORLD SCIENCE” 13-15 травня 2020 у Ванкувері та у тезах всеукраїнської
науково-практичної конференції молодих вчених та студентів «Інформаційні
системи та технології управління» НТУУ «КПІ ім. Ігоря Сікорського» 26-27
листопада 2020 р .
Опис
Ключові слова
автоматизація, тестування програмних продуктів, побудова планів тестування, покриття множини, метаевристичні алгоритми, генетичний алгоритм, алгоритм мурашинних колоній, automation, testing of software products, construction of testing plans, cover set, metaheuristic algorithms, ant colony optimization, genetic algorithm
Бібліографічний опис
Шишман, Ю. М. Система з підтримки процесу верифікації програмного продукту : магістерська дис. : 126 Інформаційні системи та технології / Шишман Юлія Михайлівна. – Київ, 2020. – 91 с.