ГОСТРИСО/МЭК 15408-3-2002
Болес того, требования генерации применимы только к тем ОО, которые лают возможность
генерировать составляющие вводимого в эксплуатацию ОО из их представления реализации.
Процедуры установки, генерации и запуска могут быть либо приведены в отдельном документе,
либо включены в другое административное руководство. Требования в этом семействе доверия пред
ставлены отдельно от требований семейства AGD_ADN из-за нечастого, возможно, одноразового
использования процедур установки, генерации и запуска.
ADO_IGS.l Процедуры установки, генерации и запуска
Зависимости
AGD_ADM.l Руководство администратора
Элементы действий разработчика
ADO_IGS.l.lD Разработчик должен задокументировать процедуры, необходимыедля безопас!Юй
установки, генерации и запуска ОО.
Элементы содержания и предстаатения свидетельств
AD()_IGS.I.1C Документация должна содержать описание последователыюсгн действий, необхо
димыхдля безопасной установки, генерации и запуска (X).
Элементы действий оненшика
ADO_lGS.I.IE Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ADO_IGS. 1.2Е Оценщик должен сделать независимое заключение, что процедурыустановки, гене
рации и запуска приводят к безопасной конфигурации.
ADO_IGS.2 Журнал регистрации генерации
Зависимости
AGD ADM.1 Руководство администратора
Элементы действий разработчика
ADO_IGS.2.1D Разработчик должен задокументировать процедуры, необходимые для безопас
ной установки, генерации н запуска ОО.
Элементы содержания и представления свидетельств
ADO_IGS.2.1CДокументация должна содержать описание последовательностидействий, необ
ходимых для безопасной установки, генерации и запуска ОО.
ADO_IGS.2.2C Документация должна содержать описание процедур, позволяющих таким образом
создать журнал регистрации, содержащий применявшиеся опции генерации (X),
чтобы можно было точно определить, как и когда ОО был сгенерирован.
Элементы действий оиеншика
ADO_IGS.2.IE Оценщикдолжен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и предстаатенню свидетельств.
ADO_IGS.2.2E Оценщик должен сделать независимое заключение, что процедуры установки,
генерации и запуска приводят к безопасной конфигурации.
10 Класс ADV. Разработка
Класс «Разработка* содержит четыре семейства требований для предстатения ФБО на различных
уровнях абстракции —от функционального интерфейсадо представления реализации. Класс «Разра
ботка» включает в себя также семейство требований для отображения соответствия между различными
представлениями ФБО, требуя, в конечном счете, демонстрацию соответствия от наименее абстракт
ного представления через все промежуточные представления до краткой спецификации ОО. содержа
щейся вЗБ. Кроме того, имеется семейство требований для модели ИБО и для отображения соответ
ствия между ПБО. моделью ПБО и функциональной спецификацией. И, наконец, имеется семейство
требований к внутренней структуре ФБО. которое распространяется на такие аспекты, как модуль
ность. разбиение на уровни и минимизация сложности.
На рисунке 10.1 показаны семейства этого класса и иерархия компонентов всемействах.
46