Управляющая логика

Cтраница 4

Документация для большой программы не должна быть всего лишь смесью комментариев к ее составным частям. Она должна описывать и то, как эти части функционируют в качестве целей и подцелей, а также управляющую логику их взаимодействия. [46]

Программа, полученная в результате выполнения процесса пошагового совершенствования, далее проходит пошаговую реорганизацию с целью повышения ее эффективности. Каждый из шагов нового процесса не должен быть большим, чтобы с достаточной степенью уверенности позволять осуществление верификации получаемой функции. На шаге процесса реорганизации может вводиться новая управляющая логика для обработки существующей структуры данных или новая структура данных, обрабатываемая существующей управляющей логикой. Однако обычно на одном шаге процесса не могут одновременно существенно меняться структуры данных и управления. Каждая версия программы выступает в качестве функциональной спецификации для ее следующей реорганизованной версии. При этом начальные версии могут быть предназначены для задания входных данных для других частей разрабатываемой программной системы более высокого уровня, если обеспечена необходимая эффективность. Отметим, что пошаговая реорганизация - это не просто доводка программы, но принцип построения сложных программ, которые после прохождения стадии реорганизации более пригодны для использования, чем их менее эффективные версии. На практике отдельные шаги процессов совершенствования и реорганизации программы можно объединять, получая таким образом итеративный процесс, посредством которого правильность программы на каждом уровне обеспечивается на шаге совершенствования, а эффективность - на шаге реорганизации, который реализуется до начала следующего шага совершенствования. [47]

Строгое определение цикломатической сложности основано на понятии графа управляющей логики ( control flow graph) модуля ПО, который описывает логическую структуру модуля. Строится он следующим образом: вычислительные операторы или выражения изображаются в виде узлов, а передача управления между узлами - в виде дуг. Каждый возможный путь выполнения модуля ПО имеет соответствующий путь от узла входа ( entry node) к узлу выхода ( exit node) на графе управляющей логики модуля. И это соответствие составляет основу методики структурного тестирования. [48]

Эта блок-схема ясно показывает, что задание начального значения производится только один раз и что изменение переменной происходит каждый раз после выполнения оператора тела цикла. Заметьте, что ( не считая маленьких окружностей и стрелок) блок-схема содержит только символы прямоугольников и ромбов. Представим себе снова, что программист имеет доступ к глубокому бункеру, содержащему пустые структуры for - столько, сколько может потребоваться программисту для пакетирования и вложения в другие управляющие структуры, чтобы структурированно отобразить управляющую логику алгоритма. И затем эти прямоугольники и ромбы заполняются необходимыми действиями и условиями выбора в соответствии с алгоритмом. [49]

Из этой блок-схемы видно, что каждый оператор break в конце case вызывает немедленный выход из структуры switch. Отметим снова, что ( не считая маленьких окружностей и линий связи) блок-схема содержит только символы прямоугольников и ромбов. Представьте себе опять, что программист имеет доступ к глубокому бункеру, содержащему пустые структуры switch - столько, сколько может потребоваться программисту для складывания их пачками и вложения в другие управляющие структуры, чтобы структурированно отобразить управляющую логику алгоритма. И затем эти прямоугольники и ромбы заполняются необходимыми действиями и условиями выбора в соответствии с алгоритмом. Вложенные управляющие структуры - дело обычное, но вложенные структуры switch в программах встречаются редко. [50]

Применение структуры do / while. [51]

Блок-схема структуры do / while приведена на рис. 2.25. Она наглядно показывает, что условие продолжения циклов не проверяется, пока тело цикла не выполнится хотя бы один раз. Снова отметим, что ( не считая маленьких окружностей и линий связи) блок-схема содержит только символы прямоугольников и ромбов. Снова представьте себе, что программист имеет доступ к глубокому бункеру, содержащему пустые структуры do / while - столько, сколько может потребоваться программисту для складывания их пачками и вложения в другие управляющие структуры, чтобы структурированно отобразить управляющую логику алгоритма. И снова эти прямоугольники и ромбы заполняются необходимыми действиями и условиями выбора в соответствии с алгоритмом. [52]

Программа загружается в память ПК при помощи программатора любого из следующих двух типов. Первый тип программатора-это экранный терминал, изображенный на рис. 3.4. Он позволяет программисту использовать для записи управляющей логики в память язык ре-лейно-контактных схем лестничного типа или какой-либо другой язык программирования. Мы рассмотрим вопросы программирования ПК в следующем подразделе. Второй тип программатора-это небольшое ручное клавишное устройство, при использовании которого управляющая логика и другие данные вводятся в память ПК посредством специальных функциональных кнопок и координатных указателей. Ручные программаторы стоят дешевле и более портативны, но экранные терминалы оказываются удобнее для реализации функций программирования ПК. [53]

Затем мы приступаем к проектированию программного сегмента, чтобы удовлетворить его подспецификации на следующем уровне ( при этом возможно использование новых имен), в то время как более мелкие детали программы переносятся на следующий, более низкий уровень сегментирования. Подобный процесс повторяется до тех пор, пока не будет достигнута необходимая степень детализации программы. Окончательная программа может иметь любой объем и представляет собой древовидную структуру, состоящую из сегментов, которые вызываются с помощью предложений run. Каждый такой сегмент можно читать последовательно, не опасаясь побочных эффектов со стороны управляющей логики, не принадлежащей данному сегменту. [54]

Устройство управления построено на основе управляющего ПЗУ, в котором хранятся длинные ( около 40 бит) слова микрокоманд. Каждая микрокоманда содержит биты, управляющие элементарными устройствами обработки данных. Поступление каждой микрокоманды сопровождается подачей тактового сигнала, который инициирует выполнение какого-либо простого действия, такого, например, как пересылка данных или сложение содержимого двух регистров. Машинная команда реализуется путем последовательного выполнения нескольких микрокоманд. Таким образом, какие-то биты микрокоманды должны определять очередной адрес микропрограммной памяти, предоставляя управляющей логике сведения о том, откуда устройство управления последовательностью микрокоманд должно брать входную информацию для формирования этого адреса. [55]

Следящий, или серво - АЦ-преобразователь. [56]

Следящие, или серво-преобразователи ( рис. 2.15), довольно просты и относительно дешевы. Такой преобразователь содержит ЦА-преобразователь, генерирующий на выходе аналоговый сигнал, пропорциональный содержимому счетчика. Цикл преобразования начинается с установки счетчика в нуль. Затем содержимое счетчика увеличивается с каждым тактовым циклом, вызывая увеличение величины выхода ЦА-преобразователя. Когда сигнал на выходе ЦА-преобразователя достигнет или превысит входное аналоговое напряжение, компаратор выдает сигнал схеме управляющей логики для остановки работы счетчика. Выход ЦА-преобразователя ( рис. 2.16) представляет собой ступенчатую функцию, максимальное значение которой равно входному напряжению. [57]

Страницы: 1 2 3 4