ГОСТ Р ИСО/МЭК 15408-3 — 2008
В данном семействе различают стандарты реализации, которые применялись разработчиком
(ALC_TAT.2.3D). и стандарты реализации для «всех частей 00» (ALC_TAT.3.3D). вкоторые дополнительно
включены программные, аппаратные или программно-аппаратные средства сторонних разработчиков.
Требование вА1С_ТАТ. 1.20 применяют, главным образом, кязыкам программирования для обеспе
ченияоднозначности всех операторов исходного текста.
16.4.4 ALC_TAT.1 Полностью определенные инструментальные средства разработки
Зависимости: ADVJMP.1 Подмножество реализации ФБО
16.4.4.1 Элементы действий разработчика
16.4.4.1.1 ALC_TAT.1.1D
Разработчикдолжен идентифицировать инструментальные средства разработки 00.
16.4.4.1.2 ALCJAT.1.2D
Разработчик должен задокументировать выбранные опции инструментальных средств раз
работки, обусловленные реализацией.
16.4.4.2 Элементы содержания и представления свидетельств
16.4.4.2.1 ALCJAT.1.1С
Все инструментальные средства разработки, используемые для реализации, должны быть
полностью определены.
16.4.4.2.2 ALCJAT.1.2С
Документация инструментальных средств разработки должна однозначно определить значе
ния всех конструкций языка, используемых в реализации.
16.4.4.2.3 ALC_TAT.1.3C
Документация инструментальных средств разработки должна однозначно определить значе
ния всех опций, обусловленных реализацией.
16.4.4.3 Элементы действий оценщика
16.4.4.3.1 ALC_TAT.1.1E
Оценщик должен подтвердить, что представленная информация соответствует всем требо
ваниям к содержанию и представлению свидетельств.
16.4.5 ALC_TAT.2 Соответствие стандартам реализации
Зависимости: ADVJMP.1 Подмножество реализации ФБО
16.4.5.1 Элементы действий разработчика
16.4.5.1.1 ALCJAT.2.1D
Разработчик должен идентифицировать инструментальные средства разработки ОО.
16.4.5.1.2 ALCJAT.2.2D
Разработчик должен задокументировать выбранные опции инструментальных средств разработки,
обусловленныереализацией.
16.4.5.1.3ALC_TAT.2.3D
Разработчик должен привести описание применявшихся стандартов реализации.
16.4.5.2 Элементы содержания и представления свидетельств
16.4.5.2.1 ALCJAT.2.1C
Все инструментальные средства разработки, используемыедля реализации, должны быть полнос
тьюопределены.
16.4.5.2.2 ALCJAT.2.2C
Документация инструментальных средств разработки должна однозначно определитьзначения всех
конструкций языка, используемых в реализации.
16.4.5.2.3 ALCJAT.2.3C
Документация инструментальных средств разработки должна однозначно определитьзначения всех
опций, обусловленных реализацией.
16.4.5.3 Элементы действийоценщика
16.4.5.3.1 ALCJAT.2.1E
Оценщик должен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
16.4.5.3.2 ALC_TAT.2.2E
Оценщик должен подтвердить, что стандарты реализации применялись.
16.4.6 ALC_TAT.3 Соответствие всех частей 0 0 стандартам реализации
Зависимости: ADVJMP.1 Подмножество реализации ФБО
85