Из - http://vkontakte.ru/notes.php?id=2398121&76945
Теория ошибок в программировании
Теория ошибок в программировании
Ошибки так же неисчерпаемы, как и атом.
Аксиома. В любой программе есть ошибки.
Закон пропорциональности. Чем более программа необходима, тем больше в ней ошибок.
Следствие. Ошибок не содержит лишь совершенно ненужная программа.
Фундаментальный закон теории ошибок. На ошибках учатся.
Следствие 1. Программист, написавший программу, становится ученым.
Следствие 2. Чем больше программист делает ошибок, тем быстрее он делается ученым.
Следствие 3. Крупный ученый-программист никогда не пишет правильные программы.
Замечание. На то он и ученый.
Указание начинающему программисту. Если вы с первогораза сумели написать программу, в которой
транслятор не обнаружил ниодной ошибки, сообщите об этом системному программисту. Он исправитошибки
в трансляторе.
Закон необходимости ошибок. Программист может обнаружить ошибку только в чужой программе.
Следствие. Ошибке не все равно, кто ее обнаружит.
Совет начинающему программисту. Никогда не исправляйтенайденные ошибки, ибо это повлечет за собой появление неизвестногочисла ненайденных.
Лучше опишите их в сопроводительной документации какособенность программы.
Определение. Будем называть языком ошибок правила, в обход которых пишутся программы.
Язык ошибок. Ошибки могут следовать друг за другом.
От перестановки двух эквивалентных ошибок результат не меняется (коммутативность эквивалентных ошибок).
Две последовательные ошибки можно объединить в одну, более сильную.
Одинаковые ошибки необязательно делать каждый раз,достаточно сделать одну, а затем обращаться к ней по мере необходимостииз любого места программы.
Ошибки могут образовывать циклы. Наиболее устойчивый из них - бесконечный.
Ошибки могут вызывать друг друга и сами себя (рекурсивность ошибок).
Ошибки допускают многократное вложение друг в друга.Две одинаковые вложенные ошибки называются четной ошибкой и ошибкой неявляются.
Свойство четности ошибок. Если написанная программасработала правильно, то это значит,
что во время ее работы выполнилосьчетное число ошибок или программист не понял задание.
Формулировка вышеприведенного свойства, предназначенная для политиков. Ошибка, повторенная дважды, перестает быть ошибкой.
Взаимодействие ошибок с базовой операционной системой.
Во время исполнения ошибки имеют наивысший приоритет. Прервать исполнение ошибки может только другая, более активная ошибка.
Запросы операционной системы к ошибкам ошибками могут игнорироваться.
Запросы ошибок к операционной системе игнорироваться не могут.
При работе с файлами ошибки могут пользоваться файловой системой базовой ОС и ее ошибками.
На ЭВМ с параллельной архитектурой может выполняться несколько ошибок одновременно.
Системные программы облегчают процесс написания прикладных программ и их ошибок.
Определение. Тестирование - это процесснахождения ошибок в тесте.
Хороший тест должен содержать ошибки,компенсирующие их нехватку в тестируемой программе.
Языковый редактор, призванный уберечь программиста отсинтаксических ошибок, позволяет вносить в программу весьма хитроумныеошибки, которые не удается обнаружить ни транслятором, ни отладчиком.Обычный текстовый редактор таких возможностей не предоставляет.
Программа-транслятор, предназначенная для переводапрограмм с языка высокого уровня на машинный язык, при переводепорождает ошибки.
Ошибки, которые содержались в исходном описании,переводятся безошибочно.
Заключительный совет тем, кто до него добрался.
Доначала работы над проектом следует тщательно продумать все необходимыеошибки и связи между ними.
Это значительно упростит работу над ошибкамив самом проекте.
(автор - Сергей Хамзатов)
P.S.
В IP не разбираюсь. Но мне сказали, что эта заметка заслуживает внимания.
.
[/center]
