- •Билет 1. Базовые понятия программирования. Действие, процесс, алгоритм, программа.
- •Билет 2. Функциональная структура эвм. Основные устройства эвм, их функциональные характеристики.
- •1972Г – Дейкстра – Книга о базисе и структурированном программировании.
- •Выбор из нескольких альтернатив. Реализация в Pascal.
- •Документирование программы:
- •1. Постановка задачи (спецификация задачи: в спецификации различают две существенно разные ее части: функциональную и эксплуатационную спецификацию.
- •Классификация алгоритмов внутренней сортировки
- •Концепция структурного программирования:
- •Локализация и исправление ошибок в системе отладки
- •Метод деления пополам.
- •Мобильность программ, отличие турбо паскаля от стандартного
- •Надежность программы, организация надежного ввода.
- •Основные декомпазиционные структуры программ
- •Основные правила композиции структурированных программ.
- •Основные стратегии проектируемых алгоритмов
- •Основные действия при отладке
- •Побочный эффект
- •1. Использовать процедуры с параметрами (чистые процедуры), за исключением явных случаев, когда параметры не нужны. Доводы в пользу использования чистых процедур:
- •2. Глобальные переменные в процедуре целесообразно использовать в след. Основных случаях:
- •Правила записи программируемого модуля
- •Скалярные типы данных в языке Pascal.
- •Структурные уровни яп
- •Массивы.
- •Функциональное и структурное тестирование
- •Характеристика восходящих и нисходящих способов отладки
- •Цель и содержание отладки:
- •Чистые процедуры. Правила и способы подстановки параметров
- •Эффективность программы
Основные декомпазиционные структуры программ
В основе операции декомпозиции задачи на подзадачи лежит принцип раскрытия абстракции.
Абстрактной инструкцией, или просто абстракцией, назовем инструкцию, описывающую действие, выполнить которое процессор не может на данном уровне проектирования. Другими словами, абстракция есть инструкция обращения к алгоритму, которого еще не существует. Этим абстрактная инструкция отличается от элементарной инструкции вызова процедуры, которая обращается к реальной процедуре.
Абстрактная инструкция не может быть выполнена, так как ссылается на абстрактный алгоритм, который еще не разработан и который, в свою очередь, может тоже содержать абстракции.
Сегмент - это алгоритм, содержащий абстракции. Именно наличием абстракции объясняется свойство сегмента порождать другой сегмент.
Раскрытие абстракции состоит в разделении действия на композицию других, более простых действий с использованием введенных выше правил декомпозиции. Таким образом, нисходящее проектирование - это процесс раскрытия абстракций. Этот процесс можно свести к последовательности элементарных шагов, если связать каждый шаг с одной управляющей структурой : следование, выбор или повторение.
На каждом следующем уровне детализации логика работы модуля будет описываться все точнее и ближе к реальному алгоритму. Когда получим алгоритм, у которого все абстракции раскрыты в элементарные инструкции языка проектирования, можно считать, что процесс разработки алгоритма завершен.
Общие принципы, которых следует придерживаться на каждом шаге декомпозиции в процессе разработки.
1. Концентрируйте внимание прежде всего на самом существенном, отвлекаясь от мелочей.
2. Прежде чем раскрыть абстракцию, оцените принятое решение, сравните с другими возможными вариантами декомпозиции.
3. Проведите тщательную спецификацию данных, требуемых на очередном уровне детализации алгоритма, это поможет принять вам правильное решение.
4. Если на каком-либо шаге встретились непредвиденные проблемы, постарайтесь еще раз пересмотреть решения, принятые на предыдущих шагах, и, если требуется, заменить их на другие варианты.
Элементами декомпозиции задачи на подзадачи являются сегменты. Каждый сегмент является результатом раскрытия некоторой абстракции, заключенной в сегменте более высокого уровня.
На языке Паскаль будем описывать абстрактное действие в виде комментария, обрамленного рамкой.
При раскрытии абстракции используются две формы сегмента: форму блока (сегмент - блок) и форму процедуры (сегмент - процедура).
Сегмент описывается в виде блока, если он не реализует типовой алгоритм, а выделен с целью облегчения анализа и разработки алгоритма. На языке Паскаль он может быть закодирован либо в виде фрагмента программы, который в дальнейшем будет подставлен после порождающей его абстракции, либо в виде процедуры без параметров.
Сегмент описывается в виде процедуры, если он реализует типовой алгоритм, который может носить универсальный характер. На языке Паскаль он реализуется в виде процедуры с параметрами.