Что такое верификация и как она работает

Что такое верификация и как она работает? Данный термин подразумевается по-разному, в каждой сфере деятельности, где используется:

-Верификация, это подтверждение конечного продукта, заранее определенным требованиям.

-Верификация, позиционируется также как одна из методик распознавания искажения, лжи, и подобного.

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

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

— Во–первых, это метод аксиоматической семантики Хоэра;

— Во-вторых, это доказательное программирование – этот метод использовался еще в восьмидесятых годах прошлого века, во время разработки программ для ЭВМ с доказательствами правильности;

— Автоматическое доказание теорем – такой метод верификации, который реализован программным способом;

— Следующий – метод индуктивных утверждений;

— Проверка моделей – метод, который позволяет производить автоматическую проверку данных параллельных систем, с заранее определенным конечным числом состояний (другими словами данный метод осуществляет проверку, удовлетворяет ли заданная модель всем критериям и условиям спецификации);

— Символьное выполнение и абстрактная интерпретация.

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