Засорнова, Ірина Олександрівна2023-12-202023-12-202023Засорнова І. О. Метод та засоби інформаційної технології ідентифікації залишкових дефектів у програмному забезпеченні : кваліфікаційна робота магістра : 126 Інформаційні системи та технології / І. О. Засорнова ; Хмельниц. нац. ун-т. – Хмельницький, 2023. – 147 с.https://elar.khmnu.edu.ua/handle/123456789/14949В роботі використовуються основні положення загальної теорії систем, системного аналізу (ієрархічності, декомпозиції та ін.), теорії моделювання процесів. При проведенні моделювання інформаційних потоків та при розробленні методів використано теоретико-множинні підходи, алгебру систем, апарат модельно-орієнтованих підходів, методи концептуального моделювання, принципи побудови баз знань та формування логічного висновку, евристичні оцінки. Набув подальшого розвитку метод ідентифікації залишкових дефектів у програмному забезпеченні, який відрізняється від відомих тим, що вхідна інформація про результати базового тестування обробляється штучною нейронною мережею, і забезпечує визначення множини дефектів різного рівня критичності та аналіз цієї множини на наявність або відсутність залишкових дефектів. Набула подальшого розвитку інформаційна технологія ідентифікації залишкових дефектів у програмних продуктах за рахунок опрацювання природомовних звітів про результати основного тестування, яка забезпечує висновок про відсутність або наявність залишкових дефектів у аналізованому програмному забезпеченні. Практична значущість отриманих результатів полягає у проєктуванні та реалізації інтелектуальної інформаційної технології ідентифікації залишкових дефектів у програмних продуктах, яка забезпечує висновок про відсутність залишкових дефектів або про наявність залишкових дефектів з різними ступенями критичності їх наслідків на основі природомовного звіту про дефекти програмного продукту, виявлені під час його основного тестування.uk126 Інформаційні системи та технологіїтестування програмного забезпеченняінтелектуальна інформаційна технологіязалишкові дефекти програмного забезпеченняступінь критичності наслідків залишкових дефектівМагістерські роботи