Зависимости отсутствуют.
Элементы действий разработчика
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 | Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств. | ||
|
|