Формальная верификация: различия между версиями

== Обоснование ==
 
[[Тестирование программного обеспечения]] само по себе не может доказать, что система, алгоритм или программа не содержит никаких дефектов. Также оно не может доказать,
что алгоритм, программа или система удовлетворяет определенному свойству. Только процесс ''формальной'' верификации может доказать, что система, алгоритм или программма не содержит определенного дефекта или удовлетворяет определенному свойству. Невозможно доказать или протестировать, что система "не имеет дефектов", поскольку
невозможно формально определить, что означает "нет дефектов". Все, что можно сделать - это доказать, что система не имеет никаких дефектов из тех, что можно определить, а также обладает всеми строго определяемыми свойствами, которые вместе делают ее функциональной и полезной.
 
Анонимный участник