IPB
ЛогинПароль:

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

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

> О верификации
сообщение
Сообщение #1


Ищущий истину
******

Группа: Пользователи
Сообщений: 4 825
Пол: Мужской
Реальное имя: Олег

Репутация: -  45  +


Давайте поговорим о качестве ПО...
Верификация.
Как ее проводят, и действительно ли она гарантирует отсутствие ошибок в программе ?



--------------------
Помогая друг другу, мы справимся с любыми трудностями!
"Не опускать крылья!" (С)
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
 
 Ответить  Открыть новую тему 
Ответов
сообщение
Сообщение #2


Уникум
*******

Группа: Пользователи
Сообщений: 6 823
Пол: Мужской
Реальное имя: Лопáрь (Андрей)

Репутация: -  159  +


Цитата(xds @ 2.11.2006 17:34) *
Отсутствие ошибок не гарантировано в принципе.
Цитата(Archon @ 3.11.2006 1:23) *
А кто сможет гарантировать, что ошибки нет в самом алгоритме проверки на безошибочность?

Я так понял, что Альтаир говорил о приципиальной возможности существования такого алгоритма. Вопрос не праздный, конечно. Можно сравнить с известной "Гипотезой континуума", которая была решена, и решение гласило, что доказательство наличия или отсутствия промежуточной между алеф-ноль и алеф-один мощности не может быть получено вообще в рамках существующей системы аксиом. Так и здесь, вопрос заключается в том - а существует ли такой прцесс хотя бы теоретически? Мне кажется, интересующихся этой проблемой можно отослать к книге Пойа "Теория доказательств" - если не за решением, то хотя бы за правильной постановкой.
Но к практике это не имеет ни малейшего отношения. Более того, ошибки наверняка кроются не только в программных кодах, но и в проектах, и даже в ТЗ на программные системы. Как грится, "Оставь надежды.." smile.gif


--------------------
я - ветер, я северный холодный ветер
я час расставанья, я год возвращенья домой
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 

Сообщений в этой теме


 Ответить  Открыть новую тему 
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 





- Текстовая версия 29.03.2024 22:08
500Gb HDD, 6Gb RAM, 2 Cores, 7 EUR в месяц — такие хостинги правда бывают
Связь с администрацией: bu_gen в домене octagram.name