 |
 |
 |
 |
|
 |
 |
77
алгоритмов является однозначность результатов их выполнения в одинаковых начальных условиях. Это
не всегда верно для кулинарных рецептов, когда разные исполнители в одних и тех же условиях могут
придавать различный вкус и пикантность одним и тем же блюдам.
Результативность
— это завершение выполнения алгоритмов определенными результатами.
Результативность — наиболее важное свойство алгоритмов и программ, предназначенных для решения
прикладных задач. Алгоритмы и программы, не дающие результатов или ведущие к сбоям и отказам,
никому не нужны.
Массовость
— это возможность применения алгоритмов в различных конкретных исходных
условиях. Массовые алгоритмы особенно важны для решения прикладных задач, когда алгоритмы и
программы должны обеспечить решение целого класса задач, различающихся исходными данными.
Правильность алгоритмов определяется-правильностью результатов, получаемых с их помощью.
По этой причине правильность алгоритмов и программ является относительным понятием. Оценка
правильности может проводиться только при наличии требований к конечным результатам.
Алгоритм считается правильным, если он дает правильные результаты при любых допустимых
начальных условиях. Правильность алгоритмов гарантирует правильность результатов их выполнения.
Алгоритм содержит ошибки, если его выполнение может привести к отказам, сбоям или
неправильным результатам либо вовсе не дает никаких результатов. Эти ошибки называются
алгоритмическими. Алгоритмы и программы, содержащие такие ошибки, могут нанести вред или
ущерб тем, кто захочет ими воспользоваться.
Для оценки правильности алгоритмов и программ необходимо уметь оценивать результаты
выполнения составляющих их действий и конечные результаты их выполнения в целом.
Простейший вид машинных операций — операции присваивания. С помощью присваиваний в
алгоритмах описываются вычисления в программах для ЭВМ. Рассмотрим примеры операций
присваивания и описания результатов их выполнения.
Присваивания:
Результаты:
а := 0
а = 0
b := а +1
b' = а + 1 = 1
b := b+1
b" = b' + 1 = 2
Запись присваиваний читается:
а := 0
— «переменной а присвоить значение 0»;
b := b+1
— «переменной b присвоить значение b+1».
Записи в колонке результатов читаются так:
а = 0
— «значение а равно 0»;
b' = b+1
— «значение b' равно b+1».
Здесь а и b — программные переменные
— область машинной памяти, в которой хранятся их
значения а и b. В отличие от обычных математических переменных программные переменные могут
получать новые значения. В частности, присваивание b := b+1 записывает в программную переменную
b новое значение b', равное величине b+1, где b — прежнее значение переменной b.
Для описания результатов выполнения алгоритмов и программ могут и должны использоваться
спецификации. Спецификации
—
это точные, математически строгие описания. Примерами
спецификаций могут служить сценарии диалоговых программ.
Сценарии диалоговых алгоритмов и программ — это совокупность текстов, картинок и сообщений,
появляющихся на экранах ЭВМ. Рассмотрим в качестве примера сценарий алгоритма рисования домика
на экране ЭВМ.
Сценарий «Домик»