отладка

EN: debugging

Дисциплинированный процесс поиска причины неправильного поведения программы. Поскольку машина детерминирована — цикл выборка-декодирование-исполнение всегда делает одно и то же для одного и того же состояния — отладка является рассуждением, а не угадыванием: сформировать гипотезу о том, какой шаг отклонился от ожидаемого, затем проверить её, сужая диапазон, читая трассировку и проверяя состояние.