Компоненты этого семейства

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

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

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

В компоненте ADV_FSP.3 «Функциональная спецификация с полной аннотацией» должен, в дополнение информации, требуемой в компоненте ADV_FSP.2, предоставить достаточно информации о действиях, способствующих выполнению ФТБ и не влияющих на выполнение ФТБ, чтобы показать, что они не являются обеспечивающими выполнение ФТБ. Кроме того разработчик должен задокументировать все явные сообщения об ошибках, возникающие при обращении к ИФБО, обеспечивающим выполнение ФТБ.

В компоненте ADV_FSP.4 «Полная функциональная спецификация» должны быть описаны на одном уровне детализации все ИФБО независимо от того, являются ли они обеспечивающими выполнение ФТБ, способствующими выполнению ФТБ или не влияющими на выполнение ФТБ, включая все явные сообщения об ошибках.

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

В компоненте ADV_FSP.6 «Полная полуформальная функциональная спецификация с дополнительной формальной спецификацией» в дополнение к информации, требуемой компонентом ADV_FSP.5, включаются все сообщения об ошибках. Разработчик должен также представить формальное описание ИФБО. Это дает альтернативное представление ИФБО, которое может выявить несоответствия или неполноту спецификации.

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