ГОСТ Р ИСО/МЭК 15408-3-2013
13.7.5.2
Элементы содержания и представления свидетельств
13.7.5.2.1
ALC_TAT.2.1C
Все инструментальные средства разработки, используемые для реализации,
должны быть полностью определены.
13.7.5.2.2ALCJTAT.2.2C
В документации по инструментальным средствам разработки должны быть
однозначно определены значения всех конструкций языка, используемых в
реализации.
13.7.5.2.3ALCJAT.2.3C
В документации по инструментальным средствам разработки должны быть
однозначно определены значения всех опций, обусловленных реализацией.
13.7.5.3
Элементы действий оценщика
13.7.5.3.1
ALCJTAT.2.1E
Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
13.7.5.3.2ALCTAT.2.2E
Оценщикдолжен подтвердить факт применения стандартов реализации.
13.7.6 А1_С_ТАТ.З Соответствие всех частей 00 стандартам реализации
Зависимости: ADVJMP.1 Представление реализации ФБО
13.7.6.1
Элементы действий разработчика
13.7.6.1.1
ALC_TAT.3.1D
Разработчик должен идентифицировать каждое инструментальное средство,
используемое для разработки ОО.
13.7.6.1.2ALCJTAT.3.2D
Разработчик должен задокументировать выбранные опции инструментальных
средств разработки, обусловленные реализацией.
13.7.6.1.3ALC TAT.3.3D
171