 |
 |
 |
 |
|
 |
 |
109
Метод решения
Р = L
АВ
+L
ВС
+L
СА
L
АВ
=
2
В
А
2
B
A
У
У
X
X
,
L
ВС
=
2
С
В
2
С
В
У
У
X
X
L
СА
=
2
А
С
2
А
С
У
У
X
X
где: Р = L(A,B) + L(B,C) + L(C,A);
здесь L[(x,y),(u,v)] =
2
2
v
y
u
x
.
Приведем алгоритм, полученный из описания метода упорядочением операций вычисления длин
сторон треугольника с завершающим вычислением периметра. Результаты выполнения алгоритма
приведены справа.
алг «периметр треугольника»
нач
LAB: =
2
2
В
А
B
A
У
У
X
X
LBC : =
2
2
С
В
С
В
У
У
X
X
LCA : =
2
2
А
С
А
С
У
У
X
X
Р := LAB + LBC + LCA
кон
Результаты
2
2
В
А
B
A
У
У
X
X
2
2
С
В
С
В
У
У
X
X
2
2
А
С
А
С
У
У
X
X
Р = LAB + LBC + LCA
Сравнение результатов выполнения алгоритма с описанием метода решения показывает, что это одна
и та же система формул, что подтверждает правильность алгоритма.
Систематические методы анализа правильности алгоритмов и программ опираются на сопоставление
тех же самых описаний, которые используются при их систематическом составлении.
Анализ правильности:
задача
способ
постановка
методы
сценарий
алгоритмы
ЭВМ
программа
Основные типы алгоритмических ошибок в программах:
ошибки в выбранных методах решения;
ошибки в постановке решаемых задач;
дефекты в сценариях диалога с ЭВМ;
ошибки организации ввода данных;
неправильная реализация методов решения.