ГОСТ Р 51904-2002 Программное обеспечение встроенных систем. Общие требования к разработке и документированию

     10.3 Просмотр согласованности ПО

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

- завершены запланированные работы процессов жизненного цикла ПО для получения сертификационного доверия, включая генерацию документов жизненного цикла ПО, и отчеты об их завершении сохранены;

- документы жизненного цикла ПО, которые разработаны в соответствии со специфицированными системными требованиями и с требованиями, определяемыми безопасностью, или требованиями к ПО, удовлетворяют этим требованиям;

- документы жизненного цикла ПО сформированы в соответствии с планами ПО и стандартами разработки (12.9-12.11) и проконтролированы в соответствии с Планом управления конфигурацией ПО;

- сообщения о дефектах подготовлены в соответствии с Планом управления конфигурацией ПО, их статус был оценен и зарегистрирован;

- отклонения реализации от требований к ПО зарегистрированы и утверждены;

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

- утвержденный код ПО может быть успешно загружен;

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

- если сертификационное доверие распространяется на использование ранее разработанного ПО, то текущая базовая линия программного средства должна быть трассируемой к предыдущей базовой линии и изменения в базовой линии должны быть утверждены.