ГОСТ Р ИСО/МЭК 18045—2013
Основная цель этого компонента состоит в том, чтобы удостовериться, что представление реали
зации подмножества ФБО достаточно понятно для облегчения обслуживания и анализа этого подмно
жества (как для разработчика, так и для оценщика).
10.6.2.4 Действие ADVJNT.2.1E
ИСО/МЭК 15408-3ADV_INT.2.1C: Влогическом обосновании должно приводиться объяснение того,
на основании каких характеристик оценивается «полнота определения» внутренней структуры.
10.6.2.4.1 Шаг оценивания ADVJNT.2-1
Оценщик должен исследовать логическое обоснование, чтобы сделать заключение, что в нём
идентифицирована основа для вынесения заключения о том. полно ли определена внутренняя струк
тура ФБО.
Оценщик проверяет, что критерии для определения полноты и правильности определения внутрен
ней структуры ФБО ясно определены в логическом обосновании. Приемлемые критерии, как правило,
представлены в промышленных стандартах для технологической дисциплины. Например, процедурное
программное обеспечение, которое выполняется линейно, традиционно считается в полной мере струк
турированным, если оно было написано в соответствии с лучшими техническими практиками програм
мирования. такими, например как определенные в Стандарте IEEE (Стандарт. IEEE 610.12—1990). Это
определяет критерии для процедурных частей программного обеспечения подмножества ФБО:
a) процесс, используемый для модульной декомпозиции,
b
) стандарты кодирования, используемые при разработке реализации.
c) описание максимального допустимого уровня связности между модулями, представленными
в подмножестве ФБО. и
d) описание минимального допустимого уровня связности между модулями, представленными
в подмножестве ФБО.
Для других типов технологий, используемых в ОО. таких как непроцедурное программное обе
спечение (например объектно-ориентированного программирования), широко распространенные в ка
честве товаров аппаратные средства (например микропроцессоры персональных компьютеров) и ап
паратные средства специального назначения (например процессоры смарт-карт), оценщик должен
получить руководство от органа оценки для того, чтобы определить по заданным критериям полноту
определения внутренней структуры.
ИСО/МЭК 15408-3ADVJNT.2.2C: В описании внутренней структуры ФБО должно быть продемон
стрировано. что внутренняя структура означенного подмножества ФБО является полностью опреде
ленной.
10.6.2.4.2 Шаг оценивания ADVJNT.2-2
Оценщик должен исследовать описание внутренней структуры ФБО. чтобы сделать заключение
о том. что оно демонстрирует, что внутренняя структура означенного подмножества ФБО является пол
ностью определенной.
Оценщик исследует описание внутренней структуры, чтобы удостовериться, что оно предоставля
ет полное объяснение того, каким образом подмножество ФБО соответствует критериям ADVJNT.1-1.
Например, это объясняет, каким образом процедурные части программного обеспечения подмно
жества ФБО удовлетворяют следующим требованиям по наличию:
a) непосредственного соответствия модулей, идентифицированных в подмножестве ФБО и моду
лей. описанных в проекте ОО (ADV_TDS),
b
) описания того, как в проекте ФБО отражен процесс модульной декомпозиции,
c) логического обоснования всех случаев, где стандарты кодирования не используются или им
нет соответствия, и
d) логического обоснования любой связности вне приемлемых границ.
10.6.2.5 Действие ADVJNT.2.2E
10.6.2.5.1 Шаг оценивания ADVJNT.2-3
Оценщик должен сделать заключение о том. что проект ОО имеет полностью определенную вну
треннюю структуру.
Оценщик исследует образец проекта ОО. чтобы верифицировать точность логического обосно
вания. Например, образец проекта ОО анализируется в целях определения его соответствия нормам
проектирования и т.д. Как и во всех областях, где оценщик выполняет действия над подмножеством,
оценщик предоставляет логическое обоснование объема выборки и области оценивания.
Описание декомпозиции ОО на подсистемы и модули приведет к выводу о том, что полнота опре
деления внутренней структуры ФБО является очевидной. Верификация того, что процедуры структу-
81