Замечания по применению
Необходимо, чтобы разработчик либо демонстрировал, либо доказал соответствие, как описано ниже в требованиях, соразмерно с уровнем строгости стиля представления. Например, соответствие необходимо доказать, если используемые представления специфицированы формально.
Зависимости отсутствуют.
Элементы действий разработчика
ADV_RCR.3.1D | Разработчик должен представить анализ соответствия между всеми смежными парами имеющихся представлений ФБО. |
ADV_RCR.3.2D | Для тех из соответствующих частей представлений, которые специфицированы формально, разработчик должен доказать это соответствие. |
Элементы содержания и представления свидетельств | |
ADV_RCR.3.1C | Для каждой смежной пары имеющихся представлений ФБО анализ должен доказать или демонстрировать, что все функциональные возможности более абстрактного представления ФБО, относящиеся к безопасности, правильно и полностью уточнены в менее абстрактном представлении ФБО. |
ADV_RCR.3.2C | Для каждой смежной пары имеющихся представлений ФБО, где части одного представления специфицированы полуформально, а другого - по меньшей мере полуформально, демонстрация соответствия между этими частями представлений должна быть полуформальной. |
ADV_RCR.3.3C | Для каждой смежной пары имеющихся представлений ФБО, где части обоих представлений специфицированы формально, доказательство соответствия между этими частями представлений должно быть формальным. |
Элементы действий оценщика | |
ADV_RCR.3.1E | Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств. |
ADV_RCR.3.2E | Оценщик должен сделать независимое заключение о правильности доказательств соответствия, избирательно верифицируя формальный анализ. |
|
|