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