ADV_TDS.2.4C

ADV_TDS.2.3C

ADV_TDS.2.2C

ADV_TDS.2.1C

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

ADV_TDS.2.2D

ADV_TDS.2.1D

Элементы действий разработчика

ADV_TDS.2 Архитектурный проект

ADV_TDS.1.2E

ADV_TDS.1.1E

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

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

ADV_TDS.1.6C

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

ADV_TDS.1.5C

ADV_TDS.1.4C

ADV_TDS.1.3C

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

ADV_TDS.1.1C

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

ADV_TDS.1.1C

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

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

ADV_TDS.1.2D

Разработчик должен представить проект ОО.

ADV_TDS.1.1D

Элементы действий разработчика

ADV_TDS.1 Базовый проект

Зависимости: ADV_FSP.2 Функциональная спецификация, обеспечивающая безопасность

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

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

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

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

Зависимости: ADV_FSP.3 Функциональная спецификация с полной аннотацией

Разработчик должен представить проект ОО.

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

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

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

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

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

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