斷言在軟件開發中是一種常用的調試方式，很多開發語言中都支持這種機制。一般來說，斷言用於保證程序最基本、關鍵的正確性。斷言檢查通常在開發和測試時開啟。為了保證程序的執行效率，在軟件發布后斷言檢查通常是關閉的。斷言是一個包含布爾表達式的語句，在執行這個語句時假定該表達式為true；如果表達式的值為false，那么系統會報告一個AssertionError。斷言的使用如下面的代碼所示：
|
1
|
assert
(a >
0
);
// throws an AssertionError if a <= 0
|
斷言可以有兩種形式：
assert Expression1;
assert Expression1 : Expression2 ;
Expression1 應該總是產生一個布爾值。
Expression2 可以是得出一個值的任意表達式；這個值用於生成顯示更多調試信息的字符串消息。
要在運行時啟用斷言，可以在啟動JVM時使用-enableassertions或者-ea標記。要在運行時選擇禁用斷言，可以在啟動JVM時使用-da或者-disableassertions標記。要在系統類中啟用或禁用斷言，可使用-esa或-dsa標記。還可以在包的基礎上啟用或者禁用斷言。
注意：斷言不應該以任何方式改變程序的狀態。簡單的說，如果希望在不滿足某些條件時阻止代碼的執行，就可以考慮用斷言來阻止它。