4.3. Обратная подстановка

После построения всех планов (детализированных алгоритмов) необходимо выполнить (обратную) подстановку их в основной алгоритм. При этом все внутренние глобальные переменные собираются вместе и помещаются в разделе “Внутренние переменные” основного алгоритма.

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

Подстановка начинается с основного алгоритма. При этом любая строка алгоритма, рассматриваемая как имя плана, реализующего подзадачу, превращается в комментарий, а затем в следующих строках помещается текст соответствующего плана, записанный в нем между словами «Начало» и «Конец».

Если в тексте алгоритма встречается строка, действие в которой при детализации будет представлено подпрограммой, то в соответствующей позиции алгоритма помещается только указатель (вызов) подпрограммы.

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

Если описанный процесс выполняется сразу на языке программирования, то его результатом будет программа. Если же алгоритм записывается на языке псевдокода или русском алгоритмическом языке, то его надо перекодировать на заданный язык программирования. Отметим, что процесс кодирования рутинный и не вносит (не должен вносить!) никаких изменений в алгоритм.

В дополнение к этому надо собрать воедино все тесты, которые были разработаны на этапах проверки отдельных планов и алгоритмов. Этот набор тестов можно будет использовать для испытания программы на ЭВМ.

4.4. Пример

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

4.4.1. Разработка внешней спецификации

Вид внешней спецификации приведен на следующей странице.

4.4.2. Разработка главного алгоритма

Алгоритм будет разрабатываться на псевдокоде (русском алгоритмическом языке). Вначале запишем укрупненный алгоритм.

Это первый уровень детализации. В нем все действия алгоритма еще не раскрыты и подлежат детализации. Однако перед ее началом мы должны проверить представленный здесь алгоритм, чтобы быть уверенными, что в нем нет ошибок. В нашем случае проверка будет сведена к внимательному прочтению текста. Как видно из текста, логика алгоритма ошибок не содержит: сортировка будет выполняться только в том случае, если при вводе исходных данных не было ошибки. Поэтому можно переходить к детализации отдельных операций алгоритма.

Детализацию начнем с первой операции. Она будет составной частью основного алгоритма.

Проверка приведенного здесь плана также может быть сведена к простому чтению текста на предмет поиска описки (опечатки). Просмотр показывает, что ошибок в тексте нет. Кроме того, мы видим, что далее детализировать операции нет необходимости: в языке программирования Паскаль для кодирования этого текста потребуется два оператора writeln (по одному на каждую строку выводимого текста).

Далее приступим к раскрытию операции «Ввод-и-печать-входных-данных». Поскольку вводимые данные будут размещаться в переменных, которые уже объявлены выше, в приводимом тексте нет раздела “Внутренние переменные”.

Проверим полученный алгоритм (точнее план алгоритма).

Он сводится к последовательному выполнению трех действий: выводу запроса, вводу числа n, и конструкции если (трехальтернативной), действия в которой связываются с введенным значением n.

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

Итак, приступим к проверке.

В нашем случае выделено четыре варианта поведения проверяемого алгоритма в зависимости от значения введенной величины n. Для проверки используется один из методов стратегии разработки тестов, получившей название стратегия белого ящика. В кругу программистов вместо слова «стратегия» чаще используется слово «метод». Как содержание, так и виды различных методов тестирования будут рассмотрены позже. Сейчас отметим только, что для проверки данного плана алгоритма будет использован метод «все пути».

По критерию «все пути» требуется ровно 3 теста: два теста для двух аномалий из внешней спецификации и третий – для корректного значения n (для случая, когда ни одна аномалия не имеет места). Положим, что nmax = 4, и поместим тесты в таблице.

№	Назначение	Входные данные	Правильный ответ	Результат проверки
1	Реакция на (n < 0)	–10	Текст “Ошибка” Ошибка := true	Правильно
2	Реакция на (n > nmax)	24, 12, 6, –5, 55, 0, 45, …	Текст “Объем массива превышает 4”. Ошибка := false Ввод и печать массива четырех чисел : 12, 6, -5, 55	Правильно
3	Реакция на допустимое значение n	3, 12, 6, -5	Ошибка := false Ввод и печать массива чисел : 12, 6, –5	Правильно

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

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

При проверке данного алгоритма исходим из того, что значение переменной n уже определено и имеет допустимое значение (смотрите предыдущий алгоритм). С учетом сказанного для его проверки достаточно одного теста:

Запись результатов трассировки приведена ниже.

Обратите внимание, что этот тест совпадает по данным с тестом номер 3 (смотрите выше).

Выполнение теста показывает совпадение результата с ожидаемым.

Вывод: Результаты верны. Следовательно, алгоритм ошибок не содержит.

Далее разберем алгоритм “Вывод-массива”.

Пусть в соответствии с внешней спецификацией элементы выводимого массива должны размещаться по пять чисел в строке. Поэтому в алгоритме необходимо предусмотреть подсчет выведенных чисел и смену строки. Для выявления факта смены строки используем операцию целочисленного деления «остаток от деления по модулю» - mod.

Для проверки этого алгоритма также достаточно одного теста. Только в этом случае количество выводимых чисел должно быть более 5, чтобы убедиться в том, что строка меняется вовремя. Можно модифицировать тест номер 3, добавив еще несколько чисел.

Новая версия теста номер 3:

Дано: 7, 12 , 6, -5, 55, 0, 45, 2 {Первое число (7) –количество чисел}

Требуется:

Трассировки этого теста мы выполнять не будем. Достаточно выполнить ее «в уме». Она покажет, что ошибки нет.

Теперь разберем операцию “Вывод-результата”:

Проверку этого алгоритма можно свести только к внимательному прочтению его текста, поскольку все составляющие его операции нами уже проверены ранее, и ошибку мы можем внести только по невнимательности. Дополнительного теста также не требуется, поскольку согласно основному алгоритму, если выполнялась операция “Ввод-и-печать-входных-данных” для теста номер 3, то выполнится и данная операция.

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

Теперь, для того чтобы закончить разработку основного алгоритма, достаточно разработать внешнюю спецификацию подпрограммы “Сортировка”, одним из результатов чего будет правильная запись указателя (вызова) подпрограммы сортировки в нашем алгоритме. Отметим, что поскольку подпрограмма должна вызываться из программы на Паскале, в ее внешней спецификации должны быть учтены особенности Паскаля.

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

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

С учетом сказанного, внешнюю спецификацию подпрограммы сортировки можно представить следующим образом:

Используя эту внешнюю спецификацию, в основном алгоритме вызов подпрограммы сортировки можно записать одним из двух способов:

Первый способ: {с использованием обозначений псевдокода}

а := SortAll (a, n)

Примечание. Обратите внимание, что непосредственно из записи следует, что параметр a является как входным, так и выходным.

Второй способ: { с использованием обозначений, принятых в Паскале}

SortAll (a, n)