6 Семантическая отладка

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

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

Существует 3 способа отладки программы:

1. Пошаговая отладка программ с заходом в подпрограммы;

2. Пошаговая отладка программ с выполнением подпрограммы как одного оператора;

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

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

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

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

7 Документирование программы

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

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

Пример. Система тестов для задачи нахождения корней квадратного уравнения:

Квадратное уравнение — это уравнение вида

ax² + bx + c = 0, где a не равно 0.

Для решения квадратного уравнения можно использовать формулы: и где D = b² - 4ac — дискриминант многочлена ax² + bx + c. Если D > 0, то уравнение имеет два различных вещественных корня. Если D = 0, то оба корня вещественны и равны. Если D < 0, то оба корня являются комплексными числами.

Номер теста	Проверяемый случай	Коэффициенты			Результаты
		a	b	c
1	d >0	1	1	-2	x1 = 1, x2 =  - 2
2	d=0	1	2	1	Корни равны:  x1 = - 1, x2 =  - 1
3	d < 0	2	1	2	Действительных корней нет
4	a=0,   b=0,   c=0	0	0	0	Все коэффициенты равны нулю.   х — любое число.
5	a=0,   b=0,   c<>0	0	0	2	Неправильное уравнение
6	a=0,   b<>0	0	2	1	Линейное уравнение.   Один корень:   x = - 0,5
7	a <> 0,   b <> 0,   с = 0	2	1	0	x1 = 0,   x2  =  - 0,5