Структурные карты Константайна.

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

а — модуль; б — вызов модуля; в — связь по данным; г — связь по управлению

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

• модуль (рис. а);

• подсистема — детализированный модуль или программа. Может использоваться повторно любое число раз (рис. б);

• библиотека — совокупность подпрограмм, размещенных в модуле отдельно от данной системы (рис. в);

• область данных — описывает модули, содержащие исключительно области глобальных/распределенных данных (рис г).

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

Для моделирования условных и циклических вызовов применяются следующие узлы (рис. 4.6):

• условный узел применяется для моделирования конструкций IF-THEN-ELSE (на диаграмме из узла выходят два потока) и IF-THEN (из узла выходит один поток);

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

Условные и циклические вызовы модулей: а — циклический; б — условный; в — однократный

Если необходимо показать, что подчиненный модуль вызывается однократно, это осуществляется указанием цифры «1» рядом со стрелкой, обозначающей вызов модуля-наследника.

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

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

Различают следующие виды сцепления:

1. по данным //если модуль обменивается скалярными значениями

2. по образцу //если модуль обменивается данными, объединенными в структуры

3. по управлению //если 1 модуль посылает другому некоторые инф.объект, флаг предназначения для управления внутренней логикой работы модуля

4. по общности области данных //если модуль работает с общей областью данных

5. по содержимому //если 1 модуль содержит обращение к внутренним компонентам другого модуля (передает управление внутрь, читает или изменяет внутренние данные или сами коды)

Допустимы только 1-3 типы

Различают следующие виды связности:

2. Функциональная – все объекты только для выполнения 1 функции

3. Последовательная – вых является вх для другого модуля

4. информационная – обрабатывает одни и те же данные

5. временная – выполнение функций параллельно

6. логическая – объединение функций в логическую группу

7. случайная- несвязанные элементы