Рис. 5.17. Макет экрана со строками диалога программы
Шаг 4. НАГЛЯДНОЕ ИЗОБРАЖЕНИЕ ПРОЦЕССА ПРЕОБРАЗОВАНИЯ ВХОДНЫХ ДАННЫХ ОБОБЩАЮЩЕГО ТЕСТА В ВЫХОДНЫЕ
Вводим описание новых внутренних переменных:
var {Рабочие переменные}
i, j: word;
На первый взгляд, кажется, что необходимо ввести переменное количество промежуточных массивов (в зависимости от количества цифр второго сомножителя) для запоминания продукта умножения первого сомножителя на очередную цифру второго сомножителя. Однако внимательный анализ структур данных позволяет найти иной способ выполнения расчетов. При этом способе сначала обнуляется результат. Далее результат последовательно увеличивается на сдвинутый на разряд влево продукт умножения первого сомножителя на очередную цифру второго сомножителя. Переоформляем наглядное изображение процесса преобразования входных данных обобщающего теста.
На странице 4 или следующей иногда полезно поместить описание алгоритма в обыденном неструктурированном понимании.
Каждая последующая страница содержит результаты процесса детализации очередной выделенной от общего к частному структуры.
Шаг 5. ПОСЛЕДОВАТЕЛЬНОСТЬ ДЕТАЛИЗАЦИИ АЛГОРИТМА
Шаг 5.1. Результаты детализации СЛЕДОВАНИЯ "Вся программа"
Следование "Вся программа" детализируется ЦЕПОЧКОЙ СЛЕДОВАНИЙ:
begin
ClrScr; {Очистка экрана}
{Ввод корректного значения числа цифр первого сомножителя}
C1.N
Write('Вводите цифры первого сомножителя ');
{Ввод цифр первого сомножителя в порядке от C1.D[C1.N] до C1.D[1]}
C1.D
WriteLn;
{Ввод корректного значения числа цифр второго сомножителя}
С2.N
Write('Вводите цифры второго сомножителя ');
{Ввод цифр второго сомножителя в порядке от C2.D[C2.N] до C2.D[1]}
WriteLn;
{Расчет произведения сомножителей}
R.D R.N Error
{Устранение лидирующих нулей}
WriteLn;
{Вывод результата произведения}
WriteLn;
end.
Без отступов показана входная и выходная информация структур, которая использовалась при проверке информационной согласованности СЛЕДОВАНИЙ в ЦЕПОЧКЕ СЛЕДОВАНИЙ.
СЛЕДОВАНИЕ "Устранение лидирующих нулей" необходимо при использовании сомножителя, состоящего из нескольких нулей.
Шаг 5.2. Детализация СЛЕДОВАНИЯ "Ввод корректного значения числа цифр первого сомножителя"
СЛЕДОВАНИЕ "Ввод корректного значения числа цифр первого сомножителя" декомпозируется циклом:
{Ввод корректного значения числа цифр первого сомножителя}
repeat
Write('Введите число цифр первого сомножителя');
Write(' от 1 до ', Digits, ' ');
ReadLn(C1.N);
until ((C1.N >= 1) and (C1.N <= Digits));
Цикл оттестирован тремя тестами: C1.N=1; C1.N=3; C1.N=Digits.
Аналогично декомпозируется процесс "Ввод корректного значения числа цифр второго сомножителя".
Шаг 5.3. Детализация СЛЕДОВАНИЯ "Ввод цифр первого сомножителя в порядке от C1.D[C1.N] до C1.D[1]
СЛЕДОВАНИЕ "Ввод цифр первого сомножителя в порядке от C1.D[C1.N] до C1.D[1] декомпозируется циклом:
{Ввод цифр первого сомножителя в порядке от C1.D[C1.N] до C1.D[1]}
for i:= C1.N downto 1 do begin
{До ввода корректного символа цифры}
repeat
ch:= ReadKey; {Чтение символа клавиатуры}
Val(ch, C1.D[i], InCode); {Преобразование в значение}
until(InCode = 0);
Write(ch);
end;
Описания новых переменных:
var {Рабочие переменные}
InCode: word;
ch: Char;
Несмотря на то что здесь в нарушение правил детализировано сразу два цикла, в тестировании нет необходимости.
Аналогично декомпозируется процесс "Ввод цифр второго сомножителя в порядке от C2.D[C2.N] до C2.D[1].
Шаг 5.4. Детализация СЛЕДОВАНИЯ "Вывод результата произведения"
СЛЕДОВАНИЕ "Вывод результата произведения" декомпозируется АЛЬТЕРНАТИВОЙ — РАЗВИЛКА С ДВУМЯ ДЕЙСТВИЯМИ:
{Вывод результата произведения}
if ERROR
then
WriteLn(Ошибка переполнения)
else
begin
{Вывод продукта умножения}
end;
Тесты: ERROR = True; ERROR = False.
Шаг 5.5. Детализация СЛЕДОВАНИЯ "Вывод продукта умножения"
СЛЕДОВАНИЕ "Вывод продукта умножения" декомпозируется циклом:
{Вывод продукта умножения}
for i:= R.N downto 1 do
Write(R.D[i]);
В тестировании нет необходимости.
Шаг 5.6. Детализация СЛЕДОВАНИЯ "Устранение лидирующих нулей"
СЛЕДОВАНИЕ "Устранение лидирующих нулей" декомпозируется циклом:
{Устранение лидирующих нулей}
while ((R.N > 1) and (R.D[i] = 0)) do
Dec(R.N); {R.N:= R.N — 1}
В тестировании нет необходимости.
Шаг 5.7. Детализация СЛЕДОВАНИЯ "Расчет произведения сомножителей"
СЛЕДОВАНИЕ "Расчет произведения сомножителей" декомпозируется циклом:
Вход: C1, C2.
{Расчет произведения сомножителей}
{Цикл задает номер j очередной цифры второго сомножителя}
ERROR:= False;
j:= 1;
R.D[1]:= 0;
while ((j <= C2.N) and
