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

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