Билет 48. Способы организации надежного ввода из стандартного файла, влияние на структуру программы.

Надежный ввод обеспечивает ввод допустимых значений данных, диапазон которых определен в спецификации.

Пример.

Задача: вычислить сумму ряда S для заданного х с точностью eps.

Организация надежного ввода:

Способ 1. Анализ аномалий.

Аномалии: abs(x)>=1, eps<=0, eps>=1.

Входная форма описывает однократный последовательный ввод переменных х и eps.

Выполняется проверка условия в программе: если исходные данные верны, то происходит вычисление и печать результата, иначе выдается сообщение о неправильных входных данных.

Чтобы выполнить программу при исправленных данных, требуется повторно ее запустить.

Способ 2. Надежный ввод.

Правильность данных проверяется при вводе. Данные повторяются до тех пор, пока не введутся правильные данные.

Реализация повторения с использованием цикла:

а) Метод объединения условий.

Этот метод структурирования состоит в объединении нескольких условий выхода из цикла в одно сложное логическое выражение:

repeat

writeln('Введите правильно х, eps');

readln (x,eps)

until (abs(x)<1) and (eps>0) and (eps<1);

Повторяется ввод данных до тех пор, пока не выполнятся одновременно три условия: abs(х)<1 и 0<eps и eps<1.

Билет 49. Организация массива из текстового файла. Процедуры, обеспечивающие различную степень зависимости от входных данных.

Кусок программы:

{Программа не зависит от данных}

Program prog_4a (Afile);

const Nmax=100;

type vector = array [1..Nmax] of real;

var N, i: 1. .Nmax; Afile:text;

A: vector;

begin

Writeln (‘Введите N’);

readln (N);

for i:=1 to N do

read (Afile, A[N]);

readln (Afile);

close (Afile)

end.

{Программа зависит от данных}

Program example1 (Afile);

const N=20;

type vector = array[1..N] of real;

var i : 1..N; A : vector; Afile : text;

begin

{инициализация файла Afile}

for i:=1 to N do

read (Afile,A[i]);

readln(Afile);

close (Afile)

end.

Легко заметить, что организация ввода массива из файла объединяет обычный ввод массива и ввод одной переменной из файла.

Первая программа не зависит от данных, так как мы сами вводе необходимое число элементов массива, которое не должно превышать Nmax=100. Как итог, ввод числа из файла или непосредственно с клавиатуры делает программу независящей.

Во втором случае берутся первые 20 элементов массива, поэтому эта программа зависит от данных.

Билет 50. Локализация процедур Паскаля. Внешние процедуры.

Программа на языке Паскаль имеет блочную структуру.

Любой объект должен быть описан в каком-либо блоке. Говорят, что объект локализован в том блоке, где он описан. Все очень печально и фиг знает, как это объяснить подробно и понятно.

Стандартная версия языка Паскаль содержит только внутренние процедуры: описание и вызов процедур локализованы в головном модуле и компилируются вместе с ним. Это обеспечивает необходимую строгость при локализации объектов.

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

С точки зрения операционной среды, модуль(внешний модуль) – это отдельно компилируемая часть программы.

С точки зрения ЯП, модуль – это самостоятельная часть программы, к которой можно обращаться по имени. В паскаль-программе может быть только один головной модуль и несколько процедурных модулей.

В турбо паскале имеется механизм работы с внешними модулями, что вместе с процедурными типами и средствами программирования нулевого уровня приближает Паскаль к языку Модуля-2.

Модуль имеет следующую структуру:

Unit <Имя>;

INTERFACE

<Интерфейсная часть>

IMPLEMENTATION

<Исполнительная часть>

Begin

<Инициирующая часть>

End.