斷言(程式) - 维基百科，自由的百科全书
文章推薦指數： 80 %
斷言(程式)
維基百科，自由的百科全書
此條目需要補充更多。
(2015年7月19日)請協助補充多方面以，的內容可能會因為而移除。
在中，斷言（assertion）是一種放在程式中的（如一個結果為真或是假的邏輯判斷式），目的是為了標示與驗證程式開發者預期的結果－當程式執行到斷言的位置時，對應的斷言應該為真。
若斷言不為真時，程式會中止執行，並給出錯誤訊息。
例如，以下的程式包括二個斷言：
x:=5;
{x>0}
x:=x+1
{x&g
