ГОСТ Р ИСО/МЭК 18045— 2008
13.9.2 Оценка покрытия (ATE_COV.2)
13.9.2.1 Цели
Цельданного подвидадеятельности — сделать заключение, является ли тестирование (какэтодоку
ментально зафиксировано)достаточным, чтобы установить, что ФБО были систематическим методом про
тестированы на соответствие функциональной спецификации.
13.9.2.2 Исходные данные
a) ЗБ;
b
) функциональная спецификация;
c) тестовая документация;
d) материалы анализа покрытия тестами.
13.9.2.3 Действие ATE_COV.2.1E
13.9.2.3.1 Шагоценивания 4:ATE_COV.2-1
ИСО/МЭК15408-3 ATE_COV.2.1C: Анализ покрытиятестами должен демонстрировать соответ
ствие междутестами, идентифицированными в тестовой документации, и описанием ФБО в функци
ональнойспецификации.
Оценщикдолжен исследовать материалы анализа покрытия тостами, чтобы сделать заключение, яв
ляется ли точным соответствие между тестами, идентифицированными в тестовой документации, и функци
ональнойспецификацией.
Демонстрация соответствия может принимать форму таблицы или матрицы. В некоторых случаях,
чтобы показать соответствие тестов, достаточно наличия такого отображения. В других случаях может
потребоваться некоторое обоснование (наестественном языке)для того, чтобыдополнить материалы ана
лиза соответствия, представленные разработчиком.
На рисунке 13 отражена концептуальная структура соответствия между функциями безопасности,
описанными в функциональной спецификации, и тестами, выделенными в тестовой документации для тес
тирования этих функций. Тесты могут затрагивать одну или несколько функций безопасности, что может
быть обусловлено зависимостями тестов или общей целью выполняемого теста.
Идентификация тостов и функций безопасности, представленных вматериалах анализа покрытия тес
тами. должна быть однозначной. Материалы анализа покрытия тестами позволят оценщику сопоставить
идентифицированные тесты стестовой документацией, а тестируемыефункции безопасности — с функцио
нальной спецификацией.
13.9.2.3.2 Шагоценивания 4:ATE_COV.2-2
Оценщикдолжен исследовать план тестирования, чтобы сделать заключение, является ли подход к
тестированию каждой функции безопасности ФБО пригодным для демонстрации ожидаемого режима ее
выполнения.
Руководство по выполнению этого шага оценивания можно найти в следующих замечаниях по при
менению:
a) «Понимание ожидаемого режима функционирования 00»;
b
) «Альтернативные тестированию подходы к верификации ожидаемого режима выполнения функции
безопасности».
13.9.2.3.3 Шаг оценивания 4:ATE_COV.2-3
Оценщик должен исследовать процедуры тестирования, чтобы сделать заключение, адекватно ли
описание предварительных условий тестирования, шагов тестирования и ожидаемого результата (ожидае
мых результатов)для тестирования каждой функции безопасности.
Руководство по выполнению этого шага оценивания, который относится к функциональной специфи
кации. можно найти в замечаниях по применению «Верификация адекватности тестов».
13.9.2.3.4 Шагоценивания 4:ATE_COV.2-4
ИСО/МЭК 15408-3 ATE_COV.2.2C: Анализ покрытия тостами должен демонстрировать полное
соответствиемеждуописанием ФБО в функциональной спецификации и тестами, идентифицирован
ными в тестовой документации.
Оценщик должен исследовать материалы анализа покрытия тестами, чтобы сделать заключение о
полноте соответствия между ФБО. описанными в функциональной спецификации, и тестами, идентифици
рованными втестовой документации.
Все функции безопасности и интерфейсы, которыеописаны вфункциональной спецификации,должны
быть представлены в материалаханализа покрытия тестами и сопоставлены с тестами для утверждения о
175