ГОСТ Р ИСО/МЭК 15408-3-2002
тестов для демонстрации, что ФБО выполняются всоответствии с ихфункциональной специфика
цией.
ATE_COV. 1Свидетельство покрытия
Цели
Цель этого компонента состоит в том, чтобы установить, что ФБО были проверены на соответ
ствие ихфункциональной спецификации. Это предполагаетсядостичь путем экспертизы свидетельства
о соответствии, представленного разработчиком.
Замечания по применению
Несмотря на то, что цель тестирования состоит в полном покрытии ФБО. для верификации
этого утверждения не требуется обеспечить ничего, помимо неформальногосопоставления тестов с
функциональной спецификацией и собственноданных тестирования.
В этом компоненте от разработчика требуется показать, насколько идентифицированные тесты
соответствуют описанию ФБО вфункциональной спецификации. Это может бытьдостигнуто пред
ставлением соответствия (возможно, с использованием таблицы). Это информация требуется для со
действия оценщику в планировании программы тестирования при оценке. На этом уровне нет требова
ний полного покрытия разработчиком каждого аспекта ФБО. поэтому необходимо, чтобы оценщик
принял во внимание возможные пробелы в этой области.
Зависимости
ADV_FSP. 1Неформальная функциональная спецификация
ATE_FUN. 1Функциональное тестирование
Элементы действий разработчика
ATE_COV. 1.1D Разработчик должен представить свидетельство покрытия тестами.
Элементы содержания и представления свидетельств
ATE_COV.1.1C Свидетельство покрытия тестами должно показать соответствие между тестами,
идентифицированными в тестовой документации, и описанием ФБО в функцио
нальнойспецификации.
Элементы действий оценщика
ATE_COV.l.lE Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ATE_COV.2 Анализ покрытия
Цели
Цель этого компонента состоит в том, чтобы установить, что ФБО были проверены на соответ
ствие ихфункциональной спецификации систематическим методом. Эго предполагается достичь путем
экспертизы анализасоответствия, представленного разработчиком.
Замечания по применению
От разработчика требуется демонстрировать, что идентифицированные тесты включают всебя
проверку всехфункций безопасности, представленных в функциональной спецификации. При анализе
следует не только показать соответствие между тестами и функциями безопасности, но также предос
тавить оценщику достаточную информациюдля вынесения независимого заключения отом, насколь
ко функции были проверены. Эта информация может быть использована при планировании дополни
тельных тестов оценщика. Хотя на этом уровне разработчикдолжен продемонстрировать, что каждая
изфункций вфункциональной спецификации была проверена, исчерпывающее тестирование каждой
функции не обязательно.
Зависимости
ADV_FSP.l Неформальная функциональная спецификация
ATE_FUN.I Функциональное тестирование
Элементы действий разработчика
ATE_COV.2.1D Разработчикдолжен представить анализ покрытия тестами.
Элементы содержания и представления свидетельств
ATE_COV.2.1C Анализ покрытия тестами должен демонстрировать соответствие междутестами.
идентифицированными втестовой документации, и описанием ФБО в функци
ональной спецификации.
ATE_COV.2.2C Анализ покрытия тестами должен демонстрировать полное соответствие между
описанием ФБО в функциональной спецификации и тестами, ндешмфицнрованиы-
ми втестовой документации.
76