ГОСТ Р ИСО/МЭК 15408-3-2013
13.7.4.2
Элементы содержания и представления свидетельств
13.7.4.2.1
ALCJTAT.1.1C
Всеинструментальныесредстваразработки,используемыедля
реализации, должны быть полностью определены.
13.7.4.2.2А1_С_ТАТ.1.2С
В документации по инструментальным средствам разработки должны
бытьоднозначно определенызначениявсехязыковыхконструкций,
используемых в реализации.
13.7.4.2.3А1_С_ТАТ.1.3С
В документации по инструментальным средствам разработки должны
бытьоднозначно определенызначениявсехопций,обусловленных
реализацией.
13.7.4.3
Элементы действий оценщика
13.7.4.3.1
ALC_TAT.1.1E
Оценщикдолженподтвердить,чтопредставленнаяинформация
удовлетворяетвсемтребованиямксодержаниюипредставлению
свидетельств.
13.7.5 А1_С_ТАТ.2 Соответствие стандартам реализации
Зависимости: ADVJMP.1 Подмножество реализации ФБО
13.7.5.1
Элементы действий разработчика
13.7.5.1.1
ALC_TAT.2.1D
Разработчик должен идентифицировать каждое инструментальное средство,
используемое для разработки 00.
13.7.5.1.2ALC_TAT.2.2D
Разработчик должен задокументировать выбранные опции инструментальных
средств разработки, обусловленные реализацией.
13.7.5.1.3ALC_TAT.2.3D
Разработчик должен привести описание применявшихся стандартов
реализации.
170