ГОСТ Р ИСО/МЭК 15408-3-2013
11.2.9.1.2ADV_FSP.6.2D
Разработчик долженпредставитьформальноепредставление
функциональной спецификации ФБО.
11.2.9.1.3ADV_FSP.6.3D
Разработчикдолженпредставитьпрослеживаниефункциональной
спецификации к функциональным требованиям безопасности.
11.2.9.2
Элементы содержания и представления свидетельств
11.2.9.2.1
ADV_FSP.6.1C
В функциональной спецификации должны быть полностью представлены ФБО.
11.2.9.2.2ADV_FSP.6.2C
Функциональная спецификация должна содержать формальное описание
ИФБО.
11.2.9.2.3ADV_FSP.6.3C
В функциональной спецификации должны быть описаны назначение и метод
использования всех ИФБО.
11.2.9.2.4ADV_FSP.6.4C
В функциональной спецификации должны быть идентифицированы и описаны
все параметры, связанные с каждым ИФБО.
11.2.9.2.5ADV_FSP.6.5C
В функциональной спецификации должны быть описаны все действия,
связанные с каждым ИФБО.
11.2.9.2.6ADV_FSP.6.6C
Функциональная спецификация должна содержать описание сообщений обо
всех непосредственных ошибках, которые могут возникнуть при вызове каждого
ИФБО.
11.2.9.2.7ADV_FSP.6.7C
Функциональная спецификация должна содержать описание всех сообщений
об ошибках, содержащихся в представлении реализации ФБО.
11.2.9.2.8ADV FSP.6.8C
97