| [ следующий ] [ начало главы ] [ предыдущий ] | [ содержание ] |
Процесс разработки программы можно выразить следующей формулой:
Наличие ошибок в только что разработанной программе это вполне нормальное закономерное явление. Практически невозможно составить реальную (достаточно сложную) программу без ошибок.
| Нельзя делать вывод, что программа правильна, лишь на том основании, что она не отвергнута машиной и выдала результаты. |
Ведь все, что достигнуто в данном случае, это получение каких-то результатов, не обязательно правильных. В программе при этом может оставаться большое количество логических ошибок.
| [ следующий ] [ начало главы ] [ предыдущий ] | [ содержание ] |