可能是执行期或其他时间检查的陈述。若在执行期中有断言不成立，会出现断言失败，一般会停止程式的执行。程式设计者可以专注在断言失败，逻辑不一致的部份，并设法修正。断言的使用有助于程式设计者设计、开发及理解程式。
用途.在开发Eiffel语言的程式时，断言是设计过程中的一部份。像C语言或Java等程式语言，主要在执行期检查断言是否正确，也可以用静态断言的方式，在编译期检查断言。不论是哪一种情形，都可以检查断言的有效性，也可以关闭断言检查的机能。
契约式设计中的