Тестирование программы.

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

Предварительный контроль текста программы.

Текст программы можно предварительно контролировать тремя способами: просмотра, проверки и прокрутки.

· Просмотр. Текст программы просматривается для обнаружения ошибок или расхождений с алгоритмом. Просматривается правильность записи операторов в программе, условия в условных операторах, аргументы подпрограмм и т.п.

· Проверка. При проверке программы программист по тексту программы старается воспроизвести вычислительный процесс, который определяется алгоритмом программы и сопоставляет его с условием задачи.

· Прокрутка. Основой прокрутки является имитация программистом процесса выполнения программы на машине. Для выполнения прокрутки задаются исходные данные и производят над ними вычисления по программе.

 

4. Отладка и тестирование программы на компьютере.

Отладка программы — это процедура поиска и устранения синтаксических и семантических ошибок в программе с помощью компьютера.

 

Тестирование — это испытание проверкой правильности работы программы в целом или её отдельных частей.

При отладке происходит локализация и устранение синтаксических ошибок и явных ошибок кодирования.

В процессе тестирования проверяется правильность работы программы, не содержащей явных ошибок.

Тестирование устанавливает факт наличия ошибок, а отладка выясняет ее причину.

В современных программных системах (Visual Basic, Turbo Pascal, Delphi, Turbo C и др.) отладка осуществляется часто с использованием специальных инструментальных средств, называемых отладчиками.

Программа-отладчик обычно обеспечивает следующие возможности:

· пошаговое исполнение программы с остановкой после каждого оператора (команды);

· просмотр текущего значения любой переменной или нахождение значения любого выражения, в том числе, с использованием стандартных функций; при необходимости можно установить новое значение переменной;

· установку в программе "контрольных точек", т.е. точек, в которых программа временно прекращает свое выполнение (создается пауза), так что можно оценить промежуточные результаты, и др.

Для проверки программы используется контроль программы по результатам выполнения системы тестов – простых задач.

Программу условно можно считать правильной, если её исполнение для выбранной системы тестовых исходных данных во всех тестах дает правильные результаты.

При тестировании правильные результаты тестов должны быть программисту заранее известны.

 

Какими должны быть тестовые данные?

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

· должна быть испытана каждая ветвь алгоритма решения задачи;

· арифметические операции в тестах должны упрощены для уменьшения объема вычислений;

· количество элементов массивов, точность итерационных вычислений, количество проходов цикла в тестовых примерах должны задаваться из соображений сокращения объема вычислений;

· однако минимизация вычислений не должна снижать надежности тестового контроля;

· тестирование должно быть целенаправленным и систематизированным,

· усложнение тестовых данных должно происходить постепенно.