ГОСТ Р ИСО/МЭК18045— 2008
предусмотрено протоколирование внесения изменений в компоненты, то оценщик будет менее уверен,
что в ОО не будут внесены ошибки. Оценщик может достичь большей уверенности, сравнивая описание
модели со своим пониманием процесса разработки, полученным при выполнении других своихдействий,
относящихся к анализу процесса разработки ОО (например, тех действий, на которые распространяется
вид деятельности ACM). Выявленным недостаткам в модели жизненного цикла следует уделить особое
внимание, если можно ожидать, что они приведут к случайному или преднамеренному внесению
ошибок в ОО.
ИСО/МЭК 15408 не предписывает какой-либо конкретный подход кразработке; следует оценить каж
дый подход по существу. Например, такие подходы к проектированию, как спиральный, быстрого макети
рования или каскадный, могут быть использованы для создания высококачественного ОО. если они приме
нимы в контролируемой среде.
13.8.3 Оценка инструментальных средств и методов (ALC_TAT.1)
13.8.3.1 Цели
Цельданного подвидадеятельности— сделать заключение, использовал ли разработчик полностью
определенные инструментальные средства разработки [например, языки программирования или системы
автоматизированного проектирования (САПР)], которые дают непротиворечивые и предсказуемые ре
зультаты.
13.8.3.2 Исходные данные
Свидетельствами оценкидля этого подвида деятельности являются:
a)документация инструментальных средств разработки;
b
) подмножество представления реализации.
13.8.3.3 Замечания по применению
Эта работа может быть выполнена в сочетании с подвидом деятельности ADVJMP.1 «Подмножество
реализации ФБО». а именно, в части, касающейся определения используемых характеристик инструмен
тальных средств, которые влияют на объектный код (например, опции компиляции).
13.8.3.4 Действие ALC_TAT.1.1Е
13.8.3.4.1 Шаг оценивания 4:А1_С_ТАТ.1-1
ИСО/МЭК 15408-3 ALC_TAT.1.1С: Все инструментальные средстваразработки, используемые для
реализации, должны быть полностью определены.
Оценщикдолжен исследовать представленную документацию инструментальных средств разработ
ки. чтобы сделать заключение, все ли инструментальные средства разработки полностью определены.
Например, полностьюопределенными можно считать те языки, компиляторы или САПР, которые соот
ветствуют общепризнанным стандартам, таким какстандарты ИСО. Полностью определенным языком яв
ляется тот. для которого имеется четкое и полное описаниеегосинтаксиса и детальное описаниесемантики
каждой из его конструкций.
13.8.3.4.2 Шаг оценивания 4:ALC_TAT.1-2
ИСО/МЭК 15408-3 А!_С_ТАТ.1.2С:Документация инструментальных средств разработки должна
однозначно определить значения всех конструкций языка, используемых в реализации.
Оценщик должен исследовать документацию инструментальных средств, чтобы сделать заключе
ние. однозначно ли определены в ней значения всех конструкций, используемых в представлении
реализации.
Вдокументации инструментальных средств разработки (например, вспецификациях языка програм
мирования и в руководствах пользователя) должны быть охвачены все конструкции, используемые в пред
ставлении реализации ОО. и для каждой такой конструкции предоставлено четкое и однозначное определе
ние предназначения и результата выполнения этой конструкции. Эта работа может быть выполнена в соче
тании с исследованием оценщиком представления реализации, выполняемого в рамках подвидадеятель
ности ADVJMP.1 «Подмножество реализации ФБО». Главные усилия оценщика должны быть направлены
на выяснение того, действительнолидокументация достаточно яснадля понимания представления реали
зации. Например, вдокументации не следует предполагать, что пользователь является экспертом по при
мененному языку программирования.
Ссылка на использование документированного стандарта — приемлемый подходдля удовлетворе
ния этого требования при условии, что данный стандарт доступен для оценщика. Любые отклонения от
этого стандарта должны быть задокументированы.
Важная проверка состоит в том. может ли оценщик понять исходный код ОО при выполнении
анализа исходного кода, включенного в подвид деятельности «Представление реализации» (ADVJMP).
172