Вопрос 28 Понятие правильности программ. Доказательство правильности программ
ПРАВИЛЬНОСТЬ ПРОГРАММ
Любые программы правильны в отношении их логического построения только для определенного типа данных. Например, программа нахождения наибольшего общего делителя двух чисел верна лишь в том случае, когда оба числа целые. Если же подать на вход такой программы нуль или дробное число, нормальная работа программы нарушится. Поэтому необходимо четко определять область значений данных,
в которой программа способна функционировать, и вводить операторы, позволяющие проверять, находятся
ли данные в установленных границах.
Чтобы программу можно было применять, прежде всего она должна быть правильной, а нарушение правильности может проявляться двумя способами: либо неверна синтаксическая конструкция программы, либо программа выдает неверные результаты.
Правильность синтаксиса означает, что должны быть точно сформированы наименования переменных, арифметические и логические операции должны подчиняться определенным синтаксическим правилам и т. п.
