Давайте поговорим о качестве ПО...
Верификация.
Как ее проводят, и действительно ли она гарантирует отсутствие ошибок в программе ?
 О верификации |
Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Правила раздела!
1. Заголовок или название темы должно быть информативным !
2. Все тексты фрагментов программ должны помещаться в теги [code] ... [/code] или [code=pas] ... [/code].
3. Прежде чем задавать вопрос, см. "FAQ" и используйте ПОИСК !
4. НЕ используйте форум для личного общения!
5. Самое главное - это раздел теоретический, т.е. никаких задач и программ (за исключением небольших фрагментов) - для этого есть отдельный раздел!
| Altair |
Сообщение
#1
|
 Ищущий истину  Группа: Пользователи Сообщений: 4 825 Пол: Мужской Реальное имя: Олег Репутация:  45   |
-------------------- Помогая друг другу, мы справимся с любыми трудностями!
"Не опускать крылья!" (С) |
   |
 
|
Сообщений в этой теме
Altair О верификации 2.11.2006 1:05
lapp
действительно ли она гарантирует отсутствие ошибо… 2.11.2006 6:26 Altair Нет!
Верификация это процесс, который именно г… 2.11.2006 12:15 Altair Насколько я понимаю, процесс верификации,
это мате… 2.11.2006 12:26
lapp
Причем в сети мало информации по этому...
Википед… 2.11.2006 12:38 xds
Сам ответил :)
На данный момент она осуществим… 2.11.2006 20:34 Archon А кто сможет гарантировать, что ошибки нет в самом… 3.11.2006 4:23 lapp Отсутствие ошибок не гарантировано [i]в принципе.[… 3.11.2006 7:04  |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 21.12.2025 15:28 |
Связь с администрацией: bu_gen в домене octagram.name