Завдання і цілі процесу верифікації

Верифікація і валідація – це методи аналізу, перевірки специфікацій і правильності виконання програм відповідно до  заданих вимог і формального опису програми [18–21].

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

Верифікації і валідації піддаються:

– компоненти системи, їх інтерфейси (програмні, технічні і інформаційні) і взаємодія об'єктів (протоколи, повідомлення) у розподілених середовищах;

– описи доступу до баз даних, засоби захисту від несанкціонованого доступу до даних різних користувачів;

– документація до системи;

– тести, тестові процедури і вхідні набори даних.

Верифікація і валідація як методи перевірки правильності виконання заданих функцій і відповідності їх вимогам замовника подані в стандарті [7-9] у вигляді самостійних процесів ЖЦ і використовуються, починаючи від етапу аналізу вимог і закінчуючи перевіркою правильності функціонування програмного коду на заключному процесі, а саме, під час тестування.

Для цих процесів визначені цілі, задачі і дії з перевірки правильності створюваного проміжного продукту на процесах ЖЦ. Розглянемо їхнє  стандартне подання.

Процес верифікації. Мета процесу – переконатися, що кожен програмний продукт (і/або сервіс) проекту відбиває погоджені вимоги до їхньої реалізації. Цей процес ґрунтується:

– на стратегії і критеріях верифікації  всіх робочих програмних продуктів на ЖЦ;

– на виконанні дій з верифікації відповідно  до стандарту;

– на усуненні недоліків, виявлених у програмних (робочих, проміжних і кінцевих) продуктах;

– на узгодженні результатів верифікації з замовником.

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

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

Забезпечення якості

Забезпеченням якості програмного забезпечення складається з засобів моніторингу програмного забезпечення технологічних процесів і методів, використовуваних для забезпечення якості. Методи, за допомогою яких це досягається, численні і різноманітні, і можуть включати в себе забезпечення відповідності одному або декільком стандартам, таким як ISO 9000 або моделі, такі як CMMI. "QA" іноді використовується неофіційно як синонім для тестування програмного забезпечення.

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

Планування якості призначено для підтримки керування процесами досягнення якості продуктів проекту  (зокрема проміжних робочих) і  ресурсів – програмних, технічних, виконавських і ін. Воно також передбачає керування вимогами до процесів і продуктів і полягає в наступному:

– визначення продукту  термінами заданими характеристиками якості;

– планування процесів для гарантії одержання необхідної якості;

– вибір методів оцінки запланованих характеристик якості і встановлення відповідності продукту сформульованим вимогам.

У стандарті ISO/IEC 12207 визначені спеціальні процеси забезпечення якості – верифікація, валідація (атестація), спільний аналіз і аудит.