assert是一種軟體測試的方法，提供了一種在程式碼中正確性檢查的機制，目前很多開發語言都支援這種機制。

它的作用是檢查一個boolean表示式，程式的正確執行必須保證這個表示式為TRUE，返回false則代表程式不正常，系統需要提供告警資訊並退出程式。

assert主要是用來保證程式的正確性，一般用於程式的開發和測試，為了提高程式執行的效率，軟體釋出後，assert檢查預設是關閉的。

assert的用法：
包括兩種表示式：

1. assert expression
2. assert expression： expressionOther
   expression 代表boolean表示式，expressionOther代表基本型別或者是一個物件。

對於Java程式，要用（-ea）去開啟assert檢查

應用的範圍：

1. 檢查控制流
2. 檢查輸入引數是否有效
3. 檢查函式結果是否有效
4. 檢查程式不變數

assert與if的區別：
assert是在除錯程式時使用，不能用assert來控制程式的業務流程，因為去掉了assert意味著修改了程式的正常邏輯，但是if本身就是控制程式邏輯的。