ADV_TDS.4.1E

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

ADV_TDS.4.10C

ADV_TDS.4.9C

ADV_TDS.4.8C

ADV_TDS.4.7C

ADV_TDS.4.6C

ADV_TDS.4.5C

ADV_TDS.4.4C

ADV_TDS.4.3C

ADV_TDS.4.2C

ADV_TDS.4.1C

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

ADV_TDS.4.2D

ADV_TDS.4.1D

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

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

ADV_TDS.3.2E

ADV_TDS.3.1E

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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