Структурные карты

Структурный анализ охватывает не только этап специфицирования программного обеспечения, но и этап проектирования его внутренней структуры.

Этап проектирования начинается с изучения спецификаций. Первым делом проверяется завершенность спецификаций и формально выявляются и разрешаются все противоречия. Далее формируется структура программного обеспечения и общие правила взаимодействия его компонентов (модулей).

Модуль - это отдельная функционально законченная программная единица, которая может применяться самостоятельно, либо быть частью программы.

Программное обеспечение создается на основе модульной структуры, состоящей из отдельных модулей. Для проектирования и документирования модульной структуры применяются структурные карты Константайна (Constantine), которые являются моделью отношений между программными модулями.

Структурная карта представляет собой ориентированный граф. Узлы структурных карт соответствуют модулям и областям данных, а дуги изображают межмодульные вызовы. При этом циклические и условные вызовы моделируются специальными узлами, привязанными к дугам.

В соответствии со стандартами IBM и ANSI для изображения элементов структурных карт используются изображения, представленные на
рис. 16 - 19.

Рис. 16. Элементы структурных карт.

Базовым элементом структурной карты является модуль. Можно выделить различные типы модулей (см. рис. 17).

Собственно модуль используется для представления обрабатывающего фрагмента ПО и для локализации его на диаграмме.

Подсистема – совокупность ранее определенных модулей. Может повторно использоваться любое число раз на любых диаграммах.

Библиотека отличается от подсистемы тем, что определена вне контекста системы.

Область данных используется для указания модулей, содержащих области глобальных (распределенных) переменных.

Рис. 17. Типы модулей на структурных картах

При построении структурных карт добавление модулей и увязывание их вместе осуществляется с использованием потоков, демонстрирующих иерархию вызовов. Различают последовательный и параллельный вызовы. При последовательном вызове модули могут вызываться в любом порядке или одновременно.

Для моделирования условных и циклических вызовов применяются условные и итерационные узлы, изображенные на рис. 18.

Рис. 18. Изображения условного и итерационного вызовов

Связи по данным и управлению между модулями (передаваемые как параметры) раскрываются аннотированием потоков вызовов (см. рис. 19). Стрелками отмечаются направления связей.

Рис. 19. Связи по данным и управлению

Техника структурных карт используется на этапе проектирования для того, чтобы продемонстрировать, каким образом системные требования будут отражаться комбинацией программных структур.