9.1.1 Цели
Цель данного семейства состоит в том, чтобы предоставить описание ОО в повествовательной форме.
Оценка "Введения ПЗ" требуется для демонстрации того, что ПЗ правильно идентифицирован, и что "Ссылка на ПЗ" и "Аннотация ОО" не противоречат друг другу.
9.1.2 APE_INT.1 Введение ПЗ
Зависимости: отсутствуют.
9.1.2.1 Элементы действий разработчика
9.1.2.1.1 APE_INT.1.1D
Разработчик ПЗ должен представить "Введение ПЗ".
9.1.2.2 Элементы содержания и представления свидетельств
9.1.2.2.1 APE_INT.1.1C
"Введение ПЗ" должно содержать "Ссылку на ПЗ" и "Аннотацию ОО".
9.1.2.2.2 APE_INT.1.2C
"Ссылка на ПЗ" должна уникально идентифицировать ПЗ.
9.1.2.2.3 APE_INT.1.3C
В "Аннотации ОО" должна быть представлена краткая информация об использовании и основных функциональных возможностях безопасности ОО.
9.1.2.2.4 APE_INT.1.4C
В "Аннотации ОО" должен быть идентифицирован тип ОО.
9.1.2.2.5 APE_INT.1.5C
В "Аннотации ОО" должны быть идентифицированы любые не входящие в ОО аппаратные, программные, а также программно-аппаратные средства, доступные для ОО.
9.1.2.3 Элементы действий оценщика
9.1.2.3.1 APE_INT.1.1E
Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
9.2 Утверждения о соответствии (APE_CCL)
9.2.1 Цели
Цель данного семейства заключается в том, чтобы сделать заключение об обоснованности утверждений о соответствии. Кроме того, в данном семействе специфицируется, соответствуют ли ЗБ и другие ПЗ данному ПЗ.
9.2.2 АРЕ_ССL.1 Утверждения о соответствии
Зависимости: | APE_INT.1 Введение ПЗ |
APE_ECD.1 Определение расширенных компонентов | |
АРЕ_REQ.1 Установленные требования безопасности |