Topic 3

Заняття 3. Стандартизація вимог та моделей якості ПЗ. Специфікація вимог за ISO/IEC/IEEE 29148. Моделі якості програмних систем та даних за серією стандартів ISO/IEC 25010 (SQuaRE)

Мета: формування у студентів комплексу знань, умінь та практичних навичок у галузі інженерії вимог, формалізації технічних специфікацій та математичного оцінювання якості програмних продуктів і даних згідно із сучасними міжнародними стандартами. Студент має засвоїти економічну та інженерну критичність фази вимог у життєвому циклі ПЗ, поняття, ієрархію (бізнес-, користувацькі, системні функціональні та нефункціональні вимоги) та циклічні фази інженерії вимог. У процесі навчання особлива увага приділяється розумінню та практичному дотриманню критеріїв якості окремих вимог (недвозначність, перевіряваність, повнота, простежуваність, несуперечливість) згідно зі стандартом ISO/IEC/IEEE 29148, а також опануванню стандартизованої структури побудови Специфікації вимог до ПЗ (SRS). Студенти мають навчитися аналізувати, вимірювати та оцінювати якість систем за дворівневою моделлю стандарту ISO/IEC 25010 (SQuaRE), що охоплює 8 фундаментальних характеристик (функціональна придатність, продуктивність, сумісність, зручність використання, надійність, безпека, зручність супроводження, портативність), та за моделлю якості даних стандарту ISO/IEC 25012 (внутрішня та системно-залежна якість). Важливим практичним результатом є формування вміння розраховувати та застосовувати внутрішні, зовнішні та процесуальні математичні метрики (зокрема покриття вимог тестами та щільність дефектів) для проектування, верифікації, валідації та успішної сертифікації високоякісного програмного забезпечення.