ГОСТ Р ИСО/МЭК 18045—2013
программирования или системы автоматизированного проектирования (САПР)), которые дают непро
тиворечивые и предсказуемые результаты, а также применялись ли стандарты реализации.
12.8.4.2 Исходные данные
Свидетельствами оценки для этого подвида деятельности являются:
a) документация инструментальных средств разработки;
b
) подмножество представления реализации;
c) представление реализации ФБО.
12.8.4.3 Замечания по применению
Эта работа может выполняться параллельно с действиями по оценке «Представление реализа
ции» ADVJMP. а особенно в части, касающейся определения используемых характеристик инструмен
тальных средств, которые повлияют на объектный код (например опции компиляции).
12.8.4.4 Действие ALCJTAT.3.1E
ИСО/МЭК 15408-3 А1_С_ТАТ.3.1С: Все инструментальные средства разработки, используемые
для реализации, должны быть полностью определены.
12.8.4.4.1 Шаг оценивания ALC_TAT.3-1
Оценщик должен исследовать представленную документацию инструментальных средств разработ
ки. чтобы сделать заключение, все ли инструментальные средства разработки полностью определены.
Например, полностью определенными могут считаться те языки, компиляторы или САПР, кото
рые соответствуют общепризнанным стандартам, таким как стандарты ИСО. Полностью определенным
языком является тот, для которого имеется четкое и полное описание его синтаксиса и детальное опи
сание семантики кахщой из его конструкций.
На этом уровнедоверия документация инструментальных средств разработки, используемых суб
подрядчиками 00. должна быть также исследована оценщиком.
ИСО/МЭК 15408-3 ALC_TAT.3.2C: В документации по инструментальным средствамразработки
должны быть однозначно определены значения всех конструкций языка, используемых в реализации.
12.8.4.4.2 Шаг оценивания ALC_TAT.3-2
Оценщик должен исследовать документацию каждого инструментального средства, чтобы сде
лать заключение, однозначно ли определены в ней значения всех конструкций (формулировок, услов
ностей. директив), используемых в представлении реализации.
В документации инструментальных средств разработки (например в спецификациях языка про
граммирования и в руководствах пользователя) следует охватить все конструкции, используемые в
представлении реализации 00. и для каждой такой конструкции следует предоставить четкое иодно
значное определение предназначения и результата выполнения этой конструкции. Эта работа может
быть выполнена в сочетании с исследованием оценщиком представления реализации, выполняемого в
рамках подвида деятельности ADVJMP. Главные усилия оценщика должны быть направлены на вы
яснение того, действительноли документациядостаточно яснадля понимания представления реализа
ции. Например, в документации не следует предполагать, что читатель является экспертом по исполь
зуемому языку программирования.
Ссылка на использование документированного стандарта — приемлемый подход для удовлетво
рения этого требования, при условии, чтоданный стандарт доступен для оценщика. Любые отклонения
от этого стандарта следует документировать.
Важная проверка состоит в том. может ли оценщик понять исходный код ОО при выполнении ана
лиза исходного кода, включенного в подвид деятельности «Представление реализации» (ADVJMP).
Несмотря на это. для поиска проблемных областей может использоваться следующий проверочный
список;
a) на естественном языке такие фразы, как «цель данной конструкции не определена», и такие тер
мины. как «зависит от реализации» или «ошибочный» могут указывать на плохо определенные области;
b
) использование псевдонимов (альтернативных имен, которые позволяют ссылаться на одну
и ту же часть памяти различными способами) — распространенный источник возникновения проблемы
неоднозначности;
c) обработка исключительных событий (например что должно происходить после исчерпания
свободной памяти или переполнения стека) часто плохо определена.
Большинство широко используемых языков, как бы хорошо они не были разработаны, могут иметь
некоторые проблемные конструкции. Если язык реализации в целом хорошо определен, но все же су
ществуют некоторые проблемные конструкции, то до окончания исследования исходных текстов следу ет
вынести неокончательный вердикт.
149