Что моделирует трассировочная таблица?

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

• как меняются переменные после каждой операции;

• какие ветви условных операторов выбираются;

• как продвигается цикл (номер итерации, граничные случаи);

• когда и что попадает в вывод.

Например, для фрагмента с циклом и условием таблица содержит столбцы: № шага, вход/текущие значения (i, sum и т. п.), результат проверки условия, выполненная ветка, новые значения переменных, возможный вывод. Так видно, корректна ли логика, нет ли ошибок в индексах/условиях, достигаются ли нужные состояния и завершается ли алгоритм.