::::契约式设计中的断言.断言可以当做是一种软体的文件：断言可以描述程式执行前预期的情形（先验条件）以及执行后的预期的结果（）。断言也可以描述类别中的不变量。Eiffel程式语言将断言和程式整合，也可以自动将程式中的断言抽出，形成程式的文件。这是契约式设计的重要特性。以下是一个Eiffel语言的程式，其中codice_3及codice_4分别标示程式的先验条件及后验条件。断言可以用叙述的方式放在程式中，也可以用註解的方式标示。不过断言若用註解的方式标示，在断言和程式未同步更新时比较容易让设计者发现问题