[ новости /+++ | форум | теги | ]

Каталог документации / Раздел "Документация для Linux" / Оглавление документа

Этап верификации

Верификация программных продуктов представляет собой комбинацию обзора, анализа, разработки тестов и процедур, и выполнение этих процедур. Обзор и анализ обеспечивают оценку точности, полноты и тестопригодности стратегического планирования, архитектуры и исходного кода. Разработка тестов может обеспечить дополнительную оценку внутренней согласованности и полноты постановки задачи. Выполнение тестовых процедур обеспечивает демонстрацию того, что система удовлетворяет требованиям.

Цель верификации программных систем - это определение и выдача отчетов об ошибках, которые могут быть допущены на этапах жизненного цикла. Основные задачи верификации:

• определение соответствия высокоуровневых требований требованиям к системе;
• учет высокоуровневых требований в архитектуре системы;
• соблюдение архитектуры и требований к ней в исходном коде;
• определение соответствия исполняемого кода требованиям к системе;
• определение средств, используемых для решения вышеперечисленных задач, которые технически корректны и достаточно полны.

Партнёры:

Хостинг: