在程式设计中，断言（assertion）是一种放在程式中的一阶逻辑（如一个结果为真或是假的逻辑判断式），目的是为了标示与验证程式开发者预期的结果－当程式执行到断言的位置时，对应的断言应该为真。若断言不为真时，程式会中止执行，并给出错误讯息。例如，以下的程式包括二个断言：x := 5;x := x + 1codice_1及codice_2，当程式执行到二个断言对应的位置时，断言的内容均为真。程式设计者可以用断言来标示程式，提供程式正确性的相关资讯。例如在一段程式前加入断言（先验条件），说明这