ГОСТ Р ИСО/МЭК 18045—2013
Идентификация ИФБО — необходимая предпосылкадля всех действийданного подвида деятель
ности. Для идентификации же ИФБО должны быть идентифицированы ФБО (в рамках шагов оценива
ния семейства ADV_TDS «Проект ОО»), Эта деятельность может быть проведена на высоком уровне,
чтобы удостовериться, что не упущены крупные группы интерфейсов (сетевых протоколов, аппаратных
средств, файлов конфигурации), или на низком уровне — как часть оценки функциональной специфи
кации.
При проведении данного шага оценивания оценщикделает заключение о том. что все части ФБО
описаны в терминах интерфейсов, перечисленных в функциональной спецификации. Для всех частей
ФБО следует иметь соответствующее описание интерфейсов или. при отсутствии соответствующих ин
терфейсов для части ФБО, оценщикделает заключение, что такое отсутствие допустимо и приемлемо.
ИСО/МЭК 15408-3 ADV_FSP.5.2C: Функциональная спецификация должна содержать полуфор
мальное описание ИФБО.
10.4.5.3.2 Шаг оценивания ADV_FSP.5-2
Оценщикдолжен исследовать функциональную спецификацию, чтобы сделать заключение о том,
что она представлена в полуформальном стиле описания.
Полуформальное описание характеризуется стандартизированным форматом с четким синтак
сисом. уменьшающим двусмысленность, которая может возникнуть в неформальных описаниях. Так
как цель полуформального описания состоит в том. чтобы повысить способность читателя понятьдан
ное описание, целесообразно, хотя и не обязательно, использовать определенные структурированные
методы представления (псевдокод, блок-схемы, графики).
В целях этой деятельности оценщику следует удостовериться, что описания интерфейсов отфор
матированы в структурированной, последовательной манере и используют общую терминологию. По
луформальное описание интерфейсов также подразумевает, что уровень детализации представления
для интерфейсов в основном согласован для всех ИФБО. Для функциональной спецификации при
емлемо ссылаться на внешние спецификации для некоторых частей интерфейса, если эти внешние
спецификации также представлены в полуформальном стиле описания.
ИСО/МЭК 15408-3 ADV_FSP.5.3C: В функциональной спецификации должны быть описаны назна
чение и метод использования всех ИФБО.
10.4.5.3.3 Шаг оценивания ADV_FSP.5-3
Оценщик должен исследовать функциональную спецификацию, чтобы сделать заключение о том.
что в ней указано назначение каждого ИФБО.
Назначение ИФБО — это общее утверждение, кратко описывающее функциональные возмож
ности. обеспеченные интерфейсом. Не подразумевается, что оно не должно быть полным изложени ем
всех действий и результатов, относящихся к интерфейсу, а. скорее, оно должно помочь читателю
составить общее представление о предполагаемом использовании данного интерфейса. Оценщику
следует не только сделать заключение о том. что такое назначение существует, но и что оно точно от
ражает ИФБО. с учетом другой информации об интерфейсе, такой как описание действий и сообщений об
ошибках.
10.4.5.3.4 Шаг оценивания ADV_FSP.5-4
Оценщик должен исследовать функциональную спецификацию, чтобы сделать заключение о том,
что в ней содержится описание метода использования для каждого ИФБО.
Метод использования для ИФБО предоставляет краткую информацию по поводу того, каким об
разом в результате управления интерфейсом вызывают действия и получают результаты, связанные с
ИФБО. Оценщику следует посредством чтения материалов в функциональной спецификации вынести
заключение о том, как использовать каждый интерфейс. Это не обязательно означает, что для каж
дого ИФБО нужен отдельный метод использования, поскольку можно описать в общем, как происхо
дит системный вызов ядра, а затем идентифицировать каждый интерфейс, используя общий для всех
интерфейсов стиль. Различные типы интерфейсов требуют различных спецификаций по методу ис
пользования. У интерфейсов программирования приложений, сетевых протоколов, параметров систем
ной конфигурации и шины аппаратных средств абсолютно разные методы использования, и это сле
дует учитывать разработчику при разработке функциональной спецификации, так же. как и оценщику
при проведении её оценки.
Для администрирующих интерфейсов, функции которыхдокументированы как недоступные недо
веренным пользователям, оценщик удостоверяется в том, что метод, благодаря которому данные функ
ции являются недоступными таким пользователям, описан в функциональной спецификации. Следует
отметить, что разработчику необходимо протестировать эту недоступность при проведении испытаний.
72