1.2. Понятие "правильной" программы

Продуктом технологии программирования (ТП) является программное средство, которое в рамках составляющих его программ выполняет возложенные на него задачи и функции. Здесь под программой часто понимают "правильную" программу, т.е. программу без ошибок. Однако понятие ошибки трактуется неоднозначно. Будем считать, что в программе имеется ошибка, если она не выполняет того, что разумно ожидать от нее пользователю. Разумное ожидание пользователя формируется на основании изучения неформальной программной документации. Следовательно, и понятие ошибки не формально. В ПС программы и документация взаимно увязаны, т.е. образуют некоторую общность. Поэтому правильнее говорить об ошибке в ПС. Будем считать, что в ПС имеется ошибка, если оно не отвечает разумному ожиданию пользователя. В частности, разновидностью ошибки является несогласованность между программами и документацией по их применению. Частным случаем ошибки является так называемый дефект программы, когда программа не соответствует своей функциональной спецификации, разрабатываемой на подготовительном этапе. Здесь следует иметь в виду, что причиной ошибки может оказаться сама функциональная спецификация, а не программа.

ВЫВОД. Так как задание на разработку программного средства неформально, вследствие чего и понятие ошибки не формализовано, то нельзя доказать математически (формальными методами) правильность ПС. Тестирование также не доказывает его правильность, а только демонстрирует наличие в нем ошибки. Поэтому понятие "правильной" программы неконструктивно, поскольку нет возможности доказать ее "правильность".