2. Iso12207. Процесс верификации

Цель процесса верификации - определение того, что программные продукты функционируют в полном соответствии с требованиями. Процесс может включать анализ, проверку и испытание (тестирование). Процесс может выполняться с различной степенью независимости исполнителей процесса от разработчиков программного продукта. Независимая верификация выполняется независимой от разработчика организацией.

Процесс верификации состоит из следующих работ:

• Подготовка процесса

• Верификация

Подготовка процесса верификации

Основными задачами подготовки процесса верификации являются:

1. Определение необходимости верификации и степени организационной независимости исполнителей. Анализ критичности проектных требований с точки зрения необходимости верификации.

2. Установление процесса верификации. Выбор (при необходимости) независимой организации.

3. Определение работ и программных продуктов, нуждающиеся в верификации

4. Разработка плана верификации на основе установленных задач верификации

5. Выполнение плана верификации. Устранение обнаруженных проблем через процесс решения проблем.

Верификация

Основными задачами верификации являются:

1. Верификация договора по критериям:

• возможности удовлетворить установленным требованиям;

• непротиворечивости и полноты требований;

• наличия процедур внесения изменений в требования и решения проблем;

• наличия процедур по взаимодействию и кооперации между участниками;

2. Верификация процесса по критериям:

• соответствие и своевременность установления проектных требований;

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

• применимость выбранных стандартов проектирования;

• укомплектованность и обученность персонала.

3. Верификация требований по критериям:

• непротиворечивость, выполнимость, тестируемость и точность;

• распределение требований к аппаратным, программным и ручным операциям;

• правильность требований по безопасности, защите и критичности.

4. Верификация проекта по критериям:

• соответствие и учет требований в проекте;

• реализуемость проекта по времени, требованиям, ресурсам

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

• правильность реализации в проекте требований безопасности, защиты и других критических требований.

5. Верификация программы по критериям:

• тестируемость, правильность и соответствие установленным требованиям и стандартам программирования;

• реализуемость событий и интерфейсов, обнаружения, локализации и восстановления ошибок;

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

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

6. Верификация сборки по критериям:

• полнота и правильность сборки компонентов и модулей;

• полнота и правильность сборки технических и программных объектов и ручных операций в систему;

7. Верификация документации по критериям:

• соответствие, полнота и непротиворечивость документации;

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

• управление конфигурацией документов.

Полный текст процесса: ГОСТ Р ИСО/МЭК 12207. 6.4 Процесс верификации