Утверждение (программирование)

Утверждение (англ. 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 2"