ГОСТ Р ИСО/МЭК 18045—2013
Например, полностью определенными могут считаться те языки, компиляторы или САПР, кото
рые соответствуют общепризнанным стандартам, таким как стандарты ИСО. Полностью определенным
языком является тот, для которого имеется четкое и полное описание его синтаксиса и детальное опи
сание семантики каждой из его конструкций.
ИСО/МЭК 15408-3 А1_С_ТАТ.1.2С: В документации по инструментальным средствам разработ
ки должны быть однозначно определены значения всех языковых конструкций, используемых в реа
лизации.
12.8.2.1.1 Шаг оценивания ALC_TAT.1-2
Оценщик должен исследовать документацию каждого инструментального средства, чтобы сде
лать заключение, однозначно ли определены в ной значения всех конструкций (формулировок, услов
ностей. директив), используемых в представлении реализации.
В документации инструментальных средств разработки (например в спецификациях языка про
граммирования и в руководствах пользователя) следует охватить все конструкции, используемые в
представлении реализации ОО, и для каждой такой конструкции следует предоставить четкое и одно
значное определение предназначения и результата выполнения этой конструкции. Эта работа может
быть выполнена в сочетании с исследованием оценщиком представления реализации, выполняемого в
рамках подвида деятельности ADVJMP. Главные усилия оценщика следует направить на выяснение
того, действительно ли документация достаточно ясна для понимания представления реализации. На
пример. в документации не следует предполагать, что читатель является экспертом по используемому
языку программирования.
Ссылка на использование документированного стандарта — приемлемый подход для удовлетво
рения этого требования, при условии, чтоданный стандарт доступен для оценщика. Любые отклонения
от этого стандарта следует документировать.
Важная проверка состоит в том. может ли оценщик понять исходный код ОО при выполнении ана
лиза исходного кода, включенного в подвид деятельности «Представление реализации» (ADVJMP).
Несмотря на это. для поиска проблемных областей может использоваться следующий проверочный
список:
a) на естественном языке такие фразы, как «цельданной конструкции не определена», итакие тер
мины. как «зависит от реализации» или «ошибочный» могут указывать на плохо определенные области;
b
) использование псевдонимов (альтернативных имен, которые позволяют ссылаться на одну
и ту же часть памяти различными способами)— распространенный источник возникновения проблемы
неоднозначности;
c) обработка исключительных событий (например что должно происходить после исчерпания
свободной памяти или переполнения стека) часто плохо определена.
Большинство широко используемых языков, как бы хорошо они не были разработаны, могут иметь
некоторые проблемные конструкции. Если язык реализации в целом хорошо определен, но все же су
ществуют некоторые проблемные конструкции, тодо окончания исследования исходных текстов следу ет
вынести неокончательный вердикт.
Оценщику в процессе исследования исходных кодов следует верифицировать, что любое исполь
зование проблемных конструкций не вносит уязвимостей. Оценщику следует также удостовериться,
что конструкции, не предусмотренные соответствующим стандартом, не используются.
В документации по инструментальным средствам разработки следует определять все формули
ровки. условности, директивы, использованные в представлении реализации.
ИСО/МЭК 15408-3 ALC_TAT.1.ЗС; В документациипо инструментальным средствам разработ
ки должны быть однозначно определены значения всех опций, обусловленных реализацией.
12.8.2.1.2 Шаг оценивания AL.C_TAT.1-3
Оценщик должен исследоватьдокументацию инструментальных средств, чтобы сделать заключе
ние. однозначно ли определены в ней значения всех опций, обусловленных реализацией.
В документацию инструментальных средств разработки программного обеспечения следует
включать определения опций, обусловленных реализацией, которые могут повлиять на содержание
выполняемого кода, и тех. которые отличаются от стандарта используемого языка. В случаях, когда
оценщику предоставляется исходный код. ему также следует предоставить информацию по используе
мым опциям компиляции и сборки.
В документации инструментальных средств проектирования и разработки аппаратных средств
следует описать использование всех опций, которые влияют на результаты применения инструменталь
ных средств (например детальные аппаратные спецификации или сами аппаратные средства).
146