| Л96 |
Лютак, І. З. Стандартизація, верифікація та уніфікація інженерії вимог та якості [Текст] : паборатор. практикум / І. З. Лютак, Я. Б. Сторож. – Івано-Франківськ : ІФНТУНГ, 2026. – 167 с. – (каф. інженерії програмного забезпечення).
Лабораторний практикум підготовлено відповідно до програми навчальної дисципліни
«Стандартизація, верифікація та уніфікація інженерії вимог та якості» для здобувачів вищої
освіти спеціальності F2 «Інженерія програмного забезпечення».
Практикум є новим навчально-методичним виданням, зміст і структура якого
сформовані заново відповідно до сучасної логіки підготовки фахівців з інженерії програмного
забезпечення. Усі лабораторні роботи розроблено як взаємопов'язану послідовність завдань,
що охоплює формування та специфікацію вимог, їх верифікацію і валідацію, тестування
програмного забезпечення, уніфікацію документації, аналіз характеристик якості, визначення
метрик, проведення аудиту та формування підсумкового звіту.
На відміну від попередніх методичних матеріалів з дисципліни, у цьому практикумі
використано наскрізний приклад програмного проєкту, результати кожної лабораторної
роботи використовуються в наступних роботах. Такий підхід забезпечує цілісне опрацювання
процесу інженерії вимог та якості програмного забезпечення.
Практична частина поєднує методичні положення з використанням програмного
середовища SoftAssure для роботи з вимогами, специфікаціями, трасуванням, посиланнями на
стандарти, характеристиками якості та результатами аудиту. Особливу увагу приділено
відокремленню вимог, критеріїв, доказів, результатів тестування, метрик, аудиторських
знахідок, рекомендацій і коригувальних дій.
|