Cтраница 3
Нижеследующее преобразование позволяет итеративно упрощать помеченную структурированную программу до тех пор, пока она не примет форму рекурсивной структурированной программы. [31]
Таким образом, алгебра структурированных программ позволяет рассматривать структурированную программу любой сложности как составное программное выражение над меньшими структурированными программами, а любое сложное программное выражение - как одно выражение, если это, конечно, удобно. [32]
Оаэионнм структурам соответствуют элементарные предложения системы программирования, то структурированная блок - Схема будет в этой системе реализована структурированной программой. Локализуются и упорядочиваются связи между участками программы. Становится догко оценивать взаимное воздействие этих участков, которое теперь сводится только к передаче информации. [33]
Библиотеки пользователя, содержащие оптимизированные программы решения типовых математических задач, и являются библиотеками моделей, из которых формируются структурированные программы решения сложных прикладных задач. [34]
Структурирование прикладных программ по существу основано на разбиении сложной прикладной задачи на ряд типовых математических подзадач, решение которых обеспечивается модулями структурированной программы. Использование типовых моделей, оптимизированных по требуемому критерию качества, позволяет значительно уменьшить затраты времени на составление прикладной программы, что отвечает основному критерию ее качества - минимум затрат времени на решение задачи. [35]
Базовая логическая структура выбор. [36] |
Все перечисленные базовые логические структуры изображены на рис. 6.3 - 6.6. Таким образом, при разработке и графическом исполнении блок-схем алгоритма решения структурированных программ используются сочетания перечисленных базовых структур. [37]
Подобно тому как в процессе пошагового совершенствования программы образуется документированная последовательность промежуточных функций и их эквивалентных представлений, в процессе пошаговой реорганизации должна возникать последовательность структурированных программ, из которых только для первой проводится доказательство правильности, а для каждой из последующих доказывается, что она эквивалентна предыдущей. Каждый шаг реорганизации служит основой верификации для последующих шагов, и обычно не объясняют, почему окончательная программа является правильной. [38]
На конгресса ИШ1 - ГА, как указано в / 9 /, были сформулированы следующие трудности структурного программирования; сочетание структуры программы со структурой данных, трудности оптимизации при сохранении структуры, противоречивость между глубокой делимостью структурированной программы и заданной модульностью структурной системы, противоречивость направления детализации программы с направлением отладки. Существуют препятствия для применения структурного программирования, связанные с переобучением и преодолением недоверия и разочарования. [39]
Итерация представляет собой структуру, в которой при каждом обращении один или несколько операторов повторяется более одного раза. Для структурированных программ число итераций должно быть задано до входа в цикл, а не определяться вычислениями внутри цикла. [40]
Правила формирования структурированных программ.| Простейшая блок-схема. [41] |
Для упрощения используются только структуры с единственным входом и единственным выходом, то есть имеющие только одну точку входа и одну точку выхода. Это упрощает формирование структурированных программ последовательным соединением управляющих структур: выход одной структуры подключается непосредственно ко входу следующей, т.е. управляющие структуры просто размещаются в программе одна за другой. [42]
Критическое чтение структурированной программы с целью проверки ее правильности и возможности упрощения позволяет судить о качестве ее разработки. На начальной стадии разработки структурированной программы сущность последней может быть выражена посредством мысленного анализа либо интуитивно без облечения в структурированную форму. [43]
В книге предпринята попытка определить хороший стиль программирования и показать, как программы, написанные в хорошем стиле, могут быть более легкими для чтения и понимания, часто более короткими и более эффективными. Авторы отмечают, что даже структурированные программы могут не обладать такими свойствами. Приведено и проанализировано большое количество примеров. [44]
В целом ряде ситуаций программируемая функция является достаточно простой, хотя отработка деталей может оказаться утомительной. В таких ситуациях просто пишется структурированная программа, причем проектирование осуществляется непосредственно путем последовательной реализации заданной функции. [45]