ГОСТ Р ИСО/МЭК 18045—2013
При проведении данного шага оценивания оценщикделает заключение о том, что все части ФБО
описаны в терминах интерфейсов, перечисленных в функциональной спецификации. Для всех частей
ФБО следует иметь соответствующее описание интерфейсов или. при отсутствии соответствующих ин
терфейсов для части ФБО. оценщикделает заключение, что такое отсутствие допустимо и приемлемо.
ИСО/МЭК 15408-3 ADV_FSP.4.2C: В функциональной спецификации должны быть описаны назна
чение и метод использования всех ИФБО.
10.4.4.4.2 Шаг оценивания ADV_FSP.4-2
Оценщикдолжен исследовать функциональную спецификацию, чтобы сделать заключение о том,
что в ней указано назначение каждого ИФБО.
Назначение ИФБО — это общее утверждение, кратко описывающее функциональные возмож
ности. обеспеченные интерфейсом. Не подразумевается, что оно должно быть полным изложением
всех действий и результатов, относящихся к интерфейсу, а. скорее, оно должно помочь читателю со
ставить общее представление о предполагаемом использовании данного интерфейса. Оценщику сле
дует не только сделать заключение о том. что такое назначение существует, но и что оно точно отра
жает ИФБО, с учетом другой информации об интерфейсе, такой как описание действий и сообщений
об ошибках.
10.4.4.4.3 Шаг оценивания ADV_FSP.4-3
Оценщик должен исследовать функциональную спецификацию, чтобы сделать заключение о том,
что в ней содержится описание метода использования для каждого ИФБО.
Метод использования для ИФБО предоставляет краткую информацию по поводу того, каким об
разом в результате управления интерфейсом вызывают действия и получают результаты, связанные с
ИФБО. Оценщику следует быть в состоянии посредством чтения материалов в функциональной
спецификации вынести заключение о том. как использовать каждый интерфейс. Это не обязательно оз
начает. чтодля каждого ИФБО нужен отдельный метод использования, поскольку можно, например опи
сать в общем, как происходит системный вызов ядра, а затем идентифицировать каждый интерфейс,
используя общий для всех интерфейсов стиль. Различные типы интерфейсов требуют различных спе
цификаций по методу их использования. У интерфейсов программирования приложений, сетевых про
токолов. параметров системной конфигурации и шины аппаратных средств абсолютно разные методы
использования, и это следует учитывать разработчику при разработке функциональной спецификации,
так же. как и оценщику при проведении её оценки.
Для администрирующих интерфейсов, функции которыхдокументированы как недоступные недо
веренным пользователям, оценщик удостоверяется в том, что метод, благодаря которомуданные функ
ции являются недоступными таким пользователям, описан в функциональной спецификации. Следует
отметить, что разработчику необходимо протестировать эту недоступность при проведении испытаний.
Оценщику следует не только сделать заключение о том. что имеется подмножество описаний ме
тодов использования, но и что эти описания точно охватывают каждый ИФБО.
10.4.4.4.4 Шаг оценивания ADV_FSP.4-4
Оценщик должен исследовать функциональную спецификацию, чтобы определить полноту ИФБО.
Оценщик должен использовать проектную документацию, чтобы идентифицировать возможные
типы интерфейсов. Оценщик должен осуществить поиск проектной документации и руководств для по
тенциальных ИФБО. не описанных в документации, предоставленной разработчиком, таким образом
указав на то. что набор ИФБО. определенный разработчиком, является неполным. Оценщик должен
исследовать аргументы, представленные разработчиком для свидетельства полноты описания ИФБО, и
проверить все уровни представления проектной документации вплоть до проекта самого низкого уров ня
и представления реализации на предмет того, что не существует никаких дополнительных ИФБО.
ИСО/МЭК 15408-3 ADV_FSP.4.3C: В функциональнойспецификациидолжныбыть идентифициро
ваны и описаны все параметры, связанные с каждым ИФБО.
10.4.4.4.5 Шаг оценивания ADV_FSP.4-5
Оценщик должен исследовать представление ИФБО. чтобы сделать заключение, полностью ли
идентифицированы в нем все параметры, связанные с каждым ИФБО.
Оценщик исследует функциональную спецификацию, чтобы удостовериться, что в ней описаны
все параметры для каждого ИФБО. Параметры — явные исходные данные или данные на выходе ин
терфейса. которые контролируют режим функционирования этого интерфейса. Например, параметра
ми являются: аргументы, поставляемые интерфейсу программирования приложений: различные поля
в пакете для данного сетевого протокола; индивидуальные значения ключа в реестре Windows; сигна
лы. проходящие через контакты чипа и т. д.
68