ГОСТ Р ИСО/МЭК 15408-3 — 2008
Оценщик должен подтвердить, что представленная информация соответствует всем требо
ваниям к содержанию и представлению свидетельств.
17.1.4 ATE_COV.2 Анализ покрытия
Зависимости: ADV_FSP.1 Неформальная функциональная спецификация
ATE_FUN.1 Функциональное тестирование
17.1.4.1 Цели
Цель данного компонента состоит в том, чтобы установить, что ФБО были проверены на соответствие
их функциональной спецификации систематическим методом. Эта цель достигается путемэкспертизыпред
ставленного разработчиком анализа соответствия.
17.1.4.2 Замечания по применению
От разработчика требуется продемонстрировать, что идентифицированные тесты включают в себя
проверку всех функций безопасности, представленных в функциональной спецификации. При анализе
следует не только показать соответствие между тестами ифункциями безопасности, но также предоста
вить оценщику достаточную информацию для вынесения независимого заключения о том. насколько
функциибыли проверены. Эта информация может быть использована при планировании дополнительных
тестовоценщика. Хотя на этом уровне разработчик должен продемонстрировать, чтокаждая изфункций в
функциональной спецификациибыла проверена, исчерпывающее тестирование каждой функции не обяза
тельно.
17.1.4.3 Элементы действий разработчика
17.1.4.3.1 ATE_COV.2.1D
Разработчик должен представить анализ покрытия тестами.
17.1.4.4 Элементысодержания и представления свидетельств
17.1.4.4.1 ATE_COV.2.1C
Анализ покрытия тестамидолжендемонстрировать соответствие между тестами, идентифициро
ванными в тестовой документации, иописанием ФБО в функциональной спецификации.
17.1.4.4.2 ATE_COV.2.2C
Анализ покрытия тестами должен демонстрировать полное соответствие между описанием
ФБО в функциональной спецификации и тестами, идентифицированными в тестовой документа
ции.
17.1.4.5 Элементы действий оценщика
17.1.4.5.1 ATE_COV.2.1E
Оценщикдолжен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
17.1.5 ATE_COV.3 Строгий анализ покрытия
Зависимости: ADV_FSP.2 Полностью определенные внешние интерфейсы
ATE_FUN.1 Функциональное тестирование
17.1.5.1 Цели
Цель данногокомпонента состоит в том, чтобы установить, что ФБО были проверены систематичес
ким и исчерпывающим образом на соответствие их функциональной спецификации. Эта цель достигается
путем экспертизы анализа соответствия, представленногоразработчиком.
17.1.5.2 Замечания по применению
От разработчика требуется предоставить убедительные аргументы того, что идентифицированные
тесты покрывают всефункции безопасности, а тестирование каждой функции безопасности является пол
ным. Оценщику остается мало возможностейдля разработки дополнительных функциональных тестов
интерфейсов ФБО, основанных на функциональной спецификации, поскольку они будут исчерпывающе
проверены. Тем не менее оценщику следует разрабатывать такие тесты.
17.1.5.3 Элементы действий разработчика
17.1.5.3.1 ATE_COV.3.1D
Разработчик должен представить анализ покрытия тестами.
17.1.5.4 Элементы содержания и представления свидетельств
17.1.5.4.1 ATE_COV.3.1C
Анализ покрытия тестами должендемонстрироватьсоответствиемеждутестами, идентифицирован
ными в тестовой документации, и описанием ФБО вфункциональной спецификации.
17.1.5.4.2 ATE_COV.3.2C
Анализ покрытия тестамидолжен демонстрироватьполное соответствие междуописанием ФБО в
функциональной спецификациии тестами, идентифицированными в тестовой документации.
88