ГОСТ Р ИСО/МЭК 18045—2013
при вызове интерфейса foo() — 0 (обработка успешно выполнена), 1(файл не найден) или 2 (неверная
спецификация имени файла)».
Для вынесения заключения о том, что ошибки, возникающие в результате вызовов ИФБО. описа
ны полностью, оценщик исследует остальную часть описания интерфейса (описания параметров, дей
ствий и т.д.) и делает заключение, перечислены ли в ней возможные условия возникновения
ошибок, которые могут возникнуть вследствие использования данного интерфейса. Оценщик также
проверяет другие свидетельства, предоставленные для оценки (например проект ОО. описание
архитектуры безо пасности. руководство пользователя по эксплуатации, представление реализации),
чтобы определить, что нет ошибок, возникающих при обработке вызовов упомянутых интерфейсов,
описание которых от сутствует в функциональной спецификации.
ИСО/МЭК 15408-3 ADV_FSP.5.7C: Функциональная спецификация должна содержать описание
всех сообщений об ошибках, возникающих не в результате вызова ИФБО.
10.4.5.3.11 Шаг оценивания ADV_FSP.5-11
Оценщик должен исследовать функциональную спецификацию, чтобы сделать заключение о том.
чтоона полностью иточно описываетвсе сообщения об ошибках, возникающих не врезультатевызова ИФБО.
Этот шаг оценивания дополняет шаг оценивания ADV_FSP.5-9. в котором описываются те сооб щения
об ошибках, которые возникают в результате вызова ИФБО. Вместе эти шаги оценивания охва
тывают все сообщения об ошибках, которые могли быть вызваны ФБО.
Оценщик оценивает полноту и точность функциональной спецификации, сравнивая ее содержа
ние с примерами создания сообщений об ошибке в представлении реализации. Большинство этих со
общений об ошибках будет уже охвачено в шаге оценивания ADV_FSP.5-9.
Сообщения об ошибках, связанные с этим шагом оценивания, как правило, являются такими,
которые будут выданы с малой степенью вероятности, но всё же запрограммированы в целях соблю
дения лучших практик. Например, оператор выбора, определяющий действия, происходящие в случае
выбора конкретного пункта, может заканчиваться условным оператором else для возможности приме
нения в ситуациях, которые не ожидаются; эта практика обеспечивает невозможность перехода ФБО в
неопределенное состояние. Однако не ожидается, что при исполнении программы когда-нибудь дой дет
до этого условного оператора; таким образом, никогда не будет создано сообщение об ошибке,
связанной с выполнением этого оператора. Но даже если эта ошибка не возникает, она должна быть
включена в функциональную спецификацию.
ИСО/МЭК 15408-3 ADV_FSP.5.8C: Функциональная спецификация должна содержать обоснова
ние каждого сообщения об ошибке, содержащегося в реализации ФБО. но не являющегося результа
том вызова ИФБО.
10.4.5.3.12 Шаг оценивания ADV_FSP.5-12
Оценщикдолжен исследовать функциональную спецификацию, чтобы сделать заключение о том,
что в ней представлено обоснование для каждого сообщения об ошибке, содержащегося в реализации
ФБО. но не являющегося результатом вызова ИФБО.
Оценщик удостоверяется, что каждое сообщение об ошибке, обнаруженное в процессе выполне
ния шага оценкиADV_FSP.5-11.содержит обоснование, описывающее, почему это сообщение об ошиб
ке не является результатом вызова ИФБО.
Как описано в предыдущем шаге оценивания, это обоснование может быть настолько же целена
правленным. как и факт, что рассматриваемое сообщение об ошибке предоставлено для полноты ло
гики выполнения программы и что оно. как ожидается, никогда не будет выдано. Оценщик убеждается,
что обоснование каждого такого сообщения об ошибке является логичным.
ИСО/МЭК 15408-3 ADV_FSP.5.9C; В прослеживании соответствия должно быть продемонстри
ровано прослеживание ФТБ к ИФБО в функциональной спецификации.
10.4.5.3.13 Шаг оценивания ADV_FSP.5-13
Оценщик должен проверить, что прослеживание соотносит ФТБ с соответствующими ИФБО.
Прослеживание предоставляется разработчиком в качестве руководства для определения того, каким
образом ФТБ связаны с ИФБО. Это прослеживание может быть представлено в простом виде, например в
виде таблицы; оно используется в качестве исходных данных для оценщика для использования в после
дующих шагах оценивания, в которых оценщик верифицирует полноту и точность этого прослеживания.
10.4.5.4 Действие ADV_FSP.5.2E
10.4.5.4.1 Шаг оценивания ADV_FSP.5-14
Оценщикдолжен исследовать функциональную спецификацию, чтобы сделать заключение, явля
ется ли она полным отображением ФТБ.
75