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

Что такое верификация и как она работает? Данный термин подразумевается по-разному, в каждой сфере деятельности, где используется:
-Верификация, это подтверждение конечного продукта, заранее определенным требованиям.
-Верификация, позиционируется также как одна из методик распознавания искажения, лжи, и подобного.
-Третий и конечный вариант, когда под верификацией подразумевается какой-либо способ подтверждения данных, с помощью проверки их какими-либо предоставленными данными.
Помимо этого, существует еще один термин, как формальная верификация, подразумевающий под собой доказательство с использованием разнообразных формальных методов правильности, или же наоборот, неправильности системы в соответствии с установленным описанием ее свойств. Различают несколько методов осуществления верификации:
— Во–первых, это метод аксиоматической семантики Хоэра;
— Во-вторых, это доказательное программирование – этот метод использовался еще в восьмидесятых годах прошлого века, во время разработки программ для ЭВМ с доказательствами правильности;
— Автоматическое доказание теорем – такой метод верификации, который реализован программным способом;
— Следующий – метод индуктивных утверждений;
— Проверка моделей – метод, который позволяет производить автоматическую проверку данных параллельных систем, с заранее определенным конечным числом состояний (другими словами данный метод осуществляет проверку, удовлетворяет ли заданная модель всем критериям и условиям спецификации);
— Символьное выполнение и абстрактная интерпретация.
Вообще верификация – процесс, который может быть автоматизирован полностью, но для очень маленького спектра простеньких «теорий». Для того, чтобы поддержать строгость при проверке и не упустить ни одной детали, можно запустить практически бесконечный цикл, когда происходит процесс доказательства верификатором, который в последствии проверяет и сам верификатор.
Теги:
Добавить комментарий