ADV_FSP.2 Полностью определенные внешние интерфейсы
Зависимости
|
ADV_RCR.1
| Неформальная демонстрация соответствия
|
Элементы действий разработчика
|
ADV_FSP.2.1D
| Разработчик должен представить функциональную спецификацию.
|
Элементы содержания и представления свидетельств
|
ADV_FSP.2.1C
| Функциональная спецификация должна содержать неформальное описание ФБО и их внешних интерфейсов.
| |
ADV_FSP.2.2C
| Функциональная спецификация должна быть внутренне непротиворечивой
| |
ADV_FSP.2.3C
| Функциональная спецификация должна содержать описание назначения и методов использования всех внешних интерфейсов ФБО, обеспечивая полную детализацию всех результатов, нештатных ситуаций и сообщений об ошибках.
| |
ADV_FSP.2.4C
| Функциональная спецификация должна полностью представить ФБО.
| |
ADV_FSP.2.5C
| Функциональная спецификация должна включать в себя логическое обоснование, что ФБО полностью представлены.
| |
Элементы действий оценщика
| |
ADV_FSP.2.1E
| Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
| |
ADV_FSP.2.2E
| Оценщик должен сделать независимое заключение, что функциональная спецификация - точное и полное отображение функциональных требований безопасности ОО.
| |
| | | | |