2015-10-13
767
Зависимости отсутствуют.
Элементы действий разработчика
| ADV_RCR.1.1D | Разработчик должен представить анализ соответствия между всеми смежными парами имеющихся представлений ФБО. | |
| Элементы содержания и представления свидетельств | ||
| ADV_RCR 1.1С | Для каждой смежной пары имеющихся представлений ФБО анализ должен демонстрировать, что все функциональные возможности более абстрактного представления ФБО, относящиеся к безопасности, правильно и полностью уточнены в менее абстрактном представлении ФБО. | |
| Элементы действий оценщика | ||
| ADV_RCR.1.1E | Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств. | |
ADV_RCR.2 Полуформальная демонстрация соответствия
| Зависимости отсутствуют. | |||
| Элементы действий разработчика | |||
| ADV_RCR.2.1D | Разработчик должен представить анализ соответствия между всеми смежными парами имеющихся представлений ФБО. | ||
| Элементы содержания и представления свидетельств | |||
| ADV_RCR.2.1C | Для каждой смежной пары имеющихся представлений ФБО анализ должен демонстрировать, что все функциональные возможности более абстрактного представления ФБО, относящиеся к безопасности, правильно и полностью уточнены в менее абстрактном представлении ФБО. | ||
| ADV_RCR.2.2C | Для каждой смежной пары имеющихся представлений ФБО, где части обоих представлений специфицированы по меньшей мере полуформально, демонстрация соответствия между этими частями представлений должна быть полуформальной. | ||
| Элементы действий оценщика | |||
| ADV_RCR.2.1E | Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств. | ||
