Отладка программы

Отладка это процесс исправления обнаруженных ошибок.

Если программа работает не так как должна, необходимо выяснить местоположение ошибки, проверить правильность работы каждой части программы. Для этой цели удобно использовать встроенный отладчик, который имеется в большинстве языков программирования.

Стандартные возможности отладчика:

просмотр списка переменных и выражений (их типов и значений во время выполнения программы);

использование контрольных точек (точек останова);

выполнение программы до курса;

пошаговое выполнение программы;

просмотр стека вызванных подпрограмм;

В некоторых языках программирования отладчик включает дополнительные функции:

доступ к регистрам и флагам процессора;

доступ к различным видам памяти;

отслеживание сообщений Windows;

запись информации о фатальных ошибках

Вопросы для самоконтроля:

Как называется стратегия тестирования, основанная исключительно на анализе входных и выходных данных программного продукта?

Как называется стратегия тестирования, основанная на анализе внутренней структуры программного продукта?

В чем состоит метод эквивалентного разбиения?

Чем различаются методы эквивалентного разбиения и метод граничных значений?

На чем основан метод гипотез ошибок?

При каком методе необходимо, чтобы хотя бы один раз был проверен каждый маршрут выполнения программы?

Какой из методов тестирования позволяет лучше проверить программный продукт: покрытия решений или покрытие операторов?

Какие требования предъявляются к тесту по методу покрытия условий? Может ли возникнуть ситуация, что некоторые операторы не проверены? Как устранить эту проблему?

Что понимают под отладкой программы? Перечислите стандартные возможности отладчика.

Какие возможности отладчика Вы использовали?

В фундаментальную концепцию проектирования ПС входят базовые положения, стратегии, методы, которые применяются на процессах ЖЦ и обеспечивают тестирование (верификацию) на множестве тестовых наборов данных. К методам проектирования ПС относятся структурные, объектно-ориентированные и др. Их основу составляют теоретические, инструментальные и прикладные средства, которые влияют на процесс тестирования.

Теоретические средства определяют процесс программирования и тестирования программного продукта. К ним относятся методы верификации и доказательства правильности спецификации программ (см. лекцию 6), метрики измерения (Холстеда, цикломатичная сложность Маккейба и др.) в качестве отдельных характеристик как формализованных элементов теории определения правильности и гарантии свойств конечного ПО. Например, концепция "чистая комната" базируется на формализмах доказательства и изучения свойств процессов кодирования и тестирования программ. Что касается тестирования как процесса, то это проверка правильности работы программы по заданным описаниям тестов и покрытия данными соответствующих критериев программы [7.1-7.5].

Инструментальные средства - это способы поддержки кодирования и тестирования (компиляторы, генераторы программ, отладчики и др.), а также организационные средства планирования и отбора тестов для программ, которые обеспечивают обработку текста на ЯП и подготовку для них соответствующих тестов.

При проверке правильности программ и систем рассматриваются процессы верификации, валидации и тестирования ПС, которые регламентированы в стандарте ISO/IEC 12207 [7.7] жизненного цикла ПО. В некоторой зарубежной литературе процессы верификации и тестирования отождествляются. С теоретической точки зрения верификация была рассмотрена в лекции 6, здесь же будут определены задачи и действия, соответствующих процессов ЖЦ.

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