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

Утверждение (англ. Assertion) в программировании — предикат, размещённый в программе и указывающий на то, что разработчик имеет ввиду этот предикат в этом месте программы всегда истинным.

К примеру, следующий псевдокод содержит два утверждения: <source lang="java">x := 5; {x > 0} x := x + 1 {x > 1}</source>

x > 0 и x > 1, и они безусловно верны в указанных точках в момент выполнения.

Примеры

Python

<source lang="python"> a = 1 b = 2 assert a==1 ## строка, реализующая утверждение try:

   assert b==3 ## это утверждение вызовет ошибку

except AssertionError, e:

   print "b must equal 2"

</source>