ADV_FSP.6.2E

ADV_FSP.6.1E

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

ADV_FSP.6.10C

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

ADV_FSP.6.9C

ADV_FSP.6.8C

ADV_FSP.6.7C

ADV_FSP.6.6C

ADV_FSP.6.5C

ADV_FSP.6.4C

ADV_FSP.6.3C

ADV_FSP.6.2C

ADV_FSP.6.1C

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

ADV_FSP.6.3D

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

ADV_FSP.6.2D

ADV_FSP.6.1D

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

Полная полуформальная функциональная спецификация с дополнительной формальной спецификацией

ADV_FSP.5.2E

ADV_FSP.5.1E

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

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

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

Зависимости: ADV_TDS.1 Базовый проект

ADV_IMP.1 Представление реализации ФБО

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

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

Функциональная спецификация должна полностью представлять ФБО.

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

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

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

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

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

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

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

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

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

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

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