ГОСТ Р ИСО/МЭК 15408-3-2013
11.2.8.2.6ADV_FSP.5.6C
Функциональная спецификация должна содержать описание сообщений обо
всех непосредственных ошибках, которые могут возникнуть при вызове каждого
ИФБО.
11.2.8.2.7ADV_FSP.5.7C
Функциональнаяспецификациядолжнасодержатьописаниевсех
сообщений об ошибках, возникающих не в результате вызова ИФБО.
11.2.8.2.8ADV_FSP.5.8C
Функциональная спецификация должна содержать обоснование каждого
сообщения об ошибке, содержащегося в реализации ФБО, но не являющегося
результатом вызова ИФБО.
11.2.8.2.9ADV_FSP.5.9C
Впрослеживаниисоответствиядолжнобытьпродемонстрировано
прослеживание ФТБ к ИФБО в функциональной спецификации.
11.2.8.3
Элементы действий оценщика
11.2.8.3.1
ADV_FSP.5.1E
Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
11.2.8.3.2ADV_FSP.5.2E
Оценщик должен сделать независимое заключение, что функциональная
спецификацияявляетсяточнымиполнымотображениемфункциональных
требований безопасности ОО.
11.2.9ADV_FSP.6Полнаяполуформальнаяфункциональная
спецификация с дополнительной формальной спецификацией
Зависимости:ADV_TDS.1 Базовый проект
ADV IMP.1 Представление реализации ФБО
11.2.9.1
Элементы действий разработчика
11.2.9.1.1
ADV_FSP.6.1D
Разработчик должен представить функциональную спецификацию.
96