編寫代碼時，我們總是會做出壹些假設，斷言就是用於在代碼中捕捉這些假設。斷言表示為壹些布爾表達式，程序員相信在程序中的某個特定點該表達式值為真，可以在任何時候啟用和禁用斷言驗證，因此可以在測試時啟用斷言而在部署時禁用斷言。同樣，程序投入運行後，最終用戶在遇到問題時可以重新啟用斷言。
使用斷言可以創建更穩定、品質更好且 不易於出錯的代碼。當需要在壹個值為FALSE時中斷當前操作的話，可以使用斷言。單元測試必須使用斷言（Junit/JunitX）。
除了類型檢查和單元測試外，斷言還提供了壹種確定各種特性是否在程序中得到維護的極好的方法。
使用斷言使我們向按契約式設計更近了壹步。