ГОСТ Р ИСО/МЭК 18045—2013
Для вынесения заключения о том. что все данные параметры присутствуют в ИФБО. оценщику
следует исследовать остальные описания интерфейса {действия, сообщения об ошибках и т. д.) и сде
лать заключение о том. что эффекты этих параметров перечислены в описании. Оценщику следует
также проверить другие свидетельства, предоставленные для оценки (например проект ОО, описание
архитектуры безопасности, руководство пользователя по эксплуатации, представление реализации) на
предмет того, есть ли там описания режима функционирования интерфейса или дополнительных
параметров, отсутствующие в функциональной спецификации.
10.4.4.4.6 Шаг оценивания ADV_FSP.4-6
Оценщик должен исследовать представление ИФБО. чтобы сделать заключение, полно ли и точ
но ли описаны в нем все параметры, связанные с каждым ИФБО.
Как только все параметры идентифицированы, оценщику нужно удостовериться, что они описаны
точно и что описание параметров проведено полно. Описание параметра некоторым значащим обра
зом определяет, что представляет собой данный параметр. Например, интерфейс foo (i) может быть
описан как имеющий «параметр /, который является целым числом»; но такое описание параметра
неприемлемо. Более приемлемое описание — «параметр / — целое число, указывающее на число
пользователей, которые в настоящий момент зарегистрированы в системе».
Для вынесения заключения о том, что описание параметра является полным, оценщику следует
исследовать остальные описания интерфейса (назначение, метод использования, действия интерфей
са. сообщения об ошибках и т. д.) и сделать вывод о том. что описания этих параметров перечислены в
описании. Оценщику следует также проверить другие предоставленные свидетельства (например
проект ОО. проект архитектуры, руководство пользователя по эксплуатации, представление реализа
ции) на предмет того, есть ли там описания режима функционирования интерфейса или его дополни
тельных параметров, отсутствующие в функциональной спецификации.
ИСО/МЭК 15408-3 ADV_FSP.4.4C: В функциональной спецификации должны быть описаны все
действия, связанные с каждым ИФБО.
10.4.4.4.7 Шаг оценивания ADV_FSP.4-7
Оценщик должен исследовать представление ИФБО. чтобы сделать заключение о том. что в нем
полно и точно описаны все действия, связанные с каждым ИФБО.
Оценщик осуществляет проверкудля того, чтобы удостовериться, что все действия описаны. Дей
ствия. доступные через интерфейс, описывают, что именно делает данный интерфейс (в противопо
ложность проекту ОО, где описывается, как действия предоставляются ФБО).
Действия интерфейса описывают функциональную возможность, которая может быть вызвана
через интерфейс и может быть отнесена к стандартным действиям и относящимся к ФТБ действиям.
Стандартные действия — описания того, что делает интерфейс. Количество информации, предостав
ляемой данным описанием, зависит от сложности интерфейса. Относящиеся к ФТБ действия — те,
которые являются видимыми в любом внешнем интерфейсе {например следует предоставить описание
деятельности по аудиту, которая требуется при вызове интерфейса (предполагаем, что требования ау
дита включены в ЗБ), даже если результат этого действия вообще не наблюдается через вызываемый
интерфейс). В зависимости от параметров интерфейса может быть много различныхдействий, которые
вызываются через интерфейс (например у интерфейса программирования приложений первый пара
метр может быть «подкомандой», а последующие параметры могут быть специфическими для этой
подкоманды. Пример подобного интерфейса — интерфейс программирования приложений IOCTL в не
которых системах Unix).
Для вынесения заключения о том. что действия ИФБО описаны полностью, оценщику следует
рассмотреть остальные части описания интерфейса (описания параметров, сообщений об ошибках и
т. д.) и сделать заключение, перечислены ли в них описанные действия. Оценщику следует также про
анализировать другие свидетельства, предоставленные для оценки (например проект ОО, описание
архитектуры безопасности, руководство пользователя по эксплуатации, представление реализации),
чтобы определить, есть ли там свидетельствадействий интерфейса, отсутствующие в функциональной
спецификации.
ИСО/МЭК 15408-3 ADV_FSP.4.5C; Функциональная спецификация должна содержать описание со
общений обо всех непосредственных ошибках, которые могут возникнуть при вызове каждого ИФБО.
10.4.4.4.8 Шаг оценивания ADV_FSP.4-8
Оценщик должен исследовать представление ИФБО, чтобы сделать заключение о том. что в нем
полно и точно описаны все сообщения об ошибках, возникающих при вызове ИФБО.
Ошибки могут принимать различные формы в зависимости от описываемого интерфейса. В слу
чае интерфейса программирования приложений интерфейс сам может вернуть кодошибки, установить
69