ГОСТ Р ИСО/МЭК 15408-3-2013
11.6.8.2.3ADV_TDS.5.3C
В проекте должны быть идентифицированы все подсистемы ФБО.
11.6.8.2.4ADV_TDS.5.4C
В проекте должно приводиться полуформальное описание каждой из подсистем
ФБО,сопровождающеесявспомогательнымпояснительнымнеформальным
текстом, если это представляется уместным.
11.6.8.2.5ADV_TDS.5.5C
В проекте должно приводиться описание взаимодействий всех подсистем ФБО
между собой.
11.6.8.2.6ADV_TDS.5.6C
В проекте должно быть осуществлено прослеживание подсистем ФБО к
модулям ФБО.
11.6.8.2.7ADV_TDS.5.7C
В проекте должно приводиться полуформальное описание каждого модуля с
точкизренияегоназначения,взаимодействиясдругимимодулями,
интерфейсов и значений, предоставляемых этими интерфейсами в ответ на
запросы,атакжевызываемыхинтерфейсовдругихмодулей.
Полуформальноеописаниесопровождаетсявспомогательным
пояснительнымнеформальнымтекстом,еслиэтопредставляется
целесообразным.
11.6.8.2.8ADV_TDS.5.8C
В прослеживании должно быть продемонстрировано, что все описанные в
проекте 00 режимы функционирования прослеживаются к вызывающим их ИФБО.
11.6.8.3 Элементы действий оценщика
11.6.8.3.1ADV_TDS.5.1E
Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
11.6.8.3.2ADV_TDS.5.2E
Оценщик должен сделать независимое заключение, что проект является
точным и полным отображением всех функциональных требований безопасности.
123