О верификации - Форум «Всё о Паскале»

Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++

Правила раздела!

1. Заголовок или название темы должно быть информативным !
2. Все тексты фрагментов программ должны помещаться в теги [code] ... [/code] или [code=pas] ... [/code].
3. Прежде чем задавать вопрос, см. "FAQ" и используйте ПОИСК !
4. НЕ используйте форум для личного общения!
5. Самое главное - это раздел теоретический, т.е. никаких задач и программ (за исключением небольших фрагментов) - для этого есть отдельный раздел!

О верификации

Опции

Altair	2.11.2006 1:05 Сообщение #1
Ищущий истину Группа: Пользователи Сообщений: 4 825 Пол: Мужской Реальное имя: Олег Репутация: 45	Давайте поговорим о качестве ПО... Верификация. Как ее проводят, и действительно ли она гарантирует отсутствие ошибок в программе ? -------------------- Помогая друг другу, мы справимся с любыми трудностями! "Не опускать крылья!" (С)

Ответов

Altair	2.11.2006 12:26 Сообщение #2
Ищущий истину Группа: Пользователи Сообщений: 4 825 Пол: Мужской Реальное имя: Олег Репутация: 45	Насколько я понимаю, процесс верификации, это математический процесс, причем мета процесс - т.е. неизвестно, когда он закончиться для конкретной программы. Причем в сети мало информации по этому... Википедия -------------------- Помогая друг другу, мы справимся с любыми трудностями! "Не опускать крылья!" (С)

Lapp	2.11.2006 12:38 Сообщение #3
Уникум Группа: Пользователи Сообщений: 6 823 Пол: Мужской Реальное имя: Лопáрь (Андрей) Репутация: 159	Цитата(Altair @ 2.11.2006 9:26) Причем в сети мало информации по этому... Википедия Да уж если судить по этой ссылке, то вообще практически ноль - о переводе с латыни я худо-бедно сам догадался... Альтаир, если ты имеешь в виду существование формальной возможности процесса, который находит все ошибки - ну, что ж, возможно, что таковое доказательство есть. А толку?.. Вот, скажем, была доказана "гипотеза четырех красок". Доказана с помощью компьютера, то есть сложного алгоритма, невозможного без компа - и наверняка там не обошлось без применения теорем типа такой. Но тем не менее, в первом доказательстве была-таки найдена ошибка! Правда, после ее исправления доказательство считается верным по сей день.. Не знаю, по делу ли я.. Но трудно представить себе наличие алгоритма верификации, верного для всех проблем. -------------------- я - ветер, я северный холодный ветер я час расставанья, я год возвращенья домой