Процес верифікації (verification process)

Він полягає у визначенні того, що програмні продукти, що є результатами деякої дії, повністю задовольняють вимогам або умовам, зумовленим попередніми діями (верифікація у вузькому значенні означає формальний доказ правильності ПЗ). Для підвищення ефективності верифікація повинна якомога раніше інтегруватися з процесами, що її використовують (такими, як постачання, розробка, експлуатація або супровід). Цей процес може включати аналіз, оцінку та тестування.

Верифікація може проводитись з різними ступенями незалежності. Ступінь незалежності може змінюватись від виконання верифікації самим виконавцем або іншим спеціалістом цієї організації до її виконання спеціалістом іншої організації з різними варіаціями. Якщо процес верифікації здійснюється організацією, яка залежить від постачальника, розробника, оператора чи служби супроводу,- він називається процесом незалежної верифікації.

Процес верифікації включає такі дії:

1) підготовчу роботу;

У процесі верифікації перевіряються такі умови:

несуперечність вимог до системи та ступінь обліку потреб користувачів;

можливості постачальника виконати задані вимоги;

відповідність обраних процесів ЖЦ щодо умов договору;

адекватність стандартів, процедур та середовища розробки процесів ЖЦ ПЗ;

відповідність проектних специфікацій ПЗ заданим вимогам;

коректність опису в проектних специфікаціях вхідних та вихідних даних, послідовності подій, інтерфейсів, логіки тощо;

відповідність коду проектним специфікаціям та вимогам;

тестованість та коректністькоду, його відповідність прийнятим стандартам кодування;

коректність інтеграції компонентів ПЗ у систему;

адекватність, повнота та несуперечність документації.

Процес атестації (validation process).

Він передбачає визначення повноти відповідності заданих вимог та створеної системи або програмного продукту їхньому конкретному функціональному призначенню. Під атестацією зазвичай розуміється підтвердження та оцінка достовірності проведеного тестування ПЗ. Атестація повинна гарантувати повну відповідність ПЗ специфікаціям, вимогам та документації, а також можливість його безпечного та надійного застосування користувачем. Атестацію рекомендується виконувати шляхом тестування у всіх можливих ситуаціях та використовувати при цьому незалежних спеціалістів. Атестація може проводитись на початкових стадіях ЖЦ ПЗ або як частина роботи з приймання ПЗ.

Атестація, як і і верифікація, може здійснюватися з різними ступенями незалежності. Якщо процес атестації виконується організацією, яка залежить від постачальника, розробника, оператора чи служби супроводу, він називається процесом незалежної атестації.

Процес атестації включає такі дії:

1) підготовчу роботу;

Процес спільної оцінки (joint review process). Він призначений для оцінки стану робіт за проектом та ПЗ, створюваного при виконанні даних робіт (дій). Він зосереджений переважно на контролі планування та управління ресурсами, персоналом, апаратурою та інструментальними засобами проекту.

Оцінка застосовується як на рівні управління проектом, так і на рівні технічної реалізації проекту та проводиться протягом усього терміну дії договору. Цей процес може виконуватися двома будь-якимисторонами, що беруть участь у договорі, при цьому одна сторона перевіряє іншу.

Процес спільної оцінки включає такі дії:

---