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