ГОСТ Р ИСО/МЭК 15408-3-2002
Компоненты в этом семействе ранжированы на основе повышения требований к описанию и
области применения стандартов реализации и документации по опциям, зависимым от реализации.
Замечания по применению
Полностью определенными называют инструментальные средства разработки, которые примени
мы без необходимости подробных дополнительных пояснений. Например, принято считать полностью
определенными языки программирования и системы автоматизации проектирования (САПР), которые
основаны на стандартах, изданных органами стандартизации.
В данном семействе различают стандарты реализации, которые применялись разработчиком
(ALC_TAT.2.3D), и стандарты реализации для «всехчастей 00* (ALC_TAT.3.3D), кудадополнитель
но включены программные, аппаратные или программно-аппаратные средства сторонних разработчи
ков.
Требование вALC_TAT.1.2C применяют главным образом к языкам программирования для обес
печения однозначности всехоператоров исходного текста.
i
1
А1,С_ТЛ’Г.I Полностью определенные инструментальные средства разработки
Зависимости
ADV_IMP. 1 Подмножество реализации ФБО
Элементы действий разработчика
ALC_TAT.I.II) Разработчик должен идентифицировать инструментальные средства разработки
ОО.
ALC_TAT.1.2D Разработчик должен задоку
m
ci
г ироватьвыбранныеопции ннстр>ме
1
гта
1
Ыых средств
разработки, зависящие от реатизации.
Элементы содержания и представления свидетельств
ALC_TAT. 1.IC Все инструментальные средства разработки, используемыедля реатизации, долж
ны быть полностью определены.
ALC_TAT.I.2C Документация инструментальных средств разработки должна однозначно опреде
лить значения всех конструкций языков, используемых в реатизации.
ALC_TAT. I.3C Документация инструментальных средств разработки должна однозначно опреде
лить значения всех опций, зависящих от реализации.
Элемезгтыдействий оценщика
ALC_TAT.1.1E Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ALC_TAT,2 Соответствие стандартам реатизации
Зависимости
ADV IМР.I Подмножество реализации ФБО
Элементы действий разработчика
ALC_TAT.2.1D Разработчик должен идентифицировать инструментальные средства разработки
ОО.
ALC_TAT.2.2D Разработчик должен задокументировать выбранные опции инструме
1
ггалы
1
ых
средств разработки, зависящие от реализации.
ALC_TAT.2.3D Разработчик должен привести описание применявшихся стандартов реализации.
Элементы содержания и представления свидетельств
ALC_TAT.2.1C Все инструментальные средства разработки, используемые для реализации, дол
жны быть полностью определены.
ALC_TAT.2.2C Документация инструментальных средств разработки должнаоднозначно опреде
лить значения всех конструкций языка, используемых в реализации.
ALC_TAT.2.3C Документация инструментальных средств разработки должна однозначно опреде
лить значения всех опций, зависящихотреализации.
Элементы действий оценщика
ALC_TAT.2.1E Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ALC_TAT.2.2E Оценщик доджей подтвердить, что стандарты реализации применялись.
ALC_TAT.3 Соответствие всех частей ОО стандартам реализации
Зависимости
ADV IMP. I Подмножество реатизации ФБО
Элементы действий разработчика
ALC_TAT.3.1D Разработчик доджем идентифицировать инструментальные средства разработки
ОО.
74