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