Верификация

Добавлено в закладки: 0

Что такое верификация? Описание и определение понятия

 Верификация – это (лат., от verus – истинный, facio – делаю) способ подтверждения, проверяемость, эмпирическое подтверждение теоретических алгоритмов, положений, процедур или программ, сопоставляя их с эталонными, эмпирическими, опытными данными, программами или алгоритмами. Верификация обозначает также соответствие предопределенным эталонным характеристикам конечного продукта. Термин «верификация» используют для обозначения методики распознавания искажения, укрывательства, лжи. Такое разное толкование  этого термина объясняется широкими возможностями проверить соответствие различных характеристик предъявленным требованиям к ним.

1. Термин «верифицировано» применяется, обозначая соответствующий статус.

2. Деятельность по подтверждению может включать:

• осуществлять альтернативные расчеты
• сравнивать научную и техническую документации по новому проекту с аналогичной документацией по апробированному проекту
• проводить испытания и демонстрации
• анализировать документы до их выпуска.

Принципы верификации

Верификацию легко спутать с валидацией. Верификация всегда будет опираться на сравнение реальных опытных образцов с эталонными, которые создаются на фазе проектирования.

Термины «верификация» и «валидация» зачастую используют в технической литературе. Легко проследить связь этих терминов с анализом качества  программного обеспечения. Научная литература пестрит различными трактовками данных понятий. Итак, разберемся в этом вопросе.

Наиболее верным, с нашей точки зрения, есть следующее определение. Валидацией и верификацией можно назвать виды деятельности, направленные на проведение контроля качества программного продукта для обнаружения на стадиях разработки ошибок в нем. Кажется, они имеют общую цель. Однако они обладают различиями в проверяемых свойствах, ограничениях и правилах, несоблюдая которые можно назвать ошибкой.

Верификация – это проверка на соответствие программного обеспечения технической документации, которая представлена техзаданием, архитектурой или моделью предметной области. В задачи верификации включается и сопоставление процедуры расчетов с процессом их разработки, правилами и стандартами.

Верификация данных должна выполняться, чтобы установить функционирования программы в соответствии с установленными нормами, требованиями, проектными решениями и пользовательской документацией. При этом обязательно необходимо предварительно проверить те документы, с которыми проводится сравнение на соответствие их стандартам и нормативам, которые установлены в той стране, где эксплуатируется программное обеспечение. Также нужно принимать во внимание соблюдение последовательности выполняемых операций.

Если обнаружена ошибка или дефект в работе программы либо же обнаружено противоречие между указанными выше документами и действующим функционированием программы, принятие решения о выборе документа для исправления является решением отдельной задачи.

В отличие от верификации валидация подразумевает проверку на соответствие разрабатываемых или сопровождаемых программных продуктов требований заказчиков или пользователей. Эти потребности зачастую не отражаются ни в какой документации. Именно поэтому валидация является менее формализованной, чем верификация. В этом процессе участвуют представитель заказчика, пользователя, а может находиться аналитик или эксперт в предметной области. Иными словами, те, которые могут представлять конкретные потребности и реальные нужды этих лиц.

Методы верификации

Верификация – это ответ на вопрос «Выполнено ли программное обеспечение правильно?», а валидация – «Сделано ли правильное программное обеспечение?».

Ища ответ на поставленные вопросы обнаруживается, что валидация (или аттестация) по содержанию имеет значение пошире, чем проверка (верификация). Но верификация тесно связана с контролем качества программного продукта.

Например, верификация компьютерной программы подразумевает процесс, где за основу ставится цель по обеспечению удовлетворения требований данных, которые получены в данном жизненном цикле продукта, тем, которые получили на предыдущей стадии.

Верификации модели подразумевает проверку правильности отображения данной вычислительной модели необходимой концептуальной либо математической моделям.

Верификация системного кода подразумевает проведение анализа кодировки источника и проверка соответствия его документальному описанию.

В процессе верификации могут включаться операции, содержащие альтернативные расчеты. Проводится сравнение технической и научной документаций нового проекта с соответствующей документацией уже существующего проекта, обязательное тестирование, апробация нового программного продукта и демонстрация результатов.

Мы коротко рассмотрели понятие верификации, его принципы, методы. Оставляйте свои комментарии или дополнения к материалу.