ALC_TAT.1.2C

ALC_TAT.1.1C

Элементы содержания и представления

ALC_TAT.1.2D

ALC_TAT.1.1D

Элементы действий разработчика

ALC_TAT.1 Вполне определенные инструментальные средства разработки

Замечания по применению

Имеется требование к вполне определенным инструментальным средствам разработки. Это инструментальные средства, которые ясно и полностью описаны. Например, языки программирования и системы автоматизации проектирования (САПР), которые основаны на стандартах, изданных органами стандартизации, рассматриваются как вполне определенные. Самостоятельно разработанные инструментальные средства нуждаются в дополнительном исследовании для выяснения того, являются ли они вполне определенными.

Требование в элементе ALC_TAT.1.2C применяют, главным образом, к языкам программирования для обеспечения однозначности всех операторов исходного кода.

В компонентах ALC_TAT.2 и ALC_TAT.3 рекомендации по реализации могут быть приняты в качестве стандартов реализации, если они были одобрены группой экспертов (например, учеными-экспертами, органами стандартизации). Стандарты реализации обычно общедоступны и являются принятыми на практике в определенных сферах, но специфичные для разработчика рекомендации по реализации также могут быть приняты в качестве стандарта; акцент при этом делается на компетентности разработчика.

В данном семействе различают стандарты реализации, которые применяются разработчиком (ALC_TAT.2.3D), и стандарты реализации для «всех частей ОО» (ALC_TAT.3.3D), которые включают программные, аппаратные или программно-аппаратные средства сторонних разработчиков. Список элементов конфигурации, представленный в семействе «Охват УК» (ALC_CMS), предъявляет требования к тому, чтобы для каждого элемента конфигурации, значимого для ФБО, было указано, был ли он создан разработчиком ОО или сторонними разработчиками.

Зависимости: ADV_IMP.1 " Представление реализации ФБО"

Разработчик должен предоставить документацию, определяющую каждое инструментальное средство разработки, использованное для создания ОО.

Разработчик должен задокументировать и предоставить выбранные опции, влияющие на реализацию, для каждого инструментального средства разработки.

Все инструментальные средства разработки, используемые для реализации, должны быть вполне определены.

Документация всех инструментальных средств разработки должна однозначно определять значения всех операторов, а также всех соглашений и директив, использованных в реализации.