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

У этого термина существуют и другие значения, см. Утверждение.

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

Это заготовка статьи о компьютерах. Вы можете помочь проекту, исправив и дополнив её. Это примечание по возможности следует заменить более точным.

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 26 июня 2012.