ГОСТ Р ИСО/МЭК 15408-3-2013
В функциональной спецификации должны быть идентифицированы и описаны
все параметры, связанные с каждым ИФБО.
11.2.6.2.4ADV_FSP.3.4C
Для каждого ИФБО, осуществляющего выполнение ФТБ, функциональная
спецификация должна содержать описание связанных с данным ИФБО действий,
осуществляющих выполнение ФТБ.
11.2.6.2.5ADV_FSP.3.5C
Для каждого ИФБО, осуществляющего выполнение ФТБ, функциональная
спецификация должна содержать описание сообщений о непосредственных
ошибках, возникающих в результате влияющих на безопасность эффектов и
нештатных ситуаций, связанных с вызовом данного ИФБО.
11.2.6.2.6ADV_FSP.3.6C
В функциональной спецификации должна быть приведены все связанные
с каждым ИФБО действия, поддерживающие или не влияющие на выполнение
ФТБ.
11.2.6.2.7ADV_FSP.3.7C
Впрослеживаниисоответствиядолжнобытьпродемонстрировано
прослеживание ФТБ к ИФБО 8 функциональной спецификации.
11.2.6.3
Элементы действий оценщика
11.2.6.3.1
ADV_FSP.3.1E
Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
11.2.6.3.2ADV_FSP.3.2E
Оценщик должен сделать независимое заключение, что функциональная
спецификацияявляетсяточными полнымотображениемфункциональных
требований безопасности ОО.
11.2.7ADV FSP.4 Полная функциональная спецификация
Зависимости: ADV TDS.1 Базовый проект
11.2.7.1Элементы действий разработчика
93