Этот баннер — требование Роскомнадзора для исполнения 152 ФЗ.
«На сайте осуществляется обработка файлов cookie, необходимых для работы сайта, а также для анализа использования сайта и улучшения предоставляемых сервисов с использованием метрической программы Яндекс.Метрика. Продолжая использовать сайт, вы даёте согласие с использованием данных технологий».
Политика конфиденциальности
|
|
|
Что такое програмная ошибка.
|
|||
|---|---|---|---|
|
#18+
Что такое программныя ошибка. Почему они появляются. Хотелось бы услышать формализованное обьяснение. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.03.2004, 11:44 |
|
||
|
Что такое програмная ошибка.
|
|||
|---|---|---|---|
|
#18+
Потому что программа делает то, что предписал ей программист, а не то, что он при этом думал. ЗЫ. Не ошибается тот, кто ничего не делает. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.03.2004, 11:58 |
|
||
|
Что такое програмная ошибка.
|
|||
|---|---|---|---|
|
#18+
Пока ничего не нашел кроме классификации ошибок: 1) Синтаксическая ошибка. 2) Ошибка времени выполнения 3) Алгоритмическая ошибка ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.03.2004, 18:29 |
|
||
|
Что такое програмная ошибка.
|
|||
|---|---|---|---|
|
#18+
OFFTOPIC: Вот что такое не ошибка в программе, а дефект (defect) применительно к системе вообще (ИС, ПО и т.д), т.е это: "несоответствиее спецификации требований к этой системе" (определение из "IEEE Standard Glossary of Software Engineering Terminology"). Еще, например, определение из RUP v.2003: defect An anomaly, or flaw, in a delivered work product. Examples include such things as omissions and imperfections found during early lifecycle phases and symptoms of faults contained in software sufficiently mature for test or operation. ..... ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 02.03.2004, 19:19 |
|
||
|
Что такое програмная ошибка.
|
|||
|---|---|---|---|
|
#18+
>>Почему они появляются Как то читал: "Невозможно создать программу, которая выдавала бы требуемое значение, при всех возможных входных данных". Отсюда ошибки и получаются. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.03.2004, 07:25 |
|
||
|
Что такое програмная ошибка.
|
|||
|---|---|---|---|
|
#18+
Что удалось нарыть в инете. Спецификацией программы называется набор требований к ней. Верификацией программы относительно спецификации состоит в доказательстве того, что программа соответствует всем требованиям, содержащимся в спецификации. Различают два вида верификации [1]: 1) верификация формальных спецификаций (аксиом проблемной области); 2) верификация динамических свойств вычислений (обнаружение аномалий - незавершонных циклов, некорректность операций, выход за границы массивов). Таким образом, как указал Репликант, приходим к следующему отпределению ошибки Программная ошибка - это несоответствие спецификации. И соответственно синтаксическая ошибка - несоответствие спецификаии языка ( для выявления используется 1-й вид верификации). Ошибка времени выполнения - несоответствие спецификации на семантику языка ( для выявления используется второй тип верификации). Алгоритмическая ошибка - несоответствие спецификации проблемной области ( для выявления используется 1-й вид верификации) Вот что интересто. Как отлавливаются эти ошибки. 1) с синтаксическими понятно - отлавливаются конечными автоматами и т.д 2) с времени выполнения не понятно 3) с алгоритмическими тоже. т.к как реализуются эти виды верификации Литература 1. http://ssl.stu.neva.ru/ssl/publications/magazine/1999/1/3/parshin.pdf ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 03.03.2004, 12:42 |
|
||
|
|
start [/forum/topic.php?fid=32&msg=32428521&tid=1546597]: |
0ms |
get settings: |
13ms |
get forum list: |
13ms |
check forum access: |
3ms |
check topic access: |
3ms |
track hit: |
41ms |
get topic data: |
12ms |
get forum data: |
3ms |
get page messages: |
52ms |
get tp. blocked users: |
1ms |
| others: | 14ms |
| total: | 155ms |
| 0 / 0 |
