Отладка

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