 О верификации |
Правила раздела!
1. Заголовок или название темы должно быть информативным !
2. Все тексты фрагментов программ должны помещаться в теги [code] ... [/code] или [code=pas] ... [/code].
3. Прежде чем задавать вопрос, см. "FAQ" и используйте ПОИСК !
4. НЕ используйте форум для личного общения!
5. Самое главное - это раздел теоретический, т.е. никаких задач и программ (за исключением небольших фрагментов) - для этого есть отдельный раздел!
| Altair |
 1.11.2006 21:05
Сообщение
#1
|
 Ищущий истину  Группа: Модераторы Сообщений: 4 824 Пол: Мужской Реальное имя: Олег Репутация:  45   |
Давайте поговорим о качестве ПО...
Верификация. Как ее проводят, и действительно ли она гарантирует отсутствие ошибок в программе ? -------------------- Помогая друг другу, мы справимся с любыми трудностями!
"Не опускать крылья!" (С) |
   |
 
|
  |
Ответов
| xds |
2.11.2006 16:34
Сообщение
#2
|
 N337 Группа: Пользователи Сообщений: 737 Пол: Мужской Репутация: 26 |
Цитата ...действительно ли она гарантирует отсутствие ошибок в программе ? Цитата Верификация это процесс, который именно гарантирует отсутствие ошибок. Сам ответил  Цитата Как ее проводят <...>? На данный момент она осуществима теоретически, возможно, экспериментально, но не промышленно. Процессы, гарантирующие отсутсвие ошибок, затруднительны в принципе - людей никто не отменял Для любого алгоритма существует верятность его ошибочности (для "вроде совсем простых и уж точно правильных" она просто мала). Т. е., невозможно построить даже алгоритм процесса, гарантирующего обнаружение всех ошибок в программе, не говоря уж о проблемах с их устранением. Докажите-ка, что для любой возможной ошибки существует способ её устранения. Если это не так, то гипотетический алгоритм верификации не будет верен, т. к. не сможет гарантировать отсутствие ошибки в любой программе. Кроме того, вероятен случай, когда ошибки придётся оставить, руководсвуясь прочими, более важными факторами. Отсутствие ошибок не гарантировано в принципе. В прочем, объективность не существует как класс - выше изложено всего-лишь моё мнение Сообщение отредактировано: xds - 2.11.2006 16:56 -------------------- The idiots are winning.
|
|
|
|
Сообщений в этой теме
Altair О верификации 1.11.2006 21:05
lapp
действительно ли она гарантирует отсутствие ошибо... 2.11.2006 2:26 Altair Нет!
Верификация это процесс, который именно г... 2.11.2006 8:15 Altair Насколько я понимаю, процесс верификации,
это мате... 2.11.2006 8:26
lapp
Причем в сети мало информации по этому...
Википед... 2.11.2006 8:38 Archon А кто сможет гарантировать, что ошибки нет в самом... 3.11.2006 0:23 lapp Отсутствие ошибок не гарантировано [i]в принципе.[... 3.11.2006 3:04 |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 10.12.2025 19:18 |