ГОСТ Р ИСО/МЭК 15408-3-2013
выносятся на основании особых технологий, используемых в 00. Например,
программное обеспечение скорее всего будет характеризовано как имеющее
полностью определенную структуру в случае, если в нем будут представлены
качестваи характеристики,установленные дляпрограммногообеспечения
техническими дисциплинами и их стандартами. Компоненты данного семейства
требуют идентификации стандартов, согласно которым будут оцениваться качества,
характеризующие полноту определения и отсутствие избыточной сложности.
11.4.4ADVJNT.1 ПодмножествоФБОсполностьюопределенной
внутренней структурой
Зависимости:ADVJMP.1 Представление реализации ФБО
ADV TDS.3 Базовый модульный проект
ALC ТАТ.1 Полностью определенные инструментальные
средства разработки
11.4.4.1Цели
Цельданногокомпонентасостоитвпредоставлениивозможности
предъявления требований к тому, чтобы некоторые части ФБО имели полностью
определенную внутреннюю структуру. Компонент предназначен для того, чтобы все
ФБО былиспроектированыи реализованы с использованиемправильных
технических принципов, а анализ выполнялся только в отношении некоторого
конкретного подмножества ФБО.
11.4.4.2Замечания по применению
В данном компоненте предъявляются требования к разработчику ПЗ или ЗБ по
предоставлению информации о назначении подмножества ФБО. Зто подмножество
может быть определено на любом уровне представления:
a) на уровне структурных элементов ФБО, как определено в проекте ОО
(например: «Разработчик должен спроектировать и реализовать подсистему аудита
с полностью определенной внутренней структурой»);
b
) на уровне реализации (например: «Разработчик должен спроектировать и
реализовать файлы encrypt.c и decrypt.с таким образом, чтобы они имели полностью
определенную внутреннюю структуру» или «Разработчик должен спроектировать и
реализовать интегральную микросхему 6227 так, чтобы у неё имелась полностью
определенная внутренняя структура»).
104