| Зависимости | ||||
| ADV_RCR.1 | Неформальная демонстрация соответствия | |||
| Элементы действий разработчика | ||||
| ADV_FSP.3.1D | Разработчик должен представить функциональную спецификацию | |||
| Элементы содержания и представления свидетельств | ||||
| ADV_FSP.3.1C | Функциональная спецификация должна содержать полуформальное описание ФБО и их внешних интерфейсов, поддержанное, где это необходимо, неформальным пояснительным текстом. | |||
| ADV_FSP.3.2C | Функциональная спецификация должна быть внутренне непротиворечивой | |||
| ADV_FSP.3.3C | Функциональная спецификация должна содержать описание назначения и методов использования всех внешних интерфейсов ФБО, обеспечивая полную детализацию всех результатов, нештатных ситуаций и сообщений об ошибках. | |||
| ADV_FSP.3.4C | Функциональная спецификация должна полностью представить ФБО. | |||
| ADV_FSP.3.5C | Функциональная спецификация должна включать в себя логическое обоснование, что ФБО полностью представлены. | |||
| Элементы действий оценщика | ||||
| ADV_FSP.3.1E | Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств. | |||
| ADV_FSP.3.2E | Оценщик должен сделать независимое заключение, что функциональная спецификация - точное и полное отображение функциональных требований безопасности ОО. | |||
ADV_FSP.3 Полуформальная функциональная спецификация
2015-10-13
926Поделись с друзьями:
Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:
|
|
Сейчас читают про:
6149
5901