ГОСТ Р ИСО/МЭК 15408-3-2013
В проекте должно приводиться полуформальное описание каждой из подсистем
ФБО,сопровождающеесявспомогательнымпояснительнымнеформальным
текстом, если это представляется уместным.
11.6.9.2.5ADV_TDS.6.5C
В проекте должно приводиться описание взаимодействий всех подсистем ФБО
между собой.
11.6.9.2.6ADV_TDS.6.6C
В проекте должно быть осуществлено прослеживание подсистем ФБО к
модулям ФБО.
11.6.9.2.7ADV_TDS.6.7C
В проекте должно приводиться описание в полуформальном стиле каждого
модуля с точки зрения его назначения, взаимодействия с другими модулями,
интерфейсов и значений, предоставляемых этими интерфейсами в ответ на
запросы, а также вызываемых интерфейсов других модулей. Полуформальное
описаниесопровождаетсявспомогательнымпояснительнымнеформальным
текстом, если это представляется уместным.
11.6.9.2.8ADV_TDS.6.8C
ФормальнаяспецификацияподсистемФБОдолжнасодержать
формальноеописаниеФБО исопровождаться вспомогательным
пояснительным неформальным текстом, если это представляется уместным.
11.6.9.2.9ADV_TDS.6.9C
В прослеживании должно быть продемонстрировано, что все описанные в
проекте 00 режимы функционирования прослеживаются к вызывающим их ИФБО.
11.6.9.2.10ADV_TDS.6.10C
В свидетельстве о соответствии формальных спецификаций подсистем
ФБО функциональной спецификации должно быть продемонстрировано, что
всеописанныевпроекте00режимыфункционированияявляются
правильным и полным отображением вызывающих их ИФБО.
11.6.9.3 Элементы действий оценщика
11.6.9.3.1ADV TDS.6.1E
125