ГОСТ Р ИСО/МЭК 18045—2013
В случав, когда ФБО реализуются, используя основанное на выполнении процедур программное
обеспечение, структура оценивается на основе ее модульности: модули, идентифицированные в опи
сании внутренней структуры, совпадают с теми модулями, которые идентифицированы в проекте 00
(семейство ADV_TDS «Проект 00»), Модуль состоит из одного или более файлов исходного кода, ко
торые являются наименьшими структурными единицами.
Использование операции назначения в этом компоненте налагает более строгие ограничения
на подмножество ФБО. явно идентифицированное в назначенииADVJNT.1.1D. чем на остальную часть
ФБО. Несмотря на то, что все ФБО должны быть разработаны с использованием хороших технических
принципов и практик и в результате представлять собой хорошо структурированные ФБО. только ука
занное подмножество анализируется на предмет соответствия этой характеристике. Оценщик делает
заключение о том. что применение разработчиком стандартов кодирования приводит к понятным ФБО.
Основная цель этого компонента состоит в том. чтобы удостовериться, что представление реали
зации подмножества ФБО достаточно понятно для облегчения обслуживания и анализа этого подмно
жества (какдля разработчика, так и для оценщика).
10.6.1.4 Действие ADVJNT.1.1E
ИСО/МЭК 15408-3ADVJNT.1.1С: Влогическом обосновании должно приводиться объяснение того,
на основании каких характеристик оценивается «полнота определения» внутренней структуры.
10.6.1.4.1 Шаг оценивания ADVJNT.1-1
Оценщик должен исследовать логическое обоснование, чтобы сделать заключение о том,
что в нём идентифицирована основа для вынесения заключения о том. полно ли определена внутрен
няя структура ФБО.
Оценщик проверяет, что критерии для определения полноты и правильности определения внутрен
ней структуры ФБО ясно определены в логическом обосновании. Приемлемые критерии, как правило,
представлены в промышленных стандартах для технологической дисциплины. Например, процедурное
программное обеспечение, которое выполняется линейно, традиционно считается в полной мере струк
турированным. если оно было написано в соответствии с лучшими техническими практиками програм
мирования. такими, например как определенные в Стандарте IEEE (Стандарт. IEEE 610.12—1990). Это
определяет критерии для процедурных частей программного обеспечения подмножества ФБО:
a) процесс, используемый для модульной декомпозиции
b
) стандарты кодирования, используемые при разработке реализации
c) описание максимального допустимого уровня связности между модулями, представленными
в подмножестве ФБО. и
d) описание минимального допустимого уровня связности между модулями, представленными
в подмножестве ФБО.
Для других типов технологий, используемых в ОО. таких как непроцедурное программное обе
спечение (например объектно-ориентированного программирования), широко распространенные в ка
честве товаров аппаратные средства (например микропроцессоры персональных компьютеров) и ап
паратные средства специального назначения (например процессоры смарт-карт), оценщику следует
получить руководство от органа оценки для того, чтобы определить по заданным критериям полноту
определения внутренней структуры.
ИСО/МЭК 15408-3 ADVJNT.1.2C: В описании внутренней структуры ФБО должно быть про
демонстрировано. что внутренняя структура заданного подмножества ФБО является полностью
определенной.
10.6.1.4.2 Шаг оценивания ADVJNT.1-2
Оценщик должен проверить описание внутренней структуры ФБО. чтобы сделать заключение
о том. что в ней идентифицировано означенное подмножество ФБО.
Это подмножество может быть идентифицировано в терминах внутренней структуры ФБО на лю
бом уровне абстракции. Например, в терминах структурных элементов ФБО, идентифицированных
в проекте ОО (например подсистема аудита), или в терминах реализации (например файлы encrypt.c
и decrypt.c или чип 6227 интегральной схемы).
Недостаточно просто идентифицировать это подмножество втерминах требуемых ФТБ (например
части ФБО. которые обеспечивают анонимность, как определено в FPR_AN0.2). поскольку при этом не
определено, на чем следует сосредоточить деятельность по анализу.
10.6.1.4.3 Шаг оценивания ADVJNT.1-3
Оценщик должен исследовать описание внутренней структуры ФБО. чтобы сделать заключение
о том. что оно демонстрирует, что внутренняя структура означенного подмножества ФБО является пол
ностью определенной.
79