double arrow
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 Оценщик должен подтвердить, что стандарты реализации применялись.
     





Сейчас читают про: