Подробнее о подсистемах и модулях

Требования определяют, какая совокупность подробностей о подсистемах и модулях должна быть предоставлена:

a) Подсистемы и модули определяются простым списком того, чем они являются.

b) Подсистемы и модули могут характеризоваться (неявно или явно) как «Обеспечивающие выполнение ФТБ», «Способствующие выполнению ФТБ» или «Не влияющие на выполнение ФТБ»; эти термины используются в том же значении, что и в семействе «Функциональная спецификация» (ADV_FSP).

c) Термин режим функционирования подсистемы обозначает, что она выполняет. Режим функционирования может также характеризоваться, как «Обеспечивающий выполнение ФТБ», «Способствующий выполнению ФТБ» или «Не влияющий на выполнение ФТБ». Режим функционирования подсистем никогда не характеризуется более существенным для ФТБ, чем категория подсистемы сама по себе. Например, подсистема, обеспечивающая выполнение ФТБ, может иметь режим функционирования, обеспечивающий выполнение ФТБ, а также способствующий выполнению ФТБ или не влияющий на выполнение ФТБ.

d) Аннотация режима функционирования подсистемы представляет собой краткий обзор выполняемых ею действий (например, «Подсистема TCP компонует IP дейтаграммы в надежные потоки байтов»).

e) Описание режима функционирования подсистемы представляет объяснение всего, что она выполняет. Описание следует представлять на таком уровне детализации, чтобы можно было быстро определить, имеет ли режим функционирования какое-либо значение для выполнения ФТБ.

f) В описании взаимодействий среди или между подсистемами или модулями определяется причина, почему подсистемы и модули взаимодействуют, и дается характеристика обмениваемой информации. В нем не требуется определять информацию на том же уровне детализации, что и в спецификации интерфейсов. Например, будет достаточно указать «подсистема Х запрашивает блок памяти у диспетчера памяти, который отвечает указанием на выделенную память».

g) В описании интерфейсов предоставляются подробности того, как осуществляются взаимодействия между модулями. Вместо того, чтобы представлять описание причины взаимодействия модулей или цели их взаимодействия (т.е. описание взаимодействия) в описании интерфейсов излагаются подробности того, как осуществляется это взаимодействие в терминах структуры и содержания сообщений, семафоров, внутренних взаимодействий процесса и т.д.

h) В цели модуля дается описание того, как модули предоставляют свою функциональную возможность. Следует, чтобы соответствие между представлением реализации, которое реализует модуль, и целью модуля были легко различимы.

i) Модуль описывается по другому в терминах всего того, что определяется в элементе требований доверия.

Дата добавления: 2014-01-15