Моделювання функціональної верифікації інтерфейсу програмної системи

Скорочена інформація про документ
dc.contributor.advisorКоваль, Олександр Васильович
dc.contributor.authorКрамар, Олена Валеріївна
dc.date.accessioned2019-03-31T19:28:53Z
dc.date.available2019-03-31T19:28:53Z
dc.date.issued2018-12
dc.description.abstractenCreating tools and discovering new approaches for organizing and conducting testing software for modern softwareuk
dc.description.abstractukСтруктура й обсяг дипломної роботи. Магістерська дисертація складається зі вступу, чотирьох розділів, висновку, переліку посилань з 18 найменувань, 1 додаток, і містить 23 рисунки, 11 таблиць. Повний обсяг магістерської дисертації складає 89 сторінок, з яких перелік посилань займає 2 сторінки, додатки – 2 сторінки. Актуальність теми. Сучасне програмне забезпечення для його кращого використання та поширення будується таким чином, що інтерфейс взаємодії з системою представляється у формі API. API підлягають тестуванню. Але для програмних систем, що будуються за принципом модульності та слабкого зв’язування програмних модулів, процес тестування роботи системи дуже уповільнюється, адже щоб протестувати систему потрібно очікувати моменту завершення розробки всіх складових програмної системи. Тому необхідно запропонувати рішення, в якому тестування окремих частин системи можливе без готовності всіх її компонентів. Для вирішення цієї проблеми можливо застосувати підхід, що базується на контрактному тестуванні. Мета дослідження полягає в створенні засобів та виявлені нових підходів для організації та проведення процесів тестування сучасного програмного забезпечення. Об’єктом дослідження є методи та інструменти тестування програмного забезпечення складних програмних систем. Предметом дослідження є технології та засоби забезпечення верифікації інтерфейсів у системі слабо зв’язаних програмних компонентів. Методи дослідження. – класифікація, моделювання (при формалізованому описі контрактного тестування, засобів побудови тестів з верифікації інтерфейсів); – аналіз і проектування ПЗ (при розробці програмного модулю з функціональній верифікації); – експеримент (при дослідженні доцільності використання запропонованого підходу та працездатності розроблених програмних засобів). Наукова новизна одержаних результатів. Найбільш суттєвими науковими результатами магістерської дисертації є: – запропоновано підхід до верифікації інтерфейсів у системі слабо зв’язаних програмних компонентів, що базується на контрактному тестуванні; – набуло подальшого розвитку застосування методів та процесів автоматизованого тестування компонентів програмного забезпечення. Практичне значення. Розроблений бібліотечний фреймворк для написання та виконання тестів з верифікації інтерфейсів у системі слабо зв’язаних програмних компонентів пропонується використовувати як допоміжний інструмент при розробці програмного забезпечення з мікросервісною архітектурою.uk
dc.format.page86 с.uk
dc.identifier.citationКрамар, О. В. Моделювання функціональної верифікації інтерфейсу програмної системи : магістерська дис. : 122 Комп’ютерні науки та інформаційні технології / Крамар Олена Валеріївна. – Київ, 2018. – 86 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/26995
dc.language.isoukuk
dc.publisher.placeКиївuk
dc.subjectмікросервісна архітектураuk
dc.subjectконтрактне тестуванняuk
dc.subjectтестування слабо зв’язаних програмних системuk
dc.subjectтестування програмного інтерфейсуuk
dc.subject.udc004.021uk
dc.titleМоделювання функціональної верифікації інтерфейсу програмної системиuk
dc.typeMaster Thesisuk

Файли

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

Зібрання

Магістерські роботи (АПЕПС)
Магістерські роботи