ГОСТ Р ИСО/МЭК 15408-3-2013
В проекте должен быть описан каждый не влияющий на выполнение ФТБ
модуль с точки зрения его назначения и взаимодействия с другими модулями.
11.6.7.2.10ADV_TDS.4.10C
В прослеживании должно быть продемонстрировано, что все описанные в
проекте 00 режимы функционирования прослеживаются к вызывающим их ИФБО.
11.6.7.3 Элементы действий оценщика
11.6.7.3.1ADV_TDS.4.1E
Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
11.6.7.3.2ADV_TDS.3.2E
Оценщик должен сделать независимое заключение, что проект является
точным и полным отображением всех функциональных требований безопасности.
11.6.8ADV_TDS.5Полный полуформальный модульный проект
Зависимости:ADV_FSP.5Полнаяполуформальнаяфункциональная
спецификация с дополнительной информацией об ошибках
11.6.8.1 Элементы действий разработчика
11.6.8.1.1ADV_TDS.5.1D
Разработчик должен представить проект 00.
11.6.8.1.2ADV_TDS.5.2D
Разработчик должен обеспечить прослеживание ИФБО в функциональной
спецификации к более низкому уровню декомпозиции, представленному в проекте
00
.
11.6.8.2
Элементы содержания и представления свидетельств
11.6.8.2.1
ADV_TDS.5.1C
В проекте должно приводиться описание структуры 00 на уровне подсистем.
11.6.8.2.2ADV_TDS.5.2C
В проекте должно приводиться описание структуры 00 на уровне модулей, с
присвоением каждому модулю категории либо осуществляющего выполнение ФТБ,
либо поддерживающего, либо не влияющего на выполнение ФТБ.
122