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

UptoLike

- 38 -
Статический контроль представляет собой оценку структуры программы, её
разделения на модули с учётом значений рассмотренных выше основных характе-
ристик ПМ.
Смежный контроль сверху представляет собой контроль со стороны разра-
ботчиков архитектуры и внешнего описания ПС; смежный контроль снизукон-
троль спецификации ПМ со стороны их разработчиков.
Сквозной контроль является мысленной проверкой
структуры программы при
выполнении заранее разработанных тестов. Этот контроль является видом динами-
ческого контроля так же, как и ручная имитация.
8. Проектирование и разработка ПМ
При разработке ПМ рекомендуется придерживаться следующего порядка [6]:
изучение и проверка спецификации модуля, выбор языка программирования;
выбор алгоритма и определение структуры данных;
программирование (кодирование) модуля;
шлифовка или доводка текста модуля;
проверка модуля;
компиляция модуля.
Первый этап разработки программного модуля во многом является смежным
контролем структуры программы снизу. Изучение спецификации
модуля необхо-
димо разработчику для проектирования этого модуля. После чего выбирается язык
программирования, который может быть либо уже предопределён для всего ПС,
либо может быть выбран другой язык, более подходящий для реализации данного
модуля (например, язык ассемблера).
На втором этапе разработки ПМ необходимо определить, есть ли уже какие-
либо алгоритмы
для решения поставленной задачи. И если найдётся подходящий
алгоритм, то целесообразно им воспользоваться. Определение подходящих струк-
тур данных во многом предопределяет логику и качественные характеристики раз-
рабатываемого модуля.