ALC_TAT.3 Соответствие всех частей ОО стандартам реализации

Зависимости
ADV_IMP.1 Подмножество реализации ФБО
Элементы действий разработчика
ALC_TAT.3.1D	Разработчик должен идентифицировать инструментальные средства разработки ОО.
ALC_TAT.3.2D	Разработчик должен задокументировать выбранные опции инструментальных средств разработки, зависящие от реализации.
ALC_TAT.3.3D	Разработчик должен привести описание стандартов реализации для всех частей ОО.
Элементы содержания и представления свидетельств
ALC_TAT.3.1C	Все инструментальные средства разработки, используемые для реализации, должны быть полностью определены.
ALC_TAT.3.2C	Документация инструментальных средств разработки должна однозначно определить значения всех конструкций языка, используемых в реализации.
ALC_TAT.3.3C	Документация инструментальных средств разработки должна однозначно определить значения всех опций, зависящих от реализации.
Элементы действий оценщика
ALC_TAT.3.1E	Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
ALC_TAT.3.2E	Оценщик должен подтвердить, что стандарты реализации применялись.