6.4 Процесс верификации
Процесс верификации является процессом определения того, что программные продукты функционируют в полном соответствии с требованиями или условиями, реализованными в предшествующих работах. Для оценки эффективности затрат и выполняемых работ верификация должна как можно раньше реализовываться в соответствующих процессах (таких как поставка, разработка, эксплуатация или сопровождение).
Данный процесс может включать анализ, проверку и испытание (тестирование). Данный процесс может выполняться с различными степенями независимости исполнителей. Степень независимости исполнителей может распределяться как между различными субъектами в самой организации, так и субъектами в другой организации, с различными степенями распределения обязанностей. Данный процесс называется процессом независимой верификации, если организация-исполнитель не зависит от поставщика, разработчика, оператора или персонала сопровождения.
Список работ. Данный процесс состоит из следующих работ:
1. подготовка процесса;
2. верификация.
6.4.1 Подготовка процесса
Данная работа состоит из следующих задач:
6.4.1.1 Должны быть определены необходимость наличия в проекте работ по верификации и степень организационной независимости при проведении данных работ. Проектные требования должны быть проанализированы на критичность. Критичность может быть оценена с точки зрения:
a. потенциальной возможности наличия необнаруженной ошибки в требовании к системе или программным средствам, приводящей к гибели или травматизму персонала, невыполнению задания, финансовому ущербу или катастрофическому разрушению оборудования;
b. совершенства используемой технологии программирования и рисков, связанных с ее применением;
c. доступности фондов и ресурсов.
6.4.1.2 Если проект предусматривает работы по верификации, должен быть установлен процесс верификации для проверки программного продукта.
6.4.1.3 Если проект предусматривает работы по независимой верификации, должна быть выбрана квалифицированная организация, ответственная за проведение верификации. Данной организации должны быть гарантированы независимость и полномочия при проведении работ по верификации.
6.4.1.4 Должны быть определены запланированные в жизненном цикле работы и программные продукты, нуждающиеся в верификации, на основе анализа области применения, величины, сложности и критичности проекта. Должны быть выбраны работы и задачи верификации из указанных в 6.4.2 для верифицируемых в жизненном цикле работ и программных продуктов, включая соответствующие методы, методики и средства.
6.4.1.5 Должен быть разработан и документально оформлен план проведения верификации на основе установленных задач верификации. План должен относиться к верифицируемым в жизненном цикле работам и программным продуктам; содержать требуемые задачи верификации для каждого объекта; определять соответствующие ресурсы, обязанности и график проведения работ. План должен предусматривать процедуры передачи отчетов о верификации заказчику и другим заинтересованным сторонам.
6.4.1.6 Должен быть реализован план проведения верификации. Проблемы и несоответствия, обнаруженные при проведении верификации, должны быть введены в процесс решения проблем (подраздел 6.8). Все возникшие проблемы должны быть решены, а обнаруженные несоответствия устранены. Результаты работ по верификации должны быть доступны заказчику и другим организациям, участвующим в договоре.
6.4.2 Верификация
Данная работа состоит из следующих задач:
Договор должен быть верифицирован по следующим критериям:
a. возможности поставщика удовлетворить установленным требованиям;
b. непротиворечивости требований и охвату ими потребностей пользователя;
c. наличия соответствующих процедур для внесения изменений в установленные требования и решения проблем;
d. наличия процедур и правил их применения по взаимодействию и кооперации между участниками договора, включая права собственности, гарантии, авторские права и конфиденциальность;
e. наличия соответствующих критериев и процедур, предусмотренных в соответствии с установленными требованиями.
Примечание — Данная работа может выполняться при оценке договора (см. 6.3.1.3.b)].
Процесс должен быть верифицирован по следующим критериям:
a. соответствие и своевременность установления проектных требований к планированию;
b. пригодность, реализуемость, выполнимость в соответствии с планом и условиями договора выбранных для проекта процессов;
c. применимость стандартов, процедур и условий к процессам проектирования;
d. укомплектованность и обученность персонала в соответствии с условиями договора.
Требования должны быть верифицированы по следующим критериям:
a. непротиворечивость, выполнимость и тестируемость требований к системе;
b. распределение требований к системе между объектами технических и программных средств и ручных операций в соответствии с проектом;
c. непротиворечивость, выполнимость, тестируемость и точность отражения требований к системе в требованиях к программным средствам;
d. правильность, подтвержденная соответствующими методами, требований к программным средствам по безопасности, защите и критичности.
Проект должен быть верифицирован по следующим критериям:
a. правильность проекта, его соответствие установленным требованиям и учет этих требований в проекте;
b. реализуемость в проекте соответствующей последовательности событий, исходных данных,
