На этом шаге мы приведем общую схему создания программ.
Известно, что в процессе разработки программы работы по доказательству (демонстрации) правильности разрабатываемой программы равнозначны работам по ее изготовлению (алгоритмизации и написанию), что можно выразить следующей формулой:
Рис.1. Этапы создания программы
Поэтому программой следовало бы называть только такую программу, которая выдает правильные результаты, а то, что еще не прошло стадию доказательства правильности, является не программой, а ее полуфабрикатом. Изготовление такого полуфабриката, конечно, является делом несравнимо более легким, чем разработка настоящей программы (особенно если программист и не думает о предстоящей отладке!).
Со следующего шага мы начнем рассматривать ручную проверку.
