QRCode

判定敘述

assertion statement

2003年6月
資訊與通信術語辭典

名詞解釋:

(一)指進行程式正確性證明時,在程式中引進的述詞,如0rdd0rdarmodd)等。只要能證明在程式執行過程中,判定恆真,即可證明程式的正確性。

(二)用於資料庫系統,規定對數據的校驗。例如規定:月薪<200000018<員工年齡<70,…資料庫系統即可以拒不執行違反這些判定敘述的更新指令,從而防止由於操作錯誤而破壞資料庫。

判定敘述

assertion statement

assertion statement 進行詞彙精確檢索結果
出處/學術領域 英文詞彙 中文詞彙
學術名詞
電子計算機名詞
assertion statement 判定敘述
判定敘述 進行詞彙精確檢索結果
出處/學術領域 中文詞彙 英文詞彙
學術名詞
電子計算機名詞
判定敘述 assertion statement

引用網址: