行到二个断言对应的位置时，断言的内容均为真。程式设计者可以用断言来标示程式，提供程式正确性的相关资讯。例如在一段程式前加入断言（先验条件），说明这段程式执行前预期的状态。或在一段程式后加入断言（），说明这段程式执行后预期的结果。以下的范例使用东尼·霍尔在1969年论文中提出的断言标示方式。x = 5;x = x + 1;以上註解中的大括号表示为断言，不是一般的註解。现有的主流程式语言不支援上述的标示方式，不过程式设计者仍可以用註解的方式标示断言，标示此时应该成立的条件，只是此断言没有检查机