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

-    передать Итоговый документ разработки ПО (12.31) и Указатель конфигурации ПО (12.26) сертифицирующей организации;

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

11.3    Минимальный состав документов жизненного цикла ПО, передаваемых сертифицирующей организации

Минимальный состав документов жизненного цикла ПО, передаваемых сертифицирующей организации на утверждение:

-    План сертификации в части ПО;

-    Указатель конфигурации ПО;

-    Итоговый документ разработки ПО.

11.4    Документы жизненного цикла ПО, относящиеся к типовому проекту

Если ничто другое не согласовано с сертифицирующей организацией, то правила получения и утверждения документов жизненного цикла ПО, связанных с типовым проектом, распространяются на следующие документы:

-    Спецификация требований к ПО;

-    Описание проекта ПО;

-    Исходный код ПО;

-    Исполняемый объектный код ПО;

-    Указатель конфигурации ПО;

-    Итоговый документ разработки ПО.

12 Документы, создаваемые в процессах жизненного цикла ПО

Документы создают в течение всего жизненного цикла ПО, чтобы планировать требуемые действия, управлять ими, объяснять, определять, регистрировать выполнение требуемых действий или обеспечивать доказательство процессов. Эти документы позволяют реализовать процессы жизненного цикла ПО, сертификацию системы и постсертификационную модификацию программного средства. Заказчик осуществляет выбор необходимого и экономически обоснованного состава и содержания документов для конкретной разработки. Заказчик разрешает любые конфликты между требованиями сертифицирующей организации и требованиями контракта. В настоящем стандарте не ставилась задача описать все документы, которые могут быть необходимы для разработки конкретного программного средства, и предложить конкретные методы объединения и организации информации. Дополнительно к документам, определяемым в указанных подразделах, могут быть подготовлены другие документы для поддержки процесса сертификации и удовлетворения требованиям контракта. В настоящем разделе обсуждаются характеристики, форма, методы контроля конфигурации и содержание документов жизненного цикла ПО. Характеристиками документов жизненного цикла ПО являются:

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

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

-    верифицируемость: информация является верифицируемой, если она может быть проверена на корректность человеком или инструментальным средством;

-    согласованность: информация является согласованной, если не существует противоречий внутри нее;

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

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

Дополнительные требования:

-    форма: форма должна обеспечивать эффективный поиск и просмотр документов жизненного

38