ГОСТ Р ИСО/МЭК 15408-1—2012
3.1.81 данные ФБО (TSF data): Данные, необходимые для функционирования 0 0 . на основе ко
торых осуществляется реализация ФТБ.
3.1.82 интерфейс ФБО (TSF interface): Средства, через которые внешние сущности (или субъект
в 00 . но за пределами ФБО) передают данные к ФБО. получают данные от ФБО и обращаются к сер
висам ФБО.
3.1.83 данные пользователя (user data): Данные для пользователя, не влияющие на выполне
ние ФБО.
3.1.84 верифицировать (verify): Провести строгую детальную проверку с независимым опреде
лением ее достаточности.
П р и м е ч а н и е — См. также термин «подтверждать» (3.1.14). Термин «верифицировать» имеет более
глубокий смысл. Он используется в контексте действий оценщика, когда требуются независимые усилия оценщика.
3.2 Термины и определения, относящиеся к классу ADV
П р и м е ч а н и е — Приведенные ниже термины используются в формулировках требований для отраже
ния внутренней структуризации программного обеспечения. Некоторые из них взяты из IEEE Std 610.12—1990
«Стандартный глоссарий терминологии по проектированию программного обеспечения». Институт инженеров
по электротехнике и электронике.
3.2.1 администратор (administrator): Сущность, которая имеет некоторый уровень доверия в от
ношении всех политик, реализуемых ФБО.
П р и м е ч а н и е — Не все ПЗ или ЗБ предполагают одинаковый уровень доверия к администраторам.
Обычно предполагается, что администраторы всегда придерживаются политик, изложенных в ЗБ для ОО. Некото
рые из этих политик могут быть связаны с функциональными возможностями ОО. другие — со средой функциони
рования.
3.2.2 дерево вызовов (call tree): Идентифицирует модули в системе в виде диаграммы, показы
вающей. какие модули вызывают другие модули.
П р и м е ч а н и е — Адаптированный термин IEEE Std 610.12—1990.
3.2.3 связность (cohesion): Прочность (плотность) модуля, способ и степень, с которыми задачи,
выполняемые единичным программным модулем, связаны между собой.
[IEEE Std 610.12— 1990)
П р и м е ч а н и е — Виды связности включают: случайную, коммуникационную, функциональную, логиче
скую. последовательную и временную. Эти типы связностиописывают путем введения соответствующих терминов.
3.2.4 случайная связность (coincidental cohesion): Связность модуля, характеризуемая выпол
нением несвязанных или слабо связанных действий.
[IEEE Std 610.12— 1990]
П р и м е ч а н и е — См. также «связность» (3.2.3).
3.2.5 коммуникационная связность (commuication cohesion): Характеристика модуля, включаю
щего функции, которые осуществляют выдачу выходных результатов другим функциям или используют
выходные результаты от других функций.
[IEEE Std 610.12—1990)
П р и м е ч а н и е 1— См. также «связность» (3.2.3).
П р и м е ч а н и е 2 — Примером коммуникационно-связанного модуля является модуль контроля доступа,
который включает мандатный, дискреционный контроль и контроль полномочий.
3.2.6 сложность (complexity): Мера того, насколько трудным для понимания и. соответственно,
для анализа, тестирования и поддержки является программное обеспечение.
[IEEE Std 610.12— 1990)
П р и м е ч а н и е — Уменьшение сложности является основной целью декомпозиции, распределения
по уровням и минимизации модулей. Контроль сопряжения и связности значительно способствуют достижению
этой цели.
В сфере разработки программного обеспечения были потрачены значительные усилия, связанные с попыт
ками разработать метрики для измерения сложности исходного текста. Большинство из этих метрик использует
легко вычисляемые характеристики исходного текста, такие как число операторов и операндов, сложность
графа управления потоками (цикломатическая сложность), число строк исходного текста, коэффициент
покрытия ком-
6