Добавить комментарий

Типология ошибок в программах

Традиционно ошибки в программах на ЭВМ делятся на алгоритмические и синтаксические.
Синтаксические ошибки автоматически выявляются ЭВМ. Их очень легко найти и исправить.
Алгоритмические ошибки носят конструктивный характер и приводят к появлению на ЭВМ сбоев, отказов или неправильных результатов.
При составлении прикладных программ, предназначенных для решения определенных задач на ЭВМ, среди алгоритмических ошибок встречаются:
1) ошибки постановок задач,
2) ошибки в методах решения,
3) ошибки реализации алгоритмов,
4) ошибки организации ввода-вывода.
Все перечисленные ошибки легко выявляются и исправляются при наличии следующих спецификаций (точных и четких описаний):
1) постановок задач,
2) методов решения задач,
3) сценариев ввода-вывода.
При наличии перечисленных математически точных спецификаций в прикладных алгоритмах можно выявить и выправить практически все алгоритмические ошибки, а при отсутствии ошибок - написать доказательства правильности прикладных алгоритмов и программ.