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

UptoLike

Рубрика:

- 39 -

На третьем этапе создаётся текст модуля на выбранном языке программиро-

вания. Необходимость учёта всевозможных деталей при реализации функций, ука-

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

и запутанного текста. Поиск ошибки в таком «непрозрачном» модуле и внесение в

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

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

ной на практике дисциплиной программирования. Первым об этом заговорил

Дейкстра, сформулировав и обосновав основные принципы структурного про-

граммирования [10]. Эти принципы лежат в основе многих дисциплин програм-

мирования. Наиболее распространена дисциплина пошаговой детализации [1].

На четвёртом этапе разработки ПМ на основе спецификации качества

ПС

текст модуля доводится до завершённого состояния. На третьем этапе основное

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

ста модуля разработчик редактирует имеющиеся комментарии и, возможно, вклю-

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

Пятый этап является ручной проверкой внутренней логики ПМ до начала его

отладки («прогоны» его

на компьютере).

На шестом этапе разработки завершается проверка модуля (с помощью

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

8.1. Структурное программирование

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

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

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

человека и ненадёжным. Поэтому Дейкстра [10] предложил строить программу в

виде композиции нескольких типов управляющих конструкций, которые позволяют

значительно повысить понимаемость логики работы программы. Программирова-

ние с использованием только таких конструкций назвали структурным.

На рис. 5 представлены основные конструкции структурного программирова-

ния: следование, разветвление и повторение. Компонентами этих конструкций яв-

ляются обобщённые

операторы (узлы обработки) S, S1, S2 и условие (предикат) Р.