ADV_TDS.6.2D

ADV_TDS.6.1D

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

ADV_TDS.6 Полный полуформальный модульный проект с представлением формального проекта верхнего уровня

ADV_TDS.5.2E

ADV_TDS.5.1E

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

ADV_TDS.5.8C

ADV_TDS.5.7C

ADV_TDS.5.6C

ADV_TDS.5.5C

ADV_TDS.5.4C

ADV_TDS.5.3C

ADV_TDS.5.2C

ADV_TDS.5.1C

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

ADV_TDS.5.2D

ADV_TDS.5.1D

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

ADV_TDS.5 Полный полуформальный модульный проект

ADV_TDS.4.2E

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

Зависимости: ADV_FSP.5 Полная полуформальная функциональная спецификация с дополнительной информацией об ошибках

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

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

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

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

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

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

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

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

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

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

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

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

Зависимости: ADV_FSP.6 Полная полуформальная функциональная спецификация с дополнительной формальной спецификацией

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

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

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