Cтраница 1
Структурированная программа целиком состоит из блок-программы и блоков ( то есть операторов или подпрограмм), к которым блок-программа обращается. [1]
Структурированные программы следует писать таким образом, чтобы они легко читались и были понятны. На первый взгляд может показаться, что структурированную программу написать не намного труднее, чем неструктурированную. [2]
Структурированная программа сама по себе не является гарантией того, что разработка будет выполнена успешно. Структурное программирование только предоставляет возможность для успешного проектирования программ. В хорошем проекте заложено решение задачи, не более сложное, чем сама задача, которую следует решить. Составление проекта базируется на нахождении достаточно простых решений, а отнюдь не на примитивном мышлении. Обычно хорош последний вариант разработки, но никак не первый. Известным примером чрезмерного усложнения задачи является попытка описать Солнечную систему как систему, вращающуюся вокруг Земли. Две тысячи лет человечество безуспешно пыталось решить эту неверно поставленную задачу, пока не догадалось поместить Солнце в центр системы. [3]
Структурированные программы, полученные в прочтете доказательства теоремы о структурировании, могут быть недостаточно гюнятиымч и эффективными. [4]
Алгебра структурированных программ является мощным средством для чтения, написания и доказательства правильности структурированных программ. Она позволяет программисту путем логического преобразования справляться со сложной логикой обработки данных. Точно так же школьник методически выполняет преобразование сложных для него арифметических выражений. Алгебра дает возможность программисту представить функционирование программы в целом, а не только ход ее выполнения для конкретных данных. [5]
Разработка структурированных программ представляет собой творческий созидательный процесс, для овладения которым необходимо наличие определенных знаний и практического опыта. [6]
В структурированной программе, состоящей из некоторого числа подпрограмм, должным образом скоординированных между собой для решения поставленной задачи, на различных эгапах исполнения приходится принимать решения о том, куда следует передать управление. Единственная информация, на основе которой могут быть приняты подобные решения - это содержимое регистров, ячеек памяти и состояние условных признаков. [7]
Критическое чтение структурированной программы с целью проверки ее правильности и возможности упрощения позволяет судить о качестве ее разработки. На начальной стадии разработки структурированной программы сущность последней может быть выражена посредством мысленного анализа либо интуитивно без облечения в структурированную форму. [8]
Преобразуйте результирующую структурированную программу путем расширения новых функциональных узлов. [9]
Язык текстового описания структурированной программы ( ТОСП) предназначен для исчерпывающего описания проекта программного модуля и служит единственным документом как для составления текста программы, так и в качестве отчетного материала по этапу проектирования. [10]
Таким образом, алгебра структурированных программ позволяет рассматривать структурированную программу любой сложности как составное программное выражение над меньшими структурированными программами, а любое сложное программное выражение - как одно выражение, если это, конечно, удобно. [11]
Любая простая программа функционально эквивалентна структурированной программе, составленной из элементов базисного множества последовательность, ifthenelse, whiledo с использованием функций и предикатов исходной программы, а также присваиваний и тестов над дополнительным счетчиком. [12]
Теорема правильности показывает, что все структурированные программы, выраженные через элементарные, содержащие не более одного предиката, могут быть верифицированы ( за исключением вопроса окончания программ) посредством применения методов рассуждения, требуемых для программ типа последовательность и ifthen-else. Проблемы доказательства правильности могут оказаться слишком трудоемкими, но теоретически они разрешимы. [13]
Поскольку нашей главной целью является разработка структурированных программ, возникает вопрос: какая стратегия мышления способствует вырабатыванию решений в структурированном виде. [14]
На рис. 4.18 показаны правила построения правильно структурированных программ. Правила подразумевают, что символ прямоугольника может означать в блок-схеме любое действие, включая операции ввода / вывода. [15]