Что такое программная ошибка? Почему они возникают. Где можно почитать на эту тему?

А>Что такое программная ошибка? Почему они возникают. Где можно почитать на эту тему?

Почитать на эту тему можно классику жанра.

Здравствуйте, <Аноним>, Вы писали:

А>Что такое программная ошибка? Почему они возникают. Где можно почитать на эту тему?

"Типичные ошибки проектирования". Там как раз в начале и расписано, что такое ошибки.

Здравствуйте, Аноним, Вы писали:

А>Что такое программная ошибка? Почему они возникают. Где можно почитать на эту тему?

В самом общем случае — это несоответствие чего-то чему-то
Грубо говоря должен быть эталон (критерии) правильности,
чтобы говорить об ошибках.
Если таковых критериев нет, или они (критерии) не признаются другими,
то можно говорить не об ошибках, а о личных мнениях...

В случае программ критериями правильности могут быть
разные спецификации (требований, модулей...), стандарты и пр...

Что удалось нарыть в инете.

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

Различают два вида верификации [1]:

1) верификация формальных спецификаций (аксиом проблемной области);
2) верификация динамических свойств вычислений (обнаружение аномалий — незавершонных циклов, некорректность операций, выход за границы массивов).

Таким образом, как указал Репликант, приходим к следующему отпределению ошибки

Программная ошибка — это несоответствие спецификации. И соответственно синтаксическая ошибка — несоответствие спецификаии языка ( для выявления используется 1-й вид верификации). Ошибка времени выполнения — несоответствие спецификации на семантику языка ( для выявления используется второй тип верификации). Алгоритмическая ошибка — несоответствие спецификации проблемной области ( для выявления используется 1-й вид верификации)

Вот что интересто.

Как отлавливаются эти ошибки.

1) с синтаксическими понятно — отлавливаются конечными автоматами и т.д
2) с времени выполнения не понятно
3) с алгоритмическими тоже.

т.к как реализуются эти виды верификации

Литература
1. http://ssl.stu.neva.ru/ssl/publications/magazine/1999/1/3/parshin.pdf