Технология программирования. - 32 стр.

UptoLike

Рубрика:

- 34 -

– всегда следует использовать рутинный модуль, если это не приводит к пло-

хим (не рекомендуемым) сцеплениям модулей;

– модули, зависящие от предыстории, следует использовать только в случае,

когда это необходимо для обеспечения параметрического сцепления;

– в спецификации модуля, зависящего от предыстории, должна быть чётко

сформулирована эта зависимость для возможного прогнозирования поведения

данного

модуля при разных последующих обращениях к нему.

7.2. Подходы к разработке структуры программы

По традиции в качестве модульной структуры программы принято использо-

вать древовидную структуру. В узлах такого дерева размещаются программные

модули, а направленные дуги (стрелки) показывают статическую подчинённость

модулей, т.е. каждая дуга показывает, что в тексте модуля, из которого

она исхо-

дит, имеется ссылка на модуль, в который она входит.

Спецификация ПМ содержит

– синтаксическую спецификацию его входов для построения на используемом

языке программирования синтаксически правильного обращения к нему;

– функциональную спецификацию модуля (описание семантики функций, вы-

полняемых этим модулем по каждому из его входов).

Функциональная спецификация модуля строится так же

, как и функциональная

спецификация ПС.

При разработке программы её модульная структура может по-разному форми-

роваться и использоваться для определения порядка программирования и отладки

модулей, указанных в этой структуре. Поэтому можно говорить о разных методах

разработки структуры программы. В литературе рассматриваются два метода: ме-

тод восходящей разработки и метод нисходящей

разработки [3].

При методе восходящей разработки (снизу вверх) сначала строится модульная

структура программы в виде дерева. Затем поочерёдно программируются модули

программы, начиная с модулей самого нижнего уровня, чтобы для каждого програм-

мируемого модуля были уже запрограммированы все модули, к которым он может

обращаться. После этого производится поочерёдное тестирование и отладка модулей