4 Верифікація, валідація та тестування. Стандарти тестування пп

Тема 10 Верифікація і атестація програм

Верифікація і атестація (валідація) - це методи, які забезпечують відповідно перевірку і аналіз правильності виконання заданих функцій і відповідності ПП вимогам замовника, а також заданих специфікацій ПП [12-17]. Ці методи позначені в стандарті ISO/IEC 12207 [18] як самостійні процеси ЖЦ і використовуються, починаючи від етапу аналізу вимог і закінчуючи перевіркою правильності функціонування програмного коду на завершальному етапі - тестуванні.

Верифікація - це перевірка того, чи правильно система працює відповідно до її специфікації і заданих вимог замовника, Цей процес ЖЦ стандарту ISO/IEC 12207 дозволяє зробити ув'язнення про коректність створеної системи.

Валідація є методом перевірки відповідності спроектованого ПП вимогам і потребам замовника і припускає виконання на етапах ЖЦ різного роду дій для отримання коректних програм і систем:

- планування процедур перевірки і контролю проектних рішень за допомогою методик і перегляду ходу розробки;

- підвищення рівня автоматизації проектування програм з використанням - CASE -систем [19];

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

- структуризація системи на модулі, їх специфікації, реалізація і використання їх як повторних компонентів (reuse)[10, 20];

- адаптація продукту до умов використання;

- управління проектом.

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

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

Верифікація і валідація припускають планування цих процесів в цілях розподілу ресурсів і зосередження перевірки на найбільш критичних елементах проекту, а саме:

- компонентів системи;

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

- засобів доступу до БД і файлів, які забезпечують захист від несанкціонованого доступу;

- документації на ПП;

- тестів і тестових процедур;

- спеціальних засобів захисту інформації в системі.

Після закінчення проектування приведених елементів відповідно проводиться:

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

- аналіз способів доступу до файлів або БД відповідно вимог, принципів передачі даних і процедур маніпулювання даними;

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

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