Topic 6

Заняття 6. Сертифікаційні випробування та тестування ПЗ: Методологія стандарту ISO/IEC/IEEE 29119 та формування доказової бази тестування

Мета: формування у студентів комплексу знань, методологічної грамотності та практичних інженерних умінь у галузі організації, проєктування та документування процесів сертифікаційних випробувань і тестування програмного забезпечення відповідно до міжнародного нормативного каркасу ISO/IEC/IEEE 29119. Студент має засвоїти глибокі концептуальні, філософські та юридичні відмінності між рутинним комерційним тестуванням (Good-Enough Software) та сертифікаційними випробуваннями, осягнути принципи незалежності випробувачів (IV&V), а також детально вивчити п'ятичастинну структуру стандарту ISO/IEC/IEEE 29119 (поняття, процеси, документація, методи та Keyword-Driven Testing) разом із можливістю його адаптації через процедуру профілювання (Tailoring). У процесі навчання особлива увага приділяється практичному опануванню методів «білої скриньки» та математичних критеріїв покриття коду (Statement, Branch/Decision та суворого MC/DC для безпеково-критичного софту), а також формальним технікам проєктування сценаріїв на основі таблиць рішень і діаграм переходів станів. Важливим практичним результатом є формування вміння розробляти стандартизовані інженерні артефакти — від Специфікації плану тестування (Test Plan) за ISO 29119-3 із фіксацією об'єктів (SHA-256), критеріїв зупинки/відновлення та бінарних Pass/Fail критеріїв, до документування протоколів (Test Log), звітів про аномалії, статусних та Фінальних сумарних звітів (Test Summary Report), що у сукупності з конфігураційним контролем (Baseline) утворюють неподільну доказову базу для успішного отримання офіційного сертифіката відповідності регулятора.