Термины верификация и валидация связаны с проверкой качества программного обеспечения. Мы используем эти термины в своих статьях и докладах. Неоднократно мы слышали различные комментарии и рассуждения, следует ли относить статический анализ исходного кода программ к верификации и валидации и в чем различие этих понятий. В целом складывается такое впечатление, что каждый вкладывает в эти термины свои понятия, а это приводит к взаимному недопониманию.
Мы решили разобраться с терминологией, чтобы придерживаться наиболее правильного толкования этих понятий. В ходе исследования, мы нашли работу В.В. Кулямина "Методы верификации программного обеспечения" . В ней дается развернутое описание этих терминов, и мы приняли решение в дальнейшем опираться на определения, данные в этой работе. Приведем некоторые выдержки их этой работы, относящиеся к верификации и валидации.
Верификация и валидация являются видами деятельности, направленными на контроль качества программного обеспечения и обнаружение ошибок в нем. Имея общую цель, они отличаются источниками проверяемых в их ходе свойств, правил и ограничений, нарушение которых считается ошибкой.
Для дальнейшего изложения нам необходимо ввести термин "артефакт жизненного цикла ПО". Артефактами жизненного цикла ПО называются различные информационные сущности, документы и модели, создаваемые или используемые в ходе разработки и сопровождения ПО. Так, артефактами являются техническое задание, описание архитектуры, модель предметной области на каком-либо графическом языке, исходный код, пользовательская документация и т.д. Различные модели, используемые отдельными разработчиками при создании и анализе ПО, но не зафиксированные в виде доступных другим людям документов, не могут считаться артефактами.
Верификация проверяет соответствие одних создаваемых в ходе разработки и сопровождения ПО артефактов другим, ранее созданным или используемым в качестве исходных данных, а также соответствие этих артефактов и процессов их разработки правилам и стандартам. В частности, верификация проверяет соответствие между нормами стандартов, описанием требований (техническим заданием) к ПО, проектными решениями, исходным кодом, пользовательской документацией и функционированием самого ПО. Кроме того, проверяется, что требования, проектные решения, документация и код оформлены в соответствии с нормами и стандартами, принятыми в данной стране, отрасли и организации при разработке ПО, а также - что при их создании выполнялись все указанные в стандартах операции, в нужной последовательности. Обнаруживаемые при верификации ошибки и дефекты являются расхождениями или противоречиями между несколькими из перечисленных документов, между документами и реальной работой программы, между нормами стандартов и реальным процессами разработки и сопровождения ПО. При этом принятие решения о том, какой именно документ подлежит исправлению (может быть, и оба) является отдельной задачей.
Валидация проверяет соответствие любых создаваемых или используемых в ходе разработки и сопровождения ПО артефактов нуждам и потребностям пользователей и заказчиков этого ПО, с учетом законов предметной области и ограничений контекста использования ПО. Эти нужды и потребности чаще всего не зафиксированы документально - при фиксации они превращаются в описание требований, один из артефактов процесса разработки ПО. Поэтому валидация является менее формализованной деятельностью, чем верификация. Она всегда проводится с участием представителей заказчиков, пользователей, бизнес-аналитиков или экспертов в предметной области - тех, чье мнение можно считать достаточно хорошим выражением реальных нужд и потребностей пользователей, заказчиков и других заинтересованных лиц. Методы ее выполнения часто используют специфические техники выявления знаний и действительных потребностей участников.
Различие между верификацией и валидацией проиллюстрировано на рисунке 1.
Приведенные определения получены некоторым расширением определений из стандарта IEEE 1012 на процессы верификации и валидации . В стандартном словаре терминов программной инженерии IEEE 610.12 1990 года определение верификации по смыслу примерно то же, а определение валидации несколько другое - там говорится, что валидация должна проверять соответствие полученного в результате разработки ПО исходным требованиям к нему. В этом случае валидация являлась бы частным случаем верификации, что нигде в литературе по программной инженерии не отмечается, поэтому, а также потому, что оно поправлено в IEEE 1012 2004 года, это определение следует считать неточным. Частое использование фразы B. Boehm"а :
Верификация отвечает на вопрос "Делаем ли мы продукт правильно?", а валидация- на вопрос "Делаем ли мы правильный продукт?"
также добавляет путаницы, поскольку афористичность этого высказывания, к сожалению, сочетается с двусмысленностью. Однако многочисленные труды его автора позволяют считать, что он подразумевал под верификацией и валидацией примерно те же понятия, которые определены выше. Указанные разночтения можно проследить и в содержании стандартов программной инженерии. Так, стандарт ISO 12207 считает тестирование разновидностью валидации, но не верификации, что, по-видимому, является следствием использования неточного определения из стандартного словаря .
В заключении хочется заметить, что согласно приведенным определениям статический анализ исходного кода программ соответствует верификации программного обеспечения, как проверка соответствия программного кода различным стандартам кодирования. Статический анализ проверяет соответствие результатов этапа конструирования программной системы требованиям и ограничениям, сформулированным ранее.
Библиографический список
- В.В. Кулямин "Методы верификации программного обеспечения". Институт системного программирования РАН 109004, г. Москва, ул. Б. Коммунистическая, д. 25.
http://www.ict.edu.ru/ft/005645/62322e1-st09.pdf - IEEE 1012-2004 Standard for Software Verification and Validation. IEEE, 2005.
- IEEE 610.12-1990 Standard Glossary of Software Engineering Terminology, Corrected Edition. IEEE, February 1991.
- B. W. Boehm. Software Engineering; R&D Trends and Defense Needs. In R. Wegner, ed. Research. Directions in Software Technology. Cambridge, MA:MIT Press, 1979.
- ISO/IEC 12207 Systems and software engineering - Software life cycle processes. Geneva, Switzerland: ISO, 2008.
Несмотря на кажущуюся схожесть, термины «тестирование», «верификация» и «валидация» означают разные уровни проверки корректности работы программной системы. Дабы избежать дальнейшей путаницы, четко определим эти понятия.
Тестирование программного обеспечения - вид деятельности в процессе разработки, связанный с выполнением процедур, направленных на обнаружение (доказательство наличия) ошибок (несоответствий, неполноты, двусмысленностей и т.д.) в текущем определении разрабатываемой программной системы. Процесс тестирования относится в первую очередь к проверке корректности программной реализации системы, соответствия реализации требованиям, т.е. тестирование - это управляемое выполнение программы с целью обнаружения несоответствий ее поведения и требований.
Рис. 1 Тестирование, верификация и валидация
Верификация программного обеспечения - более общее понятие, чем тестирование. Целью верификации является достижение гарантии того, что верифицируемый объект (требования или программный код) соответствует требованиям, реализован без непредусмотренных фун-к-ций и удовлетворяет проектным спецификациям и стандартам. Процесс вери-фи-ка-ции включает в себя инспекции, тестирование кода, анализ результатов тестирования, формирование и анализ отчетов о проблемах. Таким образом, принято считать, что процесс тестирования является составной частью процесса верификации, такое же допущение сделано и в данном учебном курсе.
Валидация программной системы - процесс, целью которого является доказательство того, что в результате разработки системы мы достигли тех целей, которые планировали достичь благодаря ее использованию. Иными словами, валидация - это проверка соответствия системы ожиданиям заказчика. Вопросы, связанные с валидацией выходят за рамки данного учебного курса и представляют собой отдельную интересную тему для изучения.
Если посмотреть на эти три процесса с точки зрения вопроса, на который они дают ответ, то тестирование отвечает на вопрос «Как это сделано?» или «Соответсвует ли поведение разработанной программы требованиям?», верификация - «Что сделано?» или «Соответствует ли разработанная система требованиям?», а валидация - «Сделано ли то, что нужно?» или «Соответствует ли разработанная система ожиданиям заказчика?».
Верификация — это обычно внутренний процесс управления качеством, обеспечивающий согласие с правилами, стандартами или спецификацией. Простой способ запомнить разницу между валидацией и верификацией заключается в том, что валидация подтверждает, что «вы создали правильный продукт», а верификация подтверждает, что «вы создали продукт таким, каким и намеревались его сделать».
Ещё один пример типичной верификации: проведение испытания оборудования. Имея определенные требования на руках, мы проводим испытание продукта и фиксируем, соблюдены ли требования. Результат верификации — это ответ на вопрос «Соответствует ли продукт требованиям?».
Но далеко не всегда продукт, соответствующий установленным требованиям, можно применять в конкретной ситуации. Например, лекарство прошло все положенные испытания и поступило в продажу. Значит ли это что оно может быть применено каким-то конкретным больным? Нет, так как каждый пациент имеет свои особенности и конкретно для этого лекарство может быть губительным, то есть кто-то (врач) должен подтвердить: да, этому больному можно принимать это лекарство. То есть врач должен выполнить валидацию: придать законную силу конкретному применению.
Или еще пример. Предприятие выпускает трубы, предназначенные для закладки в землю, в соответствии с некоторыми ТУ (Техническими условиями). Продукция этим ТУ соответствует, но поступил заказ, предполагающий укладку труб по дну моря. Могут ли трубы, соответствующие имеющимся ТУ, быть применены в данном случае? Именно валидация и дает ответ на этот вопрос.
Нетрудно видеть, что еще одно отличие состоит в том, что верификация производится всегда, а вот необходимость в валидации может и отсутствовать. Она появляется только тогда, когда возникают требования, связанные с конкретным применением продукции. Если фармацевтический завод выпускает лекарства, то он будет проверять лишь их соответствие требованиям, а проблемами применения конкретных лекарств конкретными пациентами заниматься не будет.
Таким образом, можно констатировать следующее:
Верификация — проводится практически всегда, выполняется методом проверки (сличения) характеристик продукции с заданными требованиями, результатом является вывод о соответствии (или несоответствии) продукции,
Валидация — проводится при необходимости, выполняется методом анализа заданных условий применения и оценки соответствия характеристик продукции этим требованиям, результатом является вывод о возможности применения продукции для конкретных условий.
Исходя из вышеописанного, валидация должна быть определена как подтверждение на основе представления объективных свидетельств того, что требования, предназначенные для конкретного использования или применения, точно и в полном объёме предопределены, а цель достигнута.
Верификация - что это такое простыми словами? Верификация в философии - это? Верификация в других областях деятельности человека? Как переводится слово «верификация»? Его происхождение и значение? Чем отличается верификация от валидации? Ответы на эти вопросы есть в данной статье.
Другие полезные статьи:Слово «верификация» происходит от латинских слов verus , что значит «истинный» и facere, что значит «делать». Т аким образом в буквальном значении слово переводится, как «делать или подтверждать истинность чего либо». Верифицировать - значит ПРОВЕРЯТЬ И ПОДТВЕРЖДАТЬ правильность.
Верификации - что это означает в разных областях?
Верификация в философии - это установление истинности теоретических утверждений при помощи их опытной проверки. Термин «верификация» в науке используется в том же значении.
Верификация в банке - что это? Это означает проверку личности клиента и предоставляемых им данных о себе либо проверку операций, выполняемых клиентом. Сейчас многие операции выполняются клиентами онлайн в интернете при помощи платежных карт. Каждая операция проходит верификацию (подтверждение), например, при помощи отправки смс с кодом на телефон клиента.
Верификация в интернете - это подтверждение Вашей личности при регистрации в платежных системах (Вебмани, ЯндексДеньги, Киви и т.д.), в соц сетях, в различных полезных сервисах. Как правило для выполнения верификации того, что это Вы, а не бот или мошенник приходит письмо-подтвержение на Вашу электронную почту.
Верификация в системе качества — это проверка на соответствие продукции ГОСТам или международным стандартам ISO.
Верификация - примеры
Например, соц сеть Твиттер верифицирует аккаунты знаменитостей для того, чтобы пользователи были уверены, что сообщения действительно публикует эта знаменитость или её официальный представитель. В аккаунте пользователя Твиттере, который прошел такую верификацию , ставится синий значок с галочкой.
Еще один пример: чтобы привязать платежную карту к аккаунту платежной системы (например PayPal), нужно пройти верификацию (проверку) платежной карты.
Чтобы получить «Персональный аттестат» в платежной системе Вебмани , нужно пройти верификацию (проверку) паспорта пользователя.
Еще один пример из области IT. Компания - разработчик ПО (программного обеспечения) выполнила заказ на разработку какой-то программы. Тестирование ПО на соответствие тех заданию заказчика - обязательная часть процесса выполнения задания от заказчика. Тестирование выполняется для верификации готовности программного продукта и соответствия требованиям заказчика. А вот валидацию ПО будет выполнять заказчик.
Чем отличается верификация от валидации?
Многие эти слова считают синонимами, означающими подтверждение. Однако между этими понятиями существует отличие. Валидация и верификация — это разные действия. Это не простой вопрос, который вводит многих в заблуждение. Поэтому если Вы хотите с ним разобраться и понять,. Здесь же коротко скажу, что в переводе с английского верификация (verification) означает — проверка, а валидация (validation) - придание законной силы.
Валидация (validation) - придание, подтверждение законной силы Верификация (verification) - проверкаЗачем нужна верификация в банках, в интернете и на производстве?
Зачем нужна верификация в банках и в интернете — в соцсетях (ВК и других), ? Главная цель верификации в банках и в интернете — это борьба с мошенничеством.
Зачем нужна верификация качества продукции на производстве? Думаю, ответ очевиден. Здесь верификация нужна для получения клиентами действительно качественной продукции.
Надеюсь, статья оказалась для Вас полезной и Вы теперь знаете, что это «верификация» простыми словами.
Желаю всем много идей и радости от воплощения их в жизнь!
Напоследок предлагаю посмотреть полезное видео, чтобы приобрести так нужную нам всем уверенность в себе и в своих силах:
Кажущаяся или реальная анонимность в интернете – это фактор, за который многие пользователи любят всемирную сеть, и ищут всяческие способы для сохранения и поддержания инкогнито (по разным причинам).
Cодержание:
Определение
Следуя энциклопедическим или словарным определениям, можно сказать, что верификация – это подтверждение реальности и истинности личности или групп личностей (например, в группах организаций в социальных сетях, совершении каких либо банковских операций и т. п.).
Данный термин произошел от латинского слова veritas – истина, дословно переводится как «делать истинным», то есть подтверждать.
Таким образом, процесс верификации – это непосредственный процесс снятия инкогнито с личности или организации.
Однако не только конкретные люди или организации подвергаются верификации. Этот термин применим и к различным иным сферам.
Подтверждение номера телефона или адреса электронной почты посредствам отправки на него определенного кода или ссылки – это также верификация, но не человека, а данных.
Подтверждения истинности, по сути, может требовать любая информация, любые данные, любые личности или организации. В некоторых сферах является обязательной, в других – желательной, в третьих – необязательной и т. п. в определенных случаях она может давать определенные бонусы или возможности.
Сферы применения термина
Данное понятие применяется во многих сферах, но наибольшее распространение получило в финансовой сфере и в интернете.
В финансовой сфере оно наиболее необходимо потому, что именно в ней происходит наибольшее число мошеннических действий, а она всегда проводится с целью избегания мошенничества.
4 Верификация бывает нужна в целях избегания появления страниц-клонов с развлекательной целью или с информацией, портящей репутацию человека (особенно это актуально для публичных личностей, но свои аккаунты подтверждают не только они);
5 Все преимущества и особенности предыдущего пункта распространяются не только на персональные аккаунты , но и на паблики организаций или просто популярные сообщества в интернете;
6 В большинстве случаев нужна для обеспечения мнимой безопасности пользователей , например, при обнаружении угроз в чей либо адрес, человека, который их выдвигал проще привлечь к ответственности, если его аккаунт верифицирован (хотя фактически эта система почти не работает);
7 При оформлении платных подписок на сайт, аудиотеку, видиотеку или библиотек у. Регистрации в подтверждение реальности нужно для урегулирования возможных денежных споров и избегания мошеннических действий со стороны пользователей;
8 Почти все сайты, работающие с системами электронных денег , также в этих целях проводят процедуру верификации, особенно, если речь идет об обороте более или менее значительных сумм (например, реализует несколько ступеней подтверждения аккаунта, при этом, на каждой новой ступени пользователю предоставляется доступ к более расширенному функционалу системы).
Не все пользователи знают, что многие социальные сети, хотя и не требуют верификации по умолчанию, могут провести ее по запросу пользователя. Например, на сайте можно обратиться в Службу поддержки для того, чтобы провести такую процедуру если вы по той или иной причине видите в ней необходимость. Таким способом можно верифицировать аккаунт или паблик.
Подтверждение аккаунта
В каких случаях стоит подтвердить свой аккаунт или паблик?
1 При появлении у вас достаточно большого количества подписчиков во избежание появления клонов;
2 При регулярной организации каких либо встреч и/или мероприятий, так как подтвержденный аккаунт вызывает больше доверия ;
3 Про совершении каких либо финансовых манипуляций или размещении просьбы о них (например, при сборе средств на благотворительность), по тем же причинам;
4 При наличии цели раскрутки аккаунта или паблика, по тем же причинам ;
5 При размещении текстов, изображений, музыки и т. п. собственного сочинения, другой интеллектуальной собственности с целью хотя бы незначительной защиты авторских прав ;
6 При политической или активистской деятельности (хотя многое здесь зависит от типа активизма);
7 При работе и размещении информации от лица компании или организации и т. п.
8 По сути, верифицировать можно любой аккаунт. У администрации, например, ВКонтакте, обычно не возникает вопросов, с какой целью или по какой причине делается подтверждение.
Хотя важно учитывать, что она имеет и ряд негативных последствий . И в первую очередь это отсутствие анонимности – грубо говоря, вы несете чуть большую ответственность за размещенные материалы и информацию. Хотя отсутствие анонимности все равно не позволит вам размещать, например, так как и без подтверждения аккаунта место нахождение и личность пользователя выяснить достаточно легко, если задаться такой целью.
Как получить?
Проводится верификация различными способами и зависит от того, для каких целей ее необходимо получить.
Подтверждения номера мобильного телефона, например, проводится путем пересылки на него , который нужно ввести на странице сайта, назвать сотруднику организации и т. п.
Подтверждение электронной почты требуется, обычно, только на каких либо сайтах.
Причем, в большинстве случаев, если адрес электронной почты подтвержден не будет, то зарегистрироваться на сайте не получится.
Сложнее обстоит дело с верификацией аккаунтов в социальной сети. По умолчанию большинство сетей этого не требует – достаточно лишь подтверждения адреса электронной почты и/или номера телефона. При этом, вы можете создать аккаунт с любым именем или любого содержания.
Но например, если вы захотите сменить имя или фамилию, указанные в профиле в социальной сети, например, может затребовать верификацию аккаунта для смены имени.
Документы
Проводится верификация аккаунта путем предоставления фотографии документов – обычно, основного разворота паспорта, на котором хорошо видны имя и фамилия пользователя.
Для подтверждения официальных страниц групп может быть затребована та или иная информация.
В зависимости от статуса организации, в том числе и свидетельство о регистрации юридического лица.
Требует предоставлять фото различных документов в зависимости от ступени подтверждения – от и других финансовых документов.
Важно! Прежде чем отправлять фото документов администрации, убедитесь в надежности сайта. Учтите, что если возникают даже мин6имальные сомнения в репутации сайта, то отправлять фото документов нельзя. Кроме того, перед тем, как отправлять фото, проверьте по ссылке в адресной строке, не является ли сайт клоном, фишинговым и т. п.
Заказчик (заявитель) . Эта роль принадлежит представителю организации, заказавшей разрабатываемую систему. Обычно заявитель ограничен в своем взаимодействии и общается только с менеджерами проекта и специалистом по сертификации или внедрению. Обычно заказчик имеет право изменять требования к продукту (только во взаимодействии с менеджерами), читать проектную и сертификационную документацию, затрагивающую нетехнические особенности разрабатываемой системы.
Менеджер проекта . Эта роль обеспечивает коммуникационный канал между заказчиком и проектной группой. Менеджер продукта управляет ожиданиями заказчика, разрабатывает и поддерживает бизнес- контекст проекта. Его работа не связана напрямую с продажей, он сфокусирован на продукте, его задача - определить и обеспечить требования заказчика . Менеджер проекта имеет право изменять требования к продукту и финальную документацию на продукт.
Менеджер программы . Эта роль управляет коммуникациями и взаимоотношениями в проектной группе, является в некотором роде координатором, разрабатывает функциональные спецификации и управляет ими, ведет график проекта и отчитывается по состоянию проекта, инициирует принятие критичных для хода проекта решений.
Тестирование - процесс выполнения программы с целью обнаружения ошибки.
Тестовые данные - входы, которые используются для проверки системы.
Тестовая ситуация (test case) - входы для проверки системы и предполагаемые выходы в зависимости от входов, если система работает в соответствии со спецификацией требований.
Хорошая тестовая ситуация - та ситуация, которая обладает большой вероятностью обнаружения пока еще необнаруженной ошибки.
Удачный тест - тест, который обнаруживает пока еще необнаруженную ошибку.
Ошибка - действие программиста на этапе разработки, приводящее к тому, что в программном обеспечении содержится внутренний дефект, который в процессе работы программы может привести к неправильному результату.
Отказ - непредсказуемое поведение системы, приводящее к неожидаемому результату, которое могло быть вызвано дефектами, содержащимся в ней.
