B.2 Выполнение оценки ЗБ для составного ОО

ЗБ будет предоставлен разработчиком для оценки составного ОО (базового + зависимого компонента). В этом ЗБ будет определен пакет доверия, который необходимо применить к составному ОО, обеспечивая доверие к составной сущности, основываясь на доверии, полученном при оценках компонентов.

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

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

Во время проведения действий по оценке составного ОО, описанных в семействе ASE_CCL «Утверждение о соответствии» оценщик определяет, что составляющие ЗБ точно представлены в ЗБ составного ОО. Это достигается путем определения того, что ЗБ составного ОО демонстрируемо соответствует составляющим ЗБ ОО. Также оценщику необходимо определить, что зависимости зависимого компонента от среды функционирования адекватно выполняются в составном ОО.

В описании составного ОО следует изложить решение по композиции. Следует изложить логические и физические возможности и границы решения по композиции, а также следует определить логическую границу (или границы) между компонентами. В описании следует определить функциональные возможности, предоставляемые каждым компонентом.

В изложении ФТБ для составного ОО следует определить, какой компонент какое ФТБ выполняет. Если некоторое ФТБ выполняется обоими компонентами, тогда в изложении следует определить, какой компонент выполняет разные аспекты этого ФТБ. Аналогично в краткой спецификации составного ОО следует определить, какой компонент какие изложенные функциональные возможности предоставляет.

Следует, чтобы пакет требований доверия класса ASE: "Требования по оценке ЗБ", применяемый для ЗБ составного ОО, был согласован с пакетом доверия класса ASE: «Требования по оценке ЗБ», использованным при оценках компонентов.

Повторное использование результатов оценки составляющих ЗБ может выполняться в случаях, когда ЗБ составного ОО напрямую ссылается на составляющие ЗБ, например, если ЗБ составного ОО ссылается на некоторое составляющее ЗБ как часть своего изложения ФТБ, оценщик сможет понять, что требование по завершению всех операций назначения и выбора (как установлено в ASE_REQ.*.3C) было выполнено при оценках компонентов.

Дата добавления: 2014-01-15