ГОСТ Р ИСО/МЭК 18045— 2008
Несмотря на это, для поиска проблемных областей может быть использован следующий провероч
ный список:
a) на естественном языке такие фразы, как «цельданной конструкции не определена» и такие терми
ны, как «зависит от реализации» или «ошибочный» могут указывать на плохо определенные области;
b
) псевдонимы (позволяют ссылаться на одну и ту же часть памяти различными способами)— общий
источник проблем неоднозначности;
c) обработка исключительныхсобытий (например, что должно происходить после исчерпания свобод
ной памяти или переполнения стека) часто плохо определена.
Большинство широко используемых языков, как бы хорошо они ни были разработаны, могут иметь
некоторые проблематичные конструкции. Если язык реализации в целом хорошо определен, но все же
существуют некоторые проблематичные конструкции, тодо окончания экспертизы исходных текстов следу
ет вынести неокончательный вердикт.
Оценщику в процессе экспертизы исходных кодов следует верифицировать, что любое использова
ние проблематичных конструкций не вносит уязвимости. Оценщику следует также удостовериться, что
конструкции, не предусмотренные соответствующим стандартом, не используются.
13.8.3.4.3 Шагоценивания 4:ALC_TAT.1-3
ИСО/МЭК 15408-3 ALC_TAT. 1.ЗС:Документация инструментальных средствразработки должна
однозначно определитьзначения всех опций, обусловленныхреализацией.
Оценщик должен исследовать документацию инструментальных средств, чтобы сделать заключе
ние. однозначноли определены в ней значения всех опций, обусловленных реализацией.
Вдокументацию инструментальныхсредствразработки программного обеспечениядолжны быть вклю
чены определения опций, обусловленных реализацией, которые могут повлиять на содержание выполняе
мого кода, и тех. которые отличаются от стандарта используемого языка. В случаях, когда оценщику пре
доставлен исходный код. ему также должна быть предоставлена информация по используемым опциям
компиляции и сборки.
Вдокументации инструментальных средств проектирования и разработки аппаратных средств долж
но бытьописано использование всех опций, которые влияют на результаты применения инструментальных
средств (например, детальные аппаратные спецификации или сами аппаратные средства).
13.9 Вид деятельности «Тестирование»
Виддеятельности «Тестирование» предназначендля того, чтобы сделать заключение, ведут ли себя
ФБО какопределено в проектной документации и в соответствии с функциональными требованиями безо
пасности ОО. определенными в ЗБ. Данную цельдостигают путем вынесения заключения о проведении
разработчиком тестирования ФБО на их соответствие функциональной спецификации и проекту верхнего
уровня, причем уверенность врезультатахтестирования повышают путем выборочного выполнения тестов
разработчика, а также проведения независимого тестирования некоторого подмножества ФБО.
13.9.1.Замечания по применению
Объем и состав подмножества тестов оценщика зависят от нескольких факторов, рассматриваемых в
подвидах деятельности, связанныхс независимым тестированием (ATEJND.2 «Выборочное независимое
тестирование»). Один из таких факторов, оказывающих влияние на состав подмножества тестов. — это
известные из общедоступных источников слабые места, к информации о которых оценщику необходимо
получитьдоступ (например, в рамках системы оценки).
В ИСО/МЭК 15408 для повышения гибкости применения компонентов семейств вопросы покрытия
тестами и глубины тестирования рассмотрены отдельно отфункциональных тестов. Тем не менее, требова
ния соответствующих семейств предназначены для совместного применения в целях подтверждения, что
ФБО выполняются согласно их спецификации. Такая тесная связь семейств привела к некоторому дубли
рованию работы оценщика по подвидам деятельности. Настоящие замечания по применению позволяют
минимизировать повторения текста при описании подвидовдеятельности одного и того же вида деятельно
сти и ОУД.
13.9.1.1 Понимание ожидаемого режима функционирования ОО
Прежде чем адекватность тестовойдокументации может быть надлежащим образом оценена и преж
де чем могут быть созданы новые тесты, оценщику необходимо понять желательный ожидаемый режим
выполнения функций безопасности применительно ктребованиям, которым они должны удовлетворять.
Оценщик может предпочесть анализировать функции безопасности ФБО поочередно. Для каждой
функции безопасности оценщик исследует конкретное требование ЗБ и соответствующие части функцио
нальной спецификации, проекта верхнего уровня и руководствдля понимания ожидаемого режима функци
онирования ОО.
173