ГОСТ Р ИСО/МЭК 15408-3-2013
Функциональная спецификация должна содержать обоснование каждого
сообщения об ошибках, содержащегося в реализации ФБО, но при этом не
описанного в функциональной спецификации, и того, почему эти сообщения
об ошибках не связаны с ИФБО.
11.2.9.2.9ADV_FSP.6.9C
В формальном представлении функциональной спецификации ФБО должно
быть изложено формальное описание ИФБО. дополненное, где это необходимо,
неформальным пояснительным текстом.
11.2.9.2.10ADV_FSP.6.10C
Впрослеживаниисоответствиядолжнобытьпродемонстрировано
прослеживание ФТБ к ИФБО в функциональной спецификации.
11.2.9.3
Элементы действий оценщика
11.2.9.3.1
ADV_FSP.6.1E
Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
11.2.9.3.2ADV_FSP.6.2E
Оценщик должен сделать независимое заключение, что функциональная
спецификацияявляетсяточнымиполнымотображениемфункциональных
требований безопасности 00.
11.3Представление реализации (ADVJMP)
11.3.1 Цели
Семейство «Представление реализации» (ADV IMP) предназначено для того,
чтобы разработчик сделал доступным представление реализации (а на более
высоких уровнях -саму реализацию) 00в форме, которая может быть
проанализирована оценщиком.Представление реализации используется при
проведении действий по анализу и в рамках других семейств (например, при
анализе проекта 00) для того, чтобы продемонстрировать, что 00 соответствует
своему проекту, а также для создания основы для проведения исследований по
другим областям оценки (например, для поиска уязвимостей). Ожидается, что
представление реализации будет выполнено в такой форме, чтобы в нем были
зафиксированы процессы внутреннего содержания ФБО в виде исходного текста
98