ГОСТ Р ИСО/МЭК18045— 2008
11.8.3.4.4 Шагоценивания 2:ATE_FUN.1-4
Оценщикдолжен исследовать план тестирования, чтобы сделать заключение, согласована ли тести
руемая конфигурация ОО с той конфигурацией, которая идентифицирована для оценки в ЗБ.
ОО, упомянутый в плане тестирования разработчика, должен иметь ту же самую уникальную марки
ровку. которая установлена в соответствии с подвидом деятельности АСМ_САР.* «Возможности УК».
В ЗБ может быть определено несколько подлежащих оценке конфигураций. ОО может состоять из
ряда различных аппаратных и программных реализаций, которые подлежат тестированию на соответствие
ЗБ. Оценщик верифицирует, чтов тестовой документации разработчика определены тестируемые конфигу
рации и они согласованы соответственно с каждой из оцениваемых конфигураций, описанных в ЗБ.
Оценщику следует рассмотретьописанные в ЗБ предположения относительно аспектов безопаснос
ти среды ОО. которые могут касаться среды тестирования. В ЗБ могут быть и другие предположения,
которые неотносятся ксреде тестирования. Например, предположение относительнодопусков пользовате
лей не относится к среде тестирования, а предположение относительно единой точки подключения к
сети относится ксреде тестирования.
11.8.3.4.5 Шагоценивания 2:ATE_FUN.1-5
Оценщик должен исследовать план тестирования, чтобы сделать заключение, согласован ли он с
описанием процедур тестирования.
Для выполненияданного шага оценивания оценщик может избрать стратегию выборки.
Руководство по выборке см. в А.2 «Выборка» (приложениеА). Руководство по анализу непротиворе
чивости см. в А.З «Анализ непротиворечивости» (приложение А).
11.8.3.4.6 Шагоценивания 2:ATE_FUN.1-6
ИСО/МЭК 15408-3 ATE_FUN.1 .ЗС: Описанияпроцедур тестирования должны идентифицировать
тесты, которые необходимо выполнить, и включать в себя сценарии длятестированиякаждой функ
ции безопасности. Эти сценарии должны учитыватьлюбое влияние последовательности выполнения
тестов на результаты других тестов.
Оценщик должен проверить, что в описании процедур тестирования идентифицирован каждый из
подлежащих тестированию режимов выполнения функций безопасности.
Одним из методов, который может быть использовандля идентификации подлежащего тестированию
режима выполнения функции безопасности, является ссылка на соответствующую часть (части) специфи
кации проекта, которая определяет конкретный подлежащий тестированию режим выполнения функции
безопасности.
Для выполненияданного шага оценивания оценщик может избрать стратегию выборки.
Руководство по выборке см. в А.2 «Выборка» (приложение А).
11.8.3.4.7 Шагоценивания 2:ATE_FUN.1-7
Оценщик должен исследовать описание процедур тестирования, чтобы сделать заключение, пред
ставлены ли достаточные инструкции, позволяющиеустановить воспроизводимые начальные условия вы
полнения тестов, включая зависимости, связанные с порядком следования, при их наличии.
Для того чтобы установить начальные условия выполнения тестов, возможно, потребуется выполнить
некоторые шаги. Например, необходимо добавить учетные записи пользователей прежде, чем их можно
будет удалить. Пример зависимостей, связанных с порядком следования тестов, от результатов других
тестов — необходимо тестирование функции аудита прежде, чем можно будет полагаться на нее при
создании записей аудита для другого механизма безопасности, такого как управления доступом. Другой
пример зависимости, связанной с порядком следования тестов. — при выполнении одного набора тестов
генерируется файл данных, используемых в качестве исходныхданных для другого набора тестов.
Для выполненияданного шага оценивания оценщик может избрать стратегию выборки.
Руководство по выборке см. в А.2 «Выборка» (приложение А).
11.8.3.4 8 Шагоценивания 2:ATE_FUN.1-8
Оценщик должен исследовать описание процедур тестирования, чтобы сделать заключение, пред
ставлены лидостаточные инструкциидля того, чтобы иметь воспроизводимый способ инициирования вы
полнения функций безопасности и наблюдения за режимом их выполнения.
Инициирующее воздействие обычнообеспечивается внешним поотношению к функции безопаснос
ти способом через ИФБО. После того как входные данные (инициирующее воздействие) предоставлены
ИФБО. через ИФБО можно наблюдать режим выполнения функции безопасности. Воспроизводимость не
обеспечивается, если процедуры тестирования не содержатдостаточных подробностей для однозначного
описания инициирующего воздействия и режима выполнения, ожидаемого в результате инициирующего
воздействия.
84