ГОСТ Р ИСО/МЭК 15408-3-2013
поддерживающих выполнение ФТБ. Для обеспечения некоторого доверия тому, что
«важные» аспекты ФБО верно характеризуют все ИФБО, от разработчика требуется
представить информацию о назначении и методе использования, а также о
параметрах поддерживающих и осуществляющих выполнение ФТБ интерфейсов.
ВкомпонентеADV_FSP.2«Детализациявопросовбезопасностив
функциональнойспецификации»отразработчикатребуетсяпредставить
информацию о назначении и методах использования, а также параметры и описание
параметров для всех ИФБО. Кроме того, для ИФБО. обеспечивающих безопасность,
разработчик обязан описать обеспечивающие безопасность действия и сообщения о
непосредственных ошибках.
ВкомпонентеADV_FSP.3«Функциональнаяспецификациясполной
аннотацией» разработчик должен, в дополнение к информации, требуемой
компонентом ADV_FSP.2, предоставить в достаточном объеме информацию о
действиях, поддерживающих выполнение ФТБ или не влияющих на их выполнение
длятого,чтобы продемонстрировать,чтоэти действияне являются
осуществляющими выполнениеФТБ. Кроме того,разработчик должен
задокументировать все сообщения о непосредственных ошибках, возникающих в
результате вызова ИФБО. осуществляющих выполнение ФТБ.
В компоненте ADV_FSP.4 «Полная функциональная спецификация» описания
всех ИФБО - осуществляющих, поддерживающих, не влияющих на выполнение ФТБ
- должны быть представлены в равной степени детализации, включая сообщения
обо всех непосредственных ошибках.
ВкомпонентеADV_FSP.5«Полнаяполуформальнаяфункциональная
спецификация с дополнительной информацией об ошибках» в описания ИФБО
также включается информация об ошибках, возникающих не в результате вызова
ИФБО.
В компоненте ADV_FSP.6«Полная полуформальнаяфункциональная
спецификация с дополнительной формальной спецификацией» в описания, помимо
информации, требуемой компонентом ADV_FSP.5, включаются все остальные
сообщенияобошибках.Крометого,разработчик должендополнительно
предоставить формальное описание ИФБО. Таким образом обеспечивается
альтернативноепредставлениеИФБО,котороеможетпомочьвыявить
несоответствия или неполноту спецификации.
89