ГОСТ Р ИСО/МЭК 18045—2013
состояние глобальной ошибки или определенный параметр с кодом ошибки. В случае файла конфигу
рации неправильно настроенный параметр может привести к появлению в системном журнале сообще
ния об ошибке. В случае аппаратных средств, например шины ввода/вывода. возникновение ошибки
может подать на шину сигнал или вызвать особое состояние центрального процессора.
Ошибки (и связанные с ними сообщения об ошибках) появляются через запрос интерфейса. Обра
ботка. которая происходит в ответ на запрос интерфейса, может столкнуться с некоторыми условиями,
вызывающими ошибку и сообщение об этой ошибке (путем определенного механизма, специфического
для данной реализации). В некоторых случаях это может быть возвращаемое самим интерфейсом
значение: в других случаях глобальное значение может быть назначено и проверено после запроса
интерфейса. Скорее всего, у ОО будет много сообщений об ошибках низкого уровня, которые явля
ются результатом фундаментальных условий для ресурсов, например «недостаточно места на диске»
или «ресурс заблокирован». Несмотря на то. что эти сообщения об ошибках могут быть прослежены к
большому количеству ИФБО. их можно использовать для выявления тех случаев, когда часть описа ния
интерфейса была опущена. Например, если есть ИФБО. который выдает сообщение «недостаточ но
места надиске», нодля которого не представлено ясное описание того, почему этому ИФБО следует
позволять получение доступа к диску, оценщику может потребоваться исследовать другие свидетель
ства (семейств ADV_ARC «Архитектура безопасности». ADV_TDS «Проект ОО»), связанные с этим
ИФБО. чтобы сделать заключение о том. является ли его описание полным и точным.
Оценщик делает заключение о том. что для каждого ИФБО определен точный набор сообщений
об ошибках, которые выдаются при вызове этого интерфейса. Оценщик рассматривает свидетельства,
представленные по интерфейсу, чтобы сделать заключение о том. кажется ли приведенный набор оши
бок полным. Он сверяет эту информацию с другими предоставленными для оценки свидетельствами
(например проект ОО. описание архитектуры безопасности, руководство пользователя по эксплуата
ции. представление реализации), чтобы удостовериться, что нет ошибок, возникающих при обработке
вызовов упомянутых интерфейсов, описание которых отсутствует в функциональной спецификации.
10.4.4.4.9 Шаг оценивания ADV_FSP.4-9
Оценщикдолжен исследовать представление ИФБО. чтобы сделать заключение о том. что в нем
полно и точно описаны значения всех ошибок, связанных с вызовами каждого ИФБО.
Для определения степени точности описания оценщик должен быть в состоянии понять значение
ошибки. Например, если интерфейс возвращает числовое значение 0.1 или 2. оценщик не в состоянии
понять ошибку, если в функциональной спецификации описано только следующее: «возможные ошиб
ки. возникающие при вызове интерфейса foo Q— 0. 1 или 2». Вместо этого оценщик выполняет про
верку. чтобы удостовериться, что ошибки описаны иначе например: «возможные ошибки, возникающие
при вызове интерфейса foo () — 0 (обработка успешно выполнена). 1(файл не найден) или 2 (неверная
спецификация имени файла)».
Для вынесения заключения о том. что ошибки, возникающие в результате вызовов ИФБО. описа
ны полностью, оценщик исследует остальную часть описания интерфейса (описания параметров, дей
ствий и т. д.) и делает заключение, перечислены ли в ней возможные условия возникновения ошибок,
которые могут возникнуть вследствие использования данного интерфейса. Оценщик также проверяет
другие свидетельства, предоставленныедля оценки (например проект ОО. описание архитектуры безо
пасности. руководство пользователя по эксплуатации, представление реализации), чтобы определить,
что нет ошибок, возникающих при обработке вызовов упомянутых интерфейсов, описание которых от
сутствует в функциональной спецификации.
ИСО/МЭК 15408-3 ADV_FSP.4.6C: В прослеживании соответствия должно быть продемонстри
ровано прослеживание ФТБк ИФБО в функциональной спецификации.
10.4.4.4.10 Шаг оценивания ADV_FSP.4-10
Оценщик должен проверить, что прослеживание соотносит ФТБ с соответствующими ИФБО.
Прослеживание предоставляется разработчиком в качестве руководства для определения того,
каким образом ФТБ связаны с ИФБО. Это прослеживание может быть представлено в простом виде,
например в виде таблицы; оно используется в качестве исходных данных для оценщика при использо
вании в последующих шагах оценивания, в которых оценщик верифицирует полноту и точность этого
прослеживания.
10.4.4.5 Действие ADV_FSP.4.2E
10.4.4.5.1 Шаг оценивания ADV_FSP.4-11
Оценщик должен исследовать функциональную спецификацию, чтобы сделать заключение, явля
ется ли она полным отображением ФТБ.
70