4.1. Структура алгоритма

Запись каждой детализации должна быть оформлена так, как это изображено ниже: (а) – для случая несамостоятельной части алгоритма; (б) – для случая алгоритма, выделяемого в самостоятельную подпрограмму.

(а)

(б)

Отметим, что для случая (а) раздел внутренних переменных вставляется только в том случае, если при разработке указанного плана недостаточно внутренних переменных алгоритма предшествующего уровня. В любом случае данные переменные являются глобальными для этой части алгоритма. Глобальными переменными считаются такие, которые определены для алгоритма верхнего уровня, с которого осуществляется переход на текущий уровень.

Примечание. В дальнейшем с целью сокращения записи вместо слов “план алгоритма” будет употребляться одно слово “план”.

4.2. Описание действий

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

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

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

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

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

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

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