Для оценки правильности алгоритмов и программ необходимо уметь оценивать результаты выполнения составляющих их действий и конечные результаты их выполнения в целом.
Простейшие виды машинных операций - операции присваивания. С помощью присваивании в алгоритмах описываются вычисления в программах для ЭВМ. Рассмотрим примеры операций присваивания и описания результатов их выполнения.
Присваивания: Результаты:
а := 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.
Для описания результатов выполнения алгоритмов и программ могут и должны использоваться спецификации. Спецификации - это точные, математически строгие описания. Примерами спецификаций могут служить сценарии диалоговых программ.
Сценарии диалоговых алгоритмов и программ - это совокупность текстов, картинок и сообщений, появляющихся на экранах ЭВМ.