ADV_TDS.6.2E

ADV_TDS.6.1E

Элементы действий оценщика

Доказательство соответствия между формальными спецификациями подсистем ФБО и функциональной спецификацией должно показать, что все режимы функционирования, описанные в проекте ОО, являются правильным и полным уточнением ИФБО, которые их инициируют.

ADV_TDS.6.9C

ADV_TDS.6.9C

В формальной спецификации подсистем ФБО должно быть представлено описание ФБО в формальном виде, дополненное, при необходимости, полуформальным пояснительным текстом.

ADV_TDS.6.8C

ADV_TDS.6.7C

ADV_TDS.6.6C

ADV_TDS.6.5C

ADV_TDS.6.4C

ADV_TDS.6.3C

ADV_TDS.6.2C

ADV_TDS.6.1C

Элементы содержания и представления свидетельств

Разработчик должен представить доказательство соответствия между формальными спецификациями подсистем ФБО и функциональной спецификацией.

ADV_TDS.6.4D

Разработчик должен представить формальную спецификацию подсистем ФБО.

ADV_TDS.6.3D

В проекте должно быть описание структуры ОО на уровне подсистем.

В проекте должно быть представлено описание ФБО на уровне модулей с указанием для каждого модуля, является он обеспечивающим выполнение ФТБ, способствующим выполнению ФТБ или не влияющим на выполнение ФТБ.

В проекте должны быть определены все подсистемы ФБО.

В проекте должно быть представлено полуформальное описание каждой подсистемы ФБО, дополненное, при необходимости, пояснительным текстом.

В проекте должно быть представлено описание взаимодействий между всеми подсистемами ФБО.

В проекте должно быть представлено соответствие подсистем ФБО модулям ФБО.

В проекте должно быть представлено описание каждого модуля в полуформальном виде с указанием его назначения, взаимодействия, интерфейсов, возвращаемых значений от этих интерфейсов и вызываемых интерфейсов к другим модулям, дополненное, при необходимости, полуформальным пояснительным текстом.

В отображении должно быть показано, что все ИФБО прослеживаются к режиму функционирования, описанному в проекте ОО, который они инициируют.

Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.

Оценщик должен сделать заключение о том, что проект является точным и полным представлением всех ФТБ.

9 Класс AGD: Руководства

Класс «Руководства» содержит требования к документации руководств для всех ролей пользователей. Для безопасной подготовки и безопасного функционирования ОО необходимо описать все существенные аспекты для безопасного управления ОО. В классе также учитывается возможность непреднамеренного неправильного конфигурирования или управления ОО.

Во многих случаях будет приемлемым, чтобы руководство представлялось в отдельных документах по подготовке и эксплуатации ОО, или даже отдельно для различных ролей пользователей таких, как конечные пользователи, администраторы, программисты приложений, использующие интерфейсы программных или аппаратных средств и т.п.

Класс «Руководства» разделяется на два семейства, которые связаны с руководством пользователя по подготовке к эксплуатации ОО (что должно быть сделано, чтобы преобразовать поставленный ОО к его оцененной конфигурации в среде функционирования в соответствии с описанием ЗБ) и с эксплуатационным руководством пользователя (что должно быть сделано во время функционирования ОО в его оцененной конфигурации).

На рисунке 12 показаны семейства этого класса и иерархия компонентов внутри семейств.

Рисунок 12 – AGD: Декомпозиция класса «Руководства»

Дата добавления: 2014-01-15