C裡用法:使用斷言可以建立更穩定，品質更好且不易於出錯的程式碼。當需要在一個值為FALSE時中斷當前操作的話，可以使用斷言。單元測試必須使用斷言（Junit/JunitX）。除了型別檢查和單元測試外，斷言還提供了一種確定各種特性是否在程式中得到維護的極好的方法。使用斷言使我們向按契約式設計更近了一步。斷言特性:前置條件斷言：程式碼執行之前必須具備的特性後置條件斷言：程式碼執行之後必須具備的特性前後不變斷言：程式碼執行前後不能變化的特性使用方式:斷言可以有兩種形式1.assert Expression12.assert Expression1:Expression2其中Expression1應該總是一個布林值，Expression2是斷言失敗時輸出的失敗訊息的字串。如果Expression1為假，則丟擲一個 AssertionError，這是一個錯誤，而不是一個異常，也就是說是一個不可控制異常（unchecked Exception),AssertionError由於是錯誤，所以可以不捕獲，但不推薦這樣做，因為那樣會使你的系統進入不穩定狀態。java斷言:斷言在預設情況下是關閉的，要在編譯時啟用斷言，需要使用source1.4標記 既javac source1.4 Test.java ,在執行時啟用斷言需要使用 -ea引數 。要在系統類中啟用和禁用斷言可以使用 -ea和 -dsa引數。