Заключение

С современным программированием тесно связаны старый миф и новая реальность. Миф утверждает, что при соответствии программ ошибки неизбежны и программирование есть ни что иное, как процесс проб и ошибок. Реальность же выдвигает требование научиться последовательно проектировать и писать такие программы, которые были бы правильными с самого начала и не содержали ошибок на этапах тестирования и последующей эксплуатации.

Пользуясь практическими принципами и методами структурного программирования, можно научиться не только создавать правильные программы, но и доказывать их правильность, причем не экспериментально, а путем логических рассуждений. При этом программа обычно выполняется правильно с первого испытания. У профессионального программиста ошибки в логической структуре программы крайне редки, что объясняется активностью роли профессионалов в процессе разработки программы, объективно программам не присущи ошибки, если только последние не являются следованием влияния ошибок в смежных программах. Следовательно, ошибки в программы могут вноситься только разработчиками.

Существует простое объяснение необходимости писать программы, которые заведомо не имеют погрешностей. Оно заключается в том, что путем тестирования никогда нельзя установить отсутствие ошибок в программе. Дело в том, что невозможно определенно утверждать, что при проверке найдена последняя ошибка в программе или может быть найдена первая. В конце концов, уверенность в правильности некоторой программы основана на доверии к творческому процессу ее создания. С каждой ошибкой, обнаруженной при проверке и эксплуатации, эта уверенность уменьшается. Даже если найдена действительно последняя, оставшаяся в программе ошибка, нельзя быть полностью убежденным в том, что она последняя.

Таким образом, требования реальности состоит в том, чтобы обычные программисты, которые с самого начала не содержали бы ошибок. Знание того, что возможна уже наполовину выигрышная битва. А умение писать тактическую программу- путь к окончательной победе. Приобретая опыт в написании правильных программ, программист переходит на новый психологический уровень, позволяющий преодолеть ускорившееся мнение о том, что оценить правильность программ, не прибегая к эксперименту очень трудно.

Создавая программы размером до 1000 операторов, в которых отсутствуют ошибки, хотя и можно, но достаточно трудно. Однако теоретически и практически в девяти случаях из десяти несложно составить правильную программу из 50 операторов. С помощью методов структурного программирования можно программу из 1000 операторов записать в виде 20 блоков по 50 операторов в каждом, причем не в виде автономных программ, а как последовательно выявляются части программы. Если 18 из этих 20 блоков не содержат первичных ошибок, а остальные 2 могут быть исправлены, то можно получить высокую степень доверия к реальной программе, состоящей из 1000 операторов.

Основой для создания программ, не содержащих ошибок, должна быть не человеческая, непогрешимая, а понимание программ как математических объектов, подчиняющихся логическим суждениям и правилам формирования преобразований (независимо от того, выполняют программы действия на членами или текстами, др.)

Производить математические выкладки, люди дополняют ошибки. Но они стремятся делать их как можно меньше. С этой целью можно проверять работу друг друга. Результатом может послужить повышение точности, что связано с изменением характера программирования- переходом от метода проб и ошибок к упорядоченному процессу.