Сцвярджэнне (праграмаванне)

Сцвярджэнне () у праграмаванні — прэдыкат, змешчаны ў праграме і ўказваючы на тое, што распрацоўшчык мае на ўвазе гэты прэдыкат у гэтым месцы праграмы заўсёды праўдзівым.

Напрыклад, наступны псеўдакод утрымлівае два сцверджання:
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"

Катэгорыя:Фармальныя метады
Катэгорыя:Адладка праграм