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

Данная работа состоит из следующих задач:

6.4.2.1 Верификация договора

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

a. возможности поставщика удовлетворить установленным требованиям;

b. непротиворечивости требований и охвату ими потребностей пользователя;

c. наличия соответствующих процедур для внесения изменений в установленные требования и решения проблем;

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

e. наличия соответствующих критериев и процедур, предусмотренных в соответствии с установленными требованиями.

Примечание — Данная работа может выполняться при оценке договора (см. 6.3.1.3.b)].

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

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

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

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

c. применимость стандартов, процедур и условий к процессам проектирования;

d. укомплектованность и обученность персонала в соответствии с условиями договора.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

a. учет в программе условий проекта и установленных требований;

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

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

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

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

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

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

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

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

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

6.4.2.7 Верификация документации

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

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

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

c. соблюдение установленных процедур управления конфигурацией документов.