ГОСТ Р ИСО/МЭК18045— 2008
Понимая ожидаемый режим функционирования ОО, оценщик исследует план тестирования, чтобы
определить подход к тестированию. В большинстве случаев подход к тестированию будет предусматри
вать инициирование выполнения некоторой функции безопасности через внешние или внутренние интер
фейсы и наблюдение ее реакции. Тем не менее, в некоторых случаях функция безопасности не может быть
адекватно протестирована через интерфейс (как, например, в случае с тестированием функциональных
возможностей защиты остаточной информации); в подобных случаях необходимо использовать другой
способ.
13.9.1.2 Альтернативные тестированию подходы к верификации ожидаемого режима выполнения
функции безопасности
В тех случаях, когда практически нецелесообразно или несоразмерно осуществлять тестирование
через интерфейс, в плане тестирования следует определить альтернативный подход кверификации ожида
емого режима выполнения. Сделать заключение о пригодности альтернативного подхода — обязанность
оценщика. Оценивая пригодность альтернативных подходов, следует учесть, что:
a) приемлемым альтернативным подходом является анализ представления реализации для заключе
ния, что требуемый режим функционирования будетдемонстрироваться ОО. Это может означать эксперти
зу кода для программного ОО или. возможно, экспертизу фотошаблона (маски) микросхем для аппарат
ного ОО;
b
) приемлемым является использование свидетельства помодульного или интегрированного тестиро
вания разработчиком, даже если это несоизмеримо с представленным на оценку проектом нижнего уров ня
или реализацией. Если при верификации ожидаемого режима выполнения функции безопасности ис
пользуется свидетельство помодульного или интегрированного тестирования разработчиком, следует вни
мательно отнестись к подтверждению того, что данное свидетельство тестирования отражает текущую
реализацию ОО. Если конкретная подсистема или модули подверглись изменению после проведения тес
тирования, тообычно потребуется свидетельство, что изменения былиотслежены и учтены в ходе анализа
или проведения последующего тестирования.
Дополнительные по отношению к тестированию усилия с использованием альтернативных подходов
следует предпринять только тогда, когда и разработчик, и оценщик сделают заключение, что не существу ет
других практичных способов проведения тестирования ожидаемого режима выполнения некоторой фун кции
безопасности. Такая альтернатива позволяет разработчику минимизировать затраты (времени и/или денег)
на тестирование при описанных выше обстоятельствах: она не предназначенадля того, чтобы дать
оценщику большую свободу требовать произвольную дополнительную информацию относительно ОО. а
такжедля того, чтобы заменить тестирование.
13.9.1.3 Верификация адекватности тестов
Для тестов необходимо заранее установить требуемые начальные условия их выполнения. Они могут
быть определены через параметры, которыедолжны быть установлены, или через упорядочение тестов в
тех случаях, когда завершение одного теста устанавливает необходимые предварительные условия вы
полнения другого теста. Оценщикдолжен сделать заключение о полноте предварительных условий выпол
нения тестов и их приемлемости с точки зрения того, что они не приведут к смещению наблюдаемых
результатов тестирования по отношению к ожидаемым результатам тестирования.
Шаги тестирования и ожидаемые результаты тестирования определяютдействия и параметры, отно
сящиеся к интерфейсам, а также способ верификации ожидаемых результатов и чтоони собой представ
ляют. Оценщикдолжен сделать заключение о согласованности шагов тестирования и ожидаемых резуль
татов тестирования с функциональной спецификацией и проектом верхнего уровня. Тесты должны верифи
цировать задокументированный в этих спецификациях режим выполнения. Это означает, что для каждой
характеристики режима выполнения функции безопасности, явным образом описанной в функциональной
спецификации и проекте верхнего уровня, должны бытьтесты и описание ожидаемых результатов тестиро
вания. чтобы верифицироватьданный режим выполнения.
Несмотря на то. что все ФБО должны быть протестированы разработчиком, исчерпывающее тестиро
вание их интерфейсов но требуется. Основная цельданного вида деятельности состоит в том. чтобы сде
лать заключение о достаточности тестирования каждой функции безопасности на соответствие заявленным
в функциональной спецификации и проекте верхнего уровня режимам выполнения. Процедуры тестирова
ния обеспечат понимание того, каким образом разработчиком входе тестирования были опробованы функ
ции безопасности. Оценщикбудет использоватьданную информацию при разработкедополнительных тес
тов для независимого тестирования ОО.
174