 О верификации |
Правила раздела!
1. Заголовок или название темы должно быть информативным !
2. Все тексты фрагментов программ должны помещаться в теги [code] ... [/code] или [code=pas] ... [/code].
3. Прежде чем задавать вопрос, см. "FAQ" и используйте ПОИСК !
4. НЕ используйте форум для личного общения!
5. Самое главное - это раздел теоретический, т.е. никаких задач и программ (за исключением небольших фрагментов) - для этого есть отдельный раздел!
| Altair |
 1.11.2006 21:05
Сообщение
#1
|
 Ищущий истину  Группа: Модераторы Сообщений: 4 824 Пол: Мужской Реальное имя: Олег Репутация:  45   |
Давайте поговорим о качестве ПО...
Верификация. Как ее проводят, и действительно ли она гарантирует отсутствие ошибок в программе ? -------------------- Помогая друг другу, мы справимся с любыми трудностями!
"Не опускать крылья!" (С) |
   |
 
|
  |
Ответов
| Altair |
2.11.2006 8:26
Сообщение
#2
|
|
Ищущий истину Группа: Модераторы Сообщений: 4 824 Пол: Мужской Реальное имя: Олег Репутация: 45 |
Насколько я понимаю, процесс верификации,
это математический процесс, причем мета процесс - т.е. неизвестно, когда он закончиться для конкретной программы. Причем в сети мало информации по этому... Википедия -------------------- Помогая друг другу, мы справимся с любыми трудностями!
"Не опускать крылья!" (С) |
|
|
|
| Lapp |
2.11.2006 8:38
Сообщение
#3
|
 Уникум Группа: Модераторы Сообщений: 6 823 Пол: Мужской Реальное имя: Лопáрь (Андрей) Репутация: 159 |
Цитата(Altair @ 2.11.2006 9:26)  Да уж если судить по этой ссылке, то вообще практически ноль - о переводе с латыни я худо-бедно сам догадался... Альтаир, если ты имеешь в виду существование формальной возможности процесса, который находит все ошибки - ну, что ж, возможно, что таковое доказательство есть. А толку?.. Вот, скажем, была доказана "гипотеза четырех красок". Доказана с помощью компьютера, то есть сложного алгоритма, невозможного без компа - и наверняка там не обошлось без применения теорем типа такой. Но тем не менее, в первом доказательстве была-таки найдена ошибка! Правда, после ее исправления доказательство считается верным по сей день..  Не знаю, по делу ли я.. Но трудно представить себе наличие алгоритма верификации, верного для всех проблем. -------------------- я - ветер, я северный холодный ветер
я час расставанья, я год возвращенья домой |
|
|
|
Сообщений в этой теме
Altair О верификации 1.11.2006 21:05
lapp
действительно ли она гарантирует отсутствие ошибо... 2.11.2006 2:26 Altair Нет!
Верификация это процесс, который именно г... 2.11.2006 8:15
xds
Сам ответил :)
На данный момент она осуществим... 2.11.2006 16:34 Archon А кто сможет гарантировать, что ошибки нет в самом... 3.11.2006 0:23
lapp Отсутствие ошибок не гарантировано [i]в принципе.[... 3.11.2006 3:04 |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 20.07.2025 2:36 |