ГОСТ Р ИСО/МЭК 18045—2013
Оценщику следует не только сделать заключение о том. что имеется подмножество описаний ме
тодов использования, но и что эти описания точно охватывают каждый ИФБО.
10.4.5.3.5 Шаг оценивания ADV_FSP.5-5
Оценщикдолжен исследоватьфункциональную спецификацию, чтобы определитьполноту ИФБО.
Оценщик должен использовать проектную документацию, чтобы идентифицировать возможные
типы интерфейсов. Оценщикдолжен осуществить поиск проектной документации и руководств для по
тенциальных ИФБО. не описанных в документации, предоставленной разработчиком, таким образом
указав на то, что набор ИФБО, определенный разработчиком, является неполным. Оценщик должен
исследовать аргументы, представленные разработчиком для доказательства полноты описания ИФБО, и
проверить все уровни представления проектной документации вплоть до проекта самого низкого
уровня и представления реализации на предмет того, что не существует никаких расширенных ИФБО.
ИСО/МЭК 15408-3 ADV_FSP.5.4C: В функциональной спецификации должны быть идентифици
рованы и описаны все параметры, связанные с каждым ИФБО.
10.4.5.3.6 Шаг оценивания ADV_FSP.5-6
Оценщик должен исследовать представление ИФБО. чтобы сделать заключение, полностью ли
идентифицированы в нем все параметры, связанные с каждым ИФБО.
Оценщик исследует функциональную спецификацию, чтобы удостовериться, что в ней описаны
все параметры для каждого ИФБО. Параметры — явные исходные данные или данные на выходе ин
терфейса. которые контролируют режим функционирования этого интерфейса. Например, параметра
ми являются: аргументы, поставляемые интерфейсу программирования приложений: различные поля
в пакете для данного сетевого протокола: индивидуальные значения ключа в Реестре Windows; сигна
лы. проходящие через контакты чипа и т.д.
Для вынесения заключения о том. что все данные параметры присутствуют в ИФБО. оценщику
следует исследовать остальные описания интерфейса (действия, сообщения об ошибках и т.д.) и сде
лать заключение о том. что эффекты этих параметров перечислены в описании. Оценщику следует
также проверить другие свидетельства, предоставленные для оценки (например проект ОО. описание
архитектуры безопасности, руководство пользователя по эксплуатации, представление реализации)
на предмет того, есть ли там описания режима функционирования интерфейса или дополнительных
параметров, отсутствующие в функциональной спецификации.
10.4.5.3.7 Шаг оценивания ADV_FSP.5-7
Оценщик должен исследовать представление ИФБО. чтобы сделать заключение, полно ли и точ
но ли описаны в нем все параметры, связанные с каждым ИФБО.
Как только все параметры были идентифицированы, оценщику нужно удостовериться, что они
описаны точно и описание параметров проведено полно. Описание параметра некоторым значащим
образом определяет, что представляет собой данный параметр. Например, интерфейс foo (i) может
быть описан как имеющий «параметр /’, который является целым числом»: но такое описание параме тра
не приемлемо. Более приемлемое описание — «параметр /’— целое число, указывающее на число
пользователей, которые в настоящий момент зарегистрированы в системе».
Для вынесения заключения о том, что описание параметра является полным, оценщику следует
исследовать остальные описания интерфейса (назначение, метод использования, действия интерфей
са. сообщения об ошибках и т.д.) и сделать вывод о том. что описания этих параметров перечислены в
описании. Оценщику следует также проверить другие предоставленные свидетельства (например
проект ОО. проект архитектуры, руководство пользователя по эксплуатации, представление реализа
ции) на предмет того, есть ли там описания режима функционирования интерфейса или его дополни
тельных параметров, отсутствующие в функциональной спецификации.
ИСО/МЭК 15408-3 ADV_FSP.5.5C: В функциональной спецификации должны быть описаны все
действия, связанные с каждым ИФБО.
10.4.5.3.8 Шаг оценивания ADV_FSP.5-8
Оценщик должен исследовать представление ИФБО, чтобы сделать заключение о том. что в нем
полно и точно описаны все действия, связанные с каждым ИФБО.
Оценщикосуществляет проверкудля того, чтобы удостовериться, что все действия описаны. Дей
ствия. доступные через интерфейс, описывают, что именно делает данный интерфейс (в противопо
ложность проекту ОО. где описывается, как действия предоставляются ФБО).
Действия интерфейса описывают функциональную возможность, которая может быть вызвана
через интерфейс и может быть отнесена к стандартным действиям и относящимся к ФТБ действиям.
Стандартные действия — описания того, что делает интерфейс. Количество информации, предостав-
73