Сцвярджэнне () у праграмаванні — прэдыкат, змешчаны ў праграме і ўказваючы на тое, што распрацоўшчык мае на ўвазе гэты прэдыкат у гэтым месцы праграмы заўсёды праўдзівым.
Напрыклад, наступны псеўдакод утрымлівае два сцверджання: 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"
Катэгорыя:Фармальныя метады Катэгорыя:Адладка праграм