ГОСТ Р ИСО/МЭК 18045—2013
Цель этого шага оценивания состоит в том. чтобы детализировать описания осуществляющих
выполнение ФТБ действий (которые приводятся в шаге оценивания ADV_FSP.3-6) и кратко описать
все остальные действия (то есть те. которые не являются осуществляющими выполнение ФТБ). Это
охватывает все поддерживающие и не влияющие на выполнение ФТБ действия, неважно, вызваны ли
они осуществляющими выполнение ФТБ интерфейсами, поддерживающими или не влияющими на вы
полнение ФТБ. Такая краткая информация о поддерживающих и не влияющих на выполнение ФТБ
действиях помогает получить более полную картину функций, обеспеченных ФБО, и должна использо
ваться оценщиком при определении того, верно ли категорированы действия или ИФБО.
Предоставляемая информация более абстрактна, чем требуемая для описания действий, осу
ществляющих выполнение ФТБ. Этой информации следует быть детализированной в достаточной сте
пени для того, чтобы читатель мог понять суть действия, но описание не обязательно должно быть де
тализировано до такой степени, чтобы обеспечить, например возможность письменного тестирования.
Для оценщика главное то. что информация должна быть достаточной для вынесения положительного
заключения о том, что действие является поддерживающим или не влияющим на выполнение ФТБ.
Если представленной информации для этого недостаточно, то краткое описание признается недоста
точно полным, и необходимо получить больший объем информации.
ИСО/МЭК 15408-3 ADV_FSP.3.7C: В прослеживании соответствия должно быть продемонстри
ровано прослеживание ФТБк ИФБО в функциональной спецификации.
10.4.3.3.9 Шаг оценивания ADV_FSP.3-9
Оценщик должен проверить, что прослеживание соотносит ФТБ с соответствующими ИФБО.
Прослеживание предоставляется разработчиком в качестве руководства для определения того, ка
ким образом ФТБ связаны с ИФБО. Это прослеживание может быть представлено в простом виде, на
пример в виде таблицы; оно используется в качестве исходных данныхдля оценщика при использовании в
последующих шагах оценивания, в которых оценщик верифицирует полноту и точность этого просле
живания.
10.4.3.4 Действие ADV_FSP.3.2E
10.4.3.4.1 Шаг оценивания ADV_FSP.3-10
Оценщик должен исследовать функциональную спецификацию, чтобы сделать заключение, явля
ется ли она полным отображением ФТБ.
Чтобы удостовериться, что все ФТБ охвачены функциональной спецификацией, а также анализом
покрытия тестами, оценщик может основываться на прослеживании, предоставленном разработчиком
(см. ADV_FSP.3-9 для прослеживания между ФТБ для ОО и ИФБО). Следует учесть, что такое про
слеживание иногда необходимо представлять на уровне детализации ниже, чем уровень детализации
компонента или даже элемента требований из-за операций (назначения, уточнения, выбора), выполня
емых над функциональным требованием автором ЗБ.
Например, компонент FDP_ACC.1 содержит элемент с операциями назначения. Если бы в ЗБ со
держалось. например десять правил в отношении назначения для данного компонента FDP_ACC.1 и эти
правила были бы охвачены тремя различными ИФБО. тодля оценщика некорректно было бы проследить
FDP_ACC.1 к ИФБО А. В и С и утверждать о завершении шага оценивания. Вместо этого оценщик должен был
бы проследить FDP_ACC.1 (правило 1) к ИФБО A; FDP_ACC.1 (правило 2) к ИФБО В и т. д. Может иметь
место и случай, когда интерфейс является интерфейсом адаптера (например IOCTL). и тогда про
слеживание должно быть определенным к набору параметров для данного интерфейса.
Оценщик должен осознавать, что для требований, которые незначительно проявляются
или не проявляются вовсе на границах ФБО (например FDP^RIP), не ожидается, что эти требования
будут прослежены к ИФБО. Анализ таких требований будет выполняться в процессе анализа проекта
ОО (ADV_TDS), когда он включен в ЗБ. Важно отметить, что. так как параметры, связанные с ИФБО,
должны быть полностью специфицированы, оценщику следует быть в состоянии сделать
заключение о том. все ли аспекты ФТБ реализованы на интерфейсном уровне.
10.4.3.4.2 Шаг оценивания ADV_FSP.3-11
Оценщик должен исследовать функциональную спецификацию, чтобы сделать заключение,
что она является точным отображением ФТБ.
Для каждого функционального требования в ЗБ, которое оказывает видимый эффект на границах
ФБО. информация в связанном с ним ИФБО специфицирует требуемые функции, описанные в требова
нии. Например, если в ЗБ содержится требование наличия списков контроля доступа и единственный
ИФБО. прослеживаемый к этому требованию, специфицирует функции Unix-подобных разрядов защи
ты. тогда функциональная спецификация не является точной в отношении требований.
66