ГОСТ Р ИСО/МЭК 15408-3—2002
ALC_TAT.3.2D Разработчик должен задокументировать выбранные опции инструментальных
средств разработки, зависящиеот реализации.
ALC_TAT.3.3D Разработчикдолжен привести описание стандартов реализации для всех частей
ОО.
Элементы содержания и представления свидетельств
ALC_TAT.3.!C Все инструментальные средства разработки, используемые для реализации, дол
жны быть полностью определены.
ALC_TAT.3.2C Документация инструментальных средств разработки должнаоднозначно опреде
лить значения всех конструкций языка, используемых в реализации.
ALC_TAT.3.3C Документация инструментальных средств разработки должна однозначно опреде
литьзначения всехопций, зависящих от реализации.
Элементы действий оценщика
ALC_TAT.3.1E Оненщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ALC_TAT.3.2E Оценщик должен подтвердить, что стандарты реализации применялись.
13 Класс АТЕ. Тестирование
Класс «Тестирование* включает в себя четыре семейства: «Покрытие* (ATE_COV), «Глубина*
(ATE_DPT), «Функциональное тестирование» (ATE_FUN) и «Независимое тестирование* (например,
функциональное тестирование, выполняемое оленщиками, A1E I.ND). Тестирование помогаетустано
вить. что функциональные требования безопасности ОО выполнены. Тестирование обеспечиваетдове рие
к тому, что ОО удовлетворяет по меньшей мере функциональным требованиям безопасности ОО. хотя
оно и не может установить, что ОО не облазает большими возможностями, чем определено
спецификациями. Тестирование также можетбыть направлено на внутреннюю структуруФБО, напри
мертестирование подсистем и модулей па соответствие ихспецификациям.
Аспекты покрытия и глубины отделены от функционального тестирования для повышения гиб
кости при применении компонентов семейств. Тем не менее требования этихтрехсемейств предназна
чены для совместного применения.
Компоненты семейства «Независимое тестирование* имеют зависимости от компонентовдругих
семейств, позволяющие получить необходимую информацию для поддержки требований, но при этом
относятся в первую очередь к независимым действиям оценщика.
Основное внимание вэтом классе уделено подтверждению того, что ФБО выполняются согласно
ихспецификациям. Для этого применяют и позитивное тестирование, основанное на функциональных
требованиях, и негативное тестирование, чтобы проверитьотсутствие нежелательных режимов выпол
нения. Этот класс не распространяется натестирование проникновения, которое направлено на поиск
уязвимостей, дающих пользователю возможность нарушить политику безопасности. Тестирование про
никновения базируется на анализе ОО, направленном специально на идентификацию уязвимостей в
проекте и реализации ФБО. н рассматривается отдельно как аспект оценки уязвимостей в классе AVA.
Нарисунке 13.1 показаны семействаэтого
класса и иерархия компонентов всемействах.
13.1 Покрытие (ATE_COV)
Цели
Семейство ATE_COV направлено на ас
пекты тестирования, которые имеют отноше
ние к полноте охвата (покрытия) тестами. Та
ким образом, семейство связано с объемом
тестирования ФБО, а также с выяснением,
является ли тестирование достаточно всесто
ронним, чтобы демонстировать выполнение
ФБО всоответствии со спецификациями.
Ранжирование компонентов
Компоненты в этом семействе ранжиро
ваны на основе повышения строгости тести
рования интерфейсов ианализадостаточности
75
Класс АТЕ. Тяслф ом ию !
ATE_COV Покрытие
0
#ИЕ_ПРГ Глубине
--
0-0
ATE_RJN Ф уш цю ш ьное
твемроавнив
-ИНИ
0
A TE JN D Независимое
тесгурсавниа
--
0-0
Рисунок 13.1 —Декомпозиция класса«Тестирование»