ГОСТ Р ИСО/МЭК 15408-3 — 2008
6.4.11 объяснять (explain): Отличаетсяоттерминов «описывать» («describe») и «демонстрировать»
(«demonstrate»). Предназначен для ответа на вопрос «Почему?» без попытки аргументировать, что ход
предпринимаемыхдействийобязательно оптимален.
6.4.12 внутренне непротиворечивый (internally consistent): Отсутствуют очевидные противоречия
между любыми аспектами сущности. Применительно кдокументации это означает, что вней не может быть
изложеночто-либо, что может бытьвоспринято как противоречащеечему-тодругому.
6.4.13 логическое обоснование (justification): Относится к анализу, ведущему к заключению, но
является более строгим, чем термин «демонстрация» («demonstration»), в смысле точных и подробных
объяснений каждого шага логическихсуждений.
6.4.14 взаимно поддерживающие (mutually supportive): Описывает взаимосвязь в группе сущнос
тей. указывая, что последние обладают некоторыми свойствами, которые не находятся в противоречии со
свойствами других сущностей и могут способствовать выполнению другими сущностями их задач.
Нет необходимости определять, чтокаждая из рассматриваемых отдельных сущностей непосредственно
под держиваетдругие сущности в этой группе; достаточно, если сделанообобщенное заключение.
6.4.15доказывать (prove): Относится к формальному анализу в математическом смысле, полнос
тью строгому во всех отношениях. Обычно используется, когда желательно показатьсоответствие между
двумя представлениями ФБО на высоком уровне строгости.
6.4.16 специфицировать (specify): Используется в том же контексте, что и «описывать» («describe»),
но является болеестрогим иточным. Аналогичентермину «определять» («define»).
6.4.17 прослеживать или сопоставлять (trace): Используетсядля указания, что между двумя сущ
ностями требуется только минимальный уровеньстрогости неформальногосоответствия.
6.4.18 верифицировать (verify): Аналогичен термину «подтверждать» («confirm»), но имеет более
глубокий смысл. При использовании в контекстедействий оценщика указывает на то. чтотребуются неза
висимые усилия оценщика.
6.5 Классификация доверия
Классы и семействадоверия, а также их краткие имена приведены в таблице 1.
Т а б л и ц а 1— Классы и семейства доверия
Класс доверия
Семейство доверия
Краткое имя
ACM: Управление
конфигурацией
Автоматизация УК
ACMAUT
Возможности УК
АСМСАР
Область УК
ACM_SCP
ADO: Поставка и эксплуатация
Поставка
ADO_DEL
Установка, генерация и запуск
ADO_K3S
Функциональная спецификация
ADV_FSP
Проект верхнего уровня
ADV_HLD
Представление реализации
ADVJMP
ADV: Разработка
Внутренняя структура ФБО
ADV INT
Проект нижнего уровня
ADVLLD
Соответствие представлений
ADV_RCR
Моделирование политики безопасности
ADV_SPM
AGD: Руководства
Руководство администратора
AGD_ADM
Руководство пользователя
AGDJJSR
Безопасность разработки
ALC.DVS
Устранение недостатков
ALC_FLR
ALC: Поддержка жизненного
цикла
Определение жизненного цикла
ALC_LCD
Инструментальные средства и методы
ALC.TAT
10