Список контрольных значений и ручная проверка

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

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

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



Стальные печи для бани и сауны лучших дровяных печей для русской бани и сауны. . Основное завертка дверная.