Сцвярджэнне (праграмаванне)
Сцвярджэнне (англ.: Assertion) у праграмаванні — прэдыкат, змешчаны ў праграме і ўказваючы на тое, што распрацоўшчык мае на ўвазе гэты прэдыкат у гэтым месцы праграмы заўсёды праўдзівым.
Напрыклад, наступны псеўдакод утрымлівае два сцверджання:
x := 5;
{x > 0}
x := x + 1
{x > 1}
x > 0
и x > 1
, і яны безумоўна праўдзівыя ў паказаных пунктах у момант выконвання.
Прыклады правіць
Python правіць
a = 1
b = 2
assert a==1 ## радок, які рэалізуе сцверджанне
try:
assert b==3 ## гэта сцверджанне выклікае памылку
except AssertionError, e:
print "b must equal 3"