ГОСТ Р ИСО/МЭК 15408-3-2013
11.6.6.2.8ADV_TDS.3.8C
В проекте должен быть описан каждый осуществляющий выполнение ФТБ
модуль с точки зрения его относящихся к ФТБ интерфейсов, значений,
предоставляемых этими интерфейсами в ответ на запросы, взаимодействий с
другими модулями и вызываемыми интерфейсами этих модулей.
11.6.6.2.9ADV_TDS.3.9C
В проекте должен быть описан каждый поддерживающий и не влияющий на
выполнение ФТБ модуль с точки зрения его назначения и взаимодействия с
другими модулями.
11.6.6.2.10ADVTDS.3.10C
В прослеживании должно быть продемонстрировано, что все описанные в
проекте 00 режимы функционирования прослеживаются к вызывающим их ИФБО.
11.6.6.3 Элементы действий оценщика
11.6.6.3.1ADV_TDS.3.1E
Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
11.6.6.3.2ADV_TDS.3.2E
Оценщик должен сделать независимое заключение, что проект является
точным и полным отображением всех функциональных требований безопасности.
11.6.7ADV_TDS.4Полуформальный модульный проект
Зависимости:ADV_FSP.5Полнаяполуформальнаяфункциональная
спецификация с дополнительной информацией об ошибках
11.6.7.1 Элементы действий разработчика
11.6.7.1.1ADV_TDS.4.1D
Разработчик должен представить проект 00.
11.6.7.1.2ADV_TDS.4.2D
Разработчик должен обеспечить прослеживание ИФБО в функциональной
спецификации к более низкому уровню декомпозиции, представленному в проекте
00
.
11.6.7.2Элементы содержания и представления свидетельств
120