2.2Новий підхід до процесу тестування

Тестування повинне допомогти знаходити і виправляти помилки на найранішій можливій стадії. Перегляд процесу тестування включає визначення концептуальної структури, організуючої різні технології тестування. Середовище для цього процесу побудовано на концепції "стадійної локалізації" (stage containment), тобто виявленні і виправленні помилок на тій стадії, де вони і з'явилися.

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

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

Ця методика співвідносить стадії розробки з окремими стадіями тестування. З її допомогою можна точно визначити межі застосовності і призначення кожного тесту по його відповідній специфікації. Це допомагає уникнути неефективності багатьох прийомів тестування, включаючи перекриття тестових умов і повторне проведення тих же тестів, але на різних рівнях. V-модель містить три тестуючі дії: верифікацію (verification), перевірку на коректність (validation) і власне тестування (testing).

2.3Верифікація

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

2.4Перевірка на коректність

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

2.5Тестування, засноване на специфікаціях

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