ГОСТ Р ИСО/МЭК 18045—2013
сание было детализировано в достаточной степени для поддержки создания (и оценки) тестовых си
туаций для данного интерфейса. Если описание неясно или недостаточно детализировано и поэтому
значимое тестирование ИФБО не может быть проведено, то. скорее всего, описание является несоот
ветствующим предъявляемым к нему требованиям.
ИСО/МЭК 15408-3 ADV_FSP.3.5C: Для каждого ИФБО. осуществляющего выполнение ФТБ.
функциональная спецификация должна содержать описание сообщений о непосредственных ошиб
ках. возникающих в результате влияющих на безопасность эффектов и нештатных ситуаций, свя
занных с вызовом данного ИФБО.
10.4.3.3.7 Шаг оценивания ADV_FSP.3-7
Оценщик должен исследовать представление ИФБО. чтобы сделать заключение о том. что в нем
полно и точно описаны сообщения о связанных с осуществляющими выполнение ФТБ интерфейсами
ошибках, которые могут быть последствием действий, осуществляющих выполнение ФТБ.
Этот шаг оценивания следует выполнять вместе с шагом оценивания ADV_FSP.3-6 или после
него, чтобы удостовериться, что набор осуществляющих выполнение ФТБ интерфейсов правильно
идентифицирован. Оценщику следует иметь в виду, что требования и связанные с ними шаги оце
нивания предписывают необходимость описания всех сообщений о непосредственных ошибках, свя
занных с ИФБО и действиями, осуществляющими выполнение ФТБ. На данном уровне доверия до
полнительную информацию, полученную из описаний сообщений об ошибках, следует использовать
для вынесения заключения о том. все ли аспекты осуществляющих выполнение ФТБ интерфейсов
ФБО были описаны правильно. Например, если в связанном с ИФБО сообщении об ошибке (например
в сообщении вида «в доступе отказано») указывается, что произошло действие или принято решение,
осуществляющее выполнение ФТБ. но в описании осуществляющих выполнение ФТБ действий нет
упоминания этого конкретного механизма, осуществляющего выполнение ФТБ. тогда описание может
быть признано неполным.
Ошибки могут принимать различные формы в зависимости от описываемого интерфейса. В слу
чае интерфейса программирования приложений интерфейс сам может вернуть код ошибки, установить
состояние глобальной ошибки или определенный параметр с кодом ошибки. В случае файла конфигу
рации неправильно настроенный параметр может привести к появлению в системном журнале сообще
ния об ошибке. В случае аппаратных средств, например шины ввода/вывода. возникновение ошибки
может подать на шину сигнал или вызвать особое состояние центрального процессора.
Ошибки (и связанные с ними сообщения об ошибках) проявляются через запрос интерфейса.
Обработка, которая происходит в ответ на запрос интерфейса, может столкнуться с некоторыми усло
виями. вызывающими ошибку и сообщение об этой ошибке {путем определенного механизма, специ
фического для данной реализации). В некоторых случаях это может быть возвращаемое самим интер
фейсом значение: в других случаях глобальное значение может быть назначено и проверено после
запроса интерфейса. Скорее всего, в ОО будет много сообщений об ошибках низкого уровня, кото рые
являются результатом фундаментальных условий для ресурсов, например «недостаточно места на
диске» или «ресурс заблокирован». Несмотря на то. что сообщения об ошибках могут быть про
слежены к большому количеству ИФБО. их можно использовать для выявления тех случаев, когда не
которые детали в описании интерфейса были опущены. Например, если есть ИФБО. который выдает
сообщение «недостаточно места на диске», но для которого не представлено ясное описание того,
почему этому ИФБО следует позволять получение доступа к диску, оценщику может потребоваться ис
следовать другие свидетельства (семейств ADV_ARC «Архитектура безопасности». ADV_TDS «Проект
ОО»), связанные с этим ИФБО. чтобы сделать заключение о том. является ли точным его описание.
Чтобы вынести заключение о том. что описание сообщений об ошибках ИФБО составлено точ
но и полно, оценщик сравнивает длину данного описания интерфейса с другими представленными
для оценки свидетельствами (например с проектом ОО. описанием архитектуры безопасности, руко
водством пользователя по эксплуатации), а также с другими свидетельствами по данному ИФБО (опи
санием осуществляющих выполнение ФТБ действий, кратким изложением поддерживающих и не
влия ющих на выполнение ФТБ действий и результатов).
ИСО/МЭК 15408-3 ADV_FSP.3.6C: В функциональной спецификации должны быть приведены всо
связанные с каждым ИФБО действия, поддерживающие или не влияющие на выполнение ФТБ.
10.4.3.3.8 Шаг оценивания ADV_FSP.3-8
Оценщик должен исследовать представление ИФБО. чтобы вынести заключение о том. что в нем
приводится краткое описание связанных с каждым ИФБО действий, поддерживающих или не влияю
щих на выполнение ФТБ.
65