Topic 5

Заняття 5. Вступ до сертифікації програмного забезпечення та оцінювання відповідності: Нормативні рамки, види сертифікації та інженерний базис

Мета: формування у студентів комплексу знань, правової грамотності та практичних інженерно-аудиторських умінь у галузі оцінювання відповідності та сертифікації програмного забезпечення відповідно до міжнародних і національних нормативних рамок. Студент має засвоїти поняття оцінювання відповідності, юридичний статус сертифікації, її значення для легалізації софту, розподілу відповідальності та допуску до тендерів. У процесі навчання особлива увага приділяється розумінню та порівняльному аналізу законодавчих форм сертифікації (обов'язкової/регуляторної для безпеково-критичних систем та добровільної/ринкової), а також системній класифікації схем сертифікації за стандартом ISO/IEC 17067 (сертифікація продукту за ISO 25010, сертифікація процесів за ISO 12207/CMMI та сертифікація систем менеджменту якості за ISO 9001). Студенти мають навчитися чітко розрізняти концептуальні відмінності між верифікацією («чи правильно ми будуємо продукт?») та валідацією («чи правильний продукт ми будуємо?»), опанувати методи статичного й динамічного аналізу коду, а також засвоїти практичні навички формування доказової бази сертифікації через створення та аудит структурованого пакету інженерних артефактів життєвого циклу ПЗ (SRS за ISO 29148, SAD за ISO 42010, CMP за ISO 82890, звіти V&V за ISO 29119 та матрицю простежуваності RTM) для гарантування прозорості, безпеки й успішного отримання юридично значущих сертифікатів відповідності.