ГОСТ Р ИСО/МЭК 15408-3-2013
11.6.4.2.6ADV_TDS.1.6C
В прослеживании должно быть продемонстрировано, что все описанные
в проекте 00 режимы функционирования прослеживаются к вызывающим их
ИФБО.
11.6.4.3 Элементы действий оценщика
11.6.4.3.1ADV_TDS.1.1E
Оценщикдолженподтвердить,чтопредставленнаяинформация
удовлетворяетвсемтребованиямксодержаниюипредставлению
свидетельств.
11.6.4.3.2ADV_TDS.1.2E
Оценщик должен сделать независимое заключение, что проект является
точнымиполнымотображениемвсехфункциональныхтребований
безопасности.
11.6.5ADV_TDS.2Архитектурный проект
Зависимости: ADV FSP.3 Функциональная спецификация с полной аннотацией
11.6.5.1 Элементы действий разработчика
11.6.5.1.1ADV_TDS.2.1D
Разработчик должен представить проект 00.
11.6.5.1.2ADV_TDS.2.2D
Разработчик должен обеспечить прослеживание ИФБО в функциональной
спецификации к более низкому уровню декомпозиции, представленному в проекте
00
.
11.6.5.2
Элементы содержания и представления свидетельств
11.6.5.2.1
ADV_TDS.2.1C
В проекте должно приводиться описание структуры 00 на уровне подсистем.
11.6.5.2.2ADVJTDS.2.2C
В проекте должны быть идентифицированы все подсистемы ФБО.
11.6.5.2.3ADV TDS.2.3C
117