Верификация процесса

Верификация требований

Требования должны быть верифицированы по следующим критериям:

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

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

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

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

3. Верификация проекта

Проект должен быть верифицирован по следующим критериям:

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

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

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

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

4. Верификация программы

Программа должна быть верифицирована по следующим критериям:

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

• реализуемость в программе: соответствующей последовательности событий, соответствую­щих интерфейсов, правильных данных и логики управления; распределения временных и матери­альных ресурсов; обнаружения, локализации и восстановления ошибок, а также ее завершенность:

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

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

5. Верификация сборки

Сборка должна быть верифицирована по следующим критериям:

• полнота и правильность сборки программных компонентов и модулей каждого программ­ного объекта в соответствующий программный объект;

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

• выполнение задач сборки в соответствии с планом сборки.