ГОСТ Р ИСО/МЭК 15408-3-2013
Анализ покрытия тестами должен демонстрировать, что все ИФБО из
функциональной спецификации были полностью протестированы.
14.1.6.5
Элементы действий оценщика
14.1.6.5.1
ATE_COV.3.1E
Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
14.2Глубина (ATE_DPT)
14.2.1Цели
Компоненты семейства ATE_DPT имеют отношение к уровню детализации
тестирования разработчиком ФБО. Тестирование функциональных возможностей
безопасности основано на увеличении глубины представления информации, которая
является производной от дополнительных описаний и представлений по проекту
(проект 00, представление реализации, описание архитектуры безопасности).
Целью является противостояние риску пропуска ошибки при разработке 00.
Тестирование того, что конкретные внутренние интерфейсы могут предоставлять
доверие не только к тому, что ФБО представляют желательный режим безопасности,
нотакжектому,чтоэтотрежимявляетсяследствиемкорректного
функционирования внутренней структуры.
14.2.2 Ранжирование компонентов
Компоненты в этом семействе ранжированы на основе увеличения степени
детализации в представлениях ФБО от проекта 00 до представления реализации.
Это ранжирование отражает представления ФБО, представленные в классе ADV.
14.2.3 Замечания по применению
Проект 00 описывает внутренние компоненты (например, подсистемы) и, по
возможности, модули ФБО в совокупности с описанием взаимодействий между
этими компонентами и модулями. Свидетельство тестирования данного проекта 00
должно продемонстрировать, что внутренние интерфейсы были реализованы
и функционируютсогласноописаниям.Этоможетбытьдостигнутолибо
тестированием через внешние интерфейсы ФБО, либо тестированием подсистем
00 или интерфейсов модулей изолированно, возможно, с использованием средств
тестирования. В случаях, когда некоторые аспекты внутреннего интерфейса не могут
быть протестированы через внешние интерфейсы, следует либо иметь логическое
177