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

Василенко, Д. В.

Публікація:
Методи автоматизації тестування та верифікації системного програмного забезпечення

dc.contributor.author	Василенко, Д. В.
dc.date.accessioned	2025-08-24T18:45:26Z
dc.date.available	2025-08-24T18:45:26Z
dc.date.issued	2025
dc.description.abstract	Метою даної кваліфікаційної роботи є розробка та вдосконалення методів автоматизації тестування і верифікації системного програмного забезпечення з використанням сучасних інструментів і практик програмної інженерії. Об'єктом дослідження є процес тестування та верифікації системного програмного забезпечення. Предметом дослідження є методи автоматизації, інструменти та підходи до підвищення ефективності тестування та верифікації СПЗ. Наукова новизна роботи полягає у: формулюванні вдосконаленої моделі автоматизованої верифікації системного ПЗ з інтеграцією формальних методів у CI/CD-процеси; поєднанні різнорівневих методів аналізу (статичного, динамічного та формального) в єдиному фреймворку; проведенні комплексного порівняльного аналізу інструментів, орієнтованого саме на компоненти СПЗ. Практична значущість дослідження полягає в можливості: застосування результатів для автоматизованої перевірки драйверів, модулів ядра, системних служб; підвищення якості, надійності та безпеки ПЗ на ранніх етапах розробки; адаптації розроблених методів до реальних CI/CD процесів у промисловому середовищі.
dc.identifier.citation	Василенко Д. В. Методи автоматизації тестування та верифікації системного програмного забезпечення : пояснювальна записка до кваліфікаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 Комп'ютерна інженерія / Д. В. Василенко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2025. – 95 с.
dc.identifier.uri	https://openarchive.nure.ua/handle/document/32453
dc.language.iso	uk
dc.subject	валідація
dc.subject	фреймворк
dc.subject	CI/CD-конвейер
dc.title	Методи автоматизації тестування та верифікації системного програмного забезпечення
dc.title.alternative	Methods for Automating Testing and Verification of System Software
dc.type	Other
dspace.entity.type	Publication