Правильных программ просто не бывает. Требуется планирование и внимание к деталям, чтобы избежать ошибок в программах. Есть несколько методов, которые программисты могут использовать, чтобы повысить вероятность того, что их программы верны.
Доказуемо правильные программы
В некоторых случаях можно доказать правильность программы. То есть можно математически продемонстрировать, что последовательность вычислений, представляемая программой, всегда будет давать правильный результат. Строгое доказательство настолько сложно, что на практике его можно применить только к довольно небольшим программам. Кроме того, это зависит от того, правильно ли и полностью указан «правильный результат». Как я уже отмечал, программа, которая правильно соответствует своей спецификации, бесполезна, если ее спецификация неверна. Тем не менее даже в повседневном программировании мы можем применять некоторые идеи и приемы, используемые для доказательства корректности программ.
Основные идеи - процесс и состояние. Состояние состоит из всей информации, относящейся к выполнению программы в данный момент во время ее выполнения. Состояние включает, например, значения всех переменных в программе, произведенный вывод, любой ввод, ожидающий чтения, и запись позиции в программе, где работает компьютер. Процесс — это последовательность состояний, через которые проходит компьютер при выполнении программы. С этой точки зрения значение оператора в программе может быть выражено в терминах эффекта, который выполнение этого оператора оказывает на состояние компьютера. В качестве простого примера значение оператора присваивания «x = 7;» заключается в том, что после выполнения этого оператора значение переменной x будет равно 7. Мы можем быть абсолютно уверены в этом факте, так что на этом можно построить часть математического доказательства.
Посетите дополнительную информацию:https://www.wikiod.com/w/Category:Java_Language
