ALC_TAT.3.2C

ALC_TAT.3.1C

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

ALC_TAT.3.3D

ALC_TAT.3.2D

ALC_TAT.3.1D

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

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

ALC_TAT.2.2E

ALC_TAT.2.1E

Элементы действий оценщика

ALC_TAT.2.3C

ALC_TAT.2.2C

ALC_TAT.2.1C

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

ALC_TAT.2.3D

ALC_TAT.2.2D

ALC_TAT.2.1D

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

ALC_TAT.2 Соответствие стандартам реализации

ALC_TAT.1.1E

Элементы действий оценщика

ALC_TAT.1.3C

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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