Boolean 類型的值的語句，用於在程式中測試一個條件，如果該程式運行正確，應始終計算為 true ；否則，程式通常將終止與相應的錯誤訊息。斷言用於偵錯工具和記錄程式應如何運作。