30. Основные принципы отладки программ.

Основные цели отладки являются установление факта работоспособности КП и его соответствия требованиям ТЗ, так как источником эталона является ТЗ. При различных методах провидения отладки должны решаться следующие задачи :

1. Определение наличия ошибки и отклонение от эталонов.

2. Диагностика и локализация ошибок.

3. Информирование оператора о ходе обработки информации и о наличии ошибок.

4. Устранение ошибок, коррекция программ и документации.

Наиболее сложные задачи – 1 и 2, что связано с трудностями формализации процесса отладки.

3 => актуально для управляющих СРМВ, ибо в процессе работы с объектом управления возникновение ошибки может быть не очевидным, а результаты могут проявиться через значительное время после появления ошибки.

4 => очень часто на практике реализуется лишь частично, то есть безусловно проводится устранение ошибки и коррекция программы, а коррекция документации в плоть до не исправления исходного текста программы не производится. По сути дела процесс отладки состоит в построении последовательности правдоподобных гипотез об ошибках и их проверке, что локализует ошибку.

31. Методы отладки программ.

Основным подходом при отладке сложных КП является последовательное (постепенное) иерархическое усложнение задач и увеличение объема совместно функционирующих программ. Это происходит из-за эффекта так называемого маскирования ошибки, когда одни ошибки не позволяют локализовать другие. При большом количестве одновременно возникающих ошибок отладка может стать невозможной.

Процесс отладки по уровню сложности степени связи с реальными объектами и функционирования на реальной аппаратуре можно разделить на следующие этапы:

1. Автономная отладка компонент из замкнутых подсистем в статике.

2. Комплексная отладка компонент подсистемы КП в целом.

3. Комплексаня отладка КП в целом без подключения к реальной системе с учетом динамики.

4. Комплексная отладка КП в целом с учетом динамики на реальном объекте.

Для автоматизированной информационной системы (АИС) отладка завершается, как правило, двумя первыми этапами. Напротив, для СРМВ отладка включает все 4 этапа, а 3 и 4 являются не только необходимыми, но и чрезвычайно важными.

С точки зрения методов ( по типам эталонов) применяются следующие 3 группы методов:

1. Структурный контроль соответствия КП формализованным правилам построения.

2. Отладка по частым детерминированным реализациям тестов.

3. Отладка по статистическим характеристикам реализации тестов на основе статистических характеристик функционирующих применяемых алгоритмов.

1 => проверяется структура построения компонентов подсистем и КП в целом, проводится компиляция и компоновка.

2 => отладка по частым детерминированным реализациям тестов производится по детерминированным эталонам, которые чаще всего подбираются “в ручную”, генерируются специальными программами. Здесь очень важна квалификация программиста, а также доскональное знание системы и объектов управления.

3 => для преодоления «проклятия размерности» осуществляется переход к статистическим методам отладки, которые можно подразделить на 2 части: 1. статистическая отладка (производится получение и анализ выходных результатов при изменении входных переменных в соответствии с известными статистическими законами для источников информации); 2. проверка динамических характеристик функционирования объекта на основании статистических данных, этот этап всегда проводится после исчерпывающего завершения первого этапа, дабы максимально избежать маскирования “тонких” ошибок, которые могут быть затемнены другими.