Общие сведения | Энциклопедия | Научные публикации | Публицистика | Новости | Каталоги | Авторы |
| На главную | О проекте | Контакты | | |
![]() |
Статья в Энциклопедическом Фонде
Верификация![]()
Верификация (от лат. verus - "истинный" и facere - "делать") - проверка, проверяемость, способ подтверждения, проверка с помощью доказательств, каких-либо теоретических положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) данными, алгоритмами и программами.
Понятие верификации было предложено "Венским кружком", сообществом ученых собиравшихся в г. Вена в 30-е гг. ХХ в. Понятие верификации как подтверждение соответствия конечного продукта предопределённым эталонным требованиям до сих пор актуально.
В современном мире "Верификация" занимает ключевую роль во всех областях науки. Верификация сейчас это неотъемлемый процесс при входе в операционную систему, регистрации на сайте, подтверждение заявки при получении кредита даже при прохождении вахты в университете приходится проходить верификацию. В связи с монотонностью даже простой формальной верификации и теоретической возможности их полной автоматизации под формальной верификацией обычно подразумевают автоматическую верификацию с помощью некоторой программы или комплекса. Под формальной верификацией подразумевают формальное доказательство соответствия или несоответствия предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. На ряду с верификацией направленной на работу на прямую правила разработки - процесс разработки встречается еще "валидация" как процесс направленный напрямую на реализацию нужд и потребностей пользователя или заказчика данного проекта. Эти нужды и потребности зачастую не зафиксированы документально. Валидация всегда проводится с учетом представителей заказчиков, пользователей, бизнес-аналитиков или экспертов в предметной области - тех, чье мнение можно считать достаточно весомым.
Используемые источники
1. В.В. Кулямин ,"Методы верификации программного обеспечения", Институт системного программирования РАН, 2008 г.
2. В. В. Липаев ,"Тестирование программ", Синтег, 2010.
3. Синицын С.В. ,Налютин Н.Ю. ,"Верификация программного обеспечения", Бином. Лаборатория знаний, 2008.
4. Котляров В.П.Основы тестирования программного обеспечения", Бином. Лаборатория знаний, 2006.
|
|
|