【判定敘述】
<P align=center><STRONG><FONT size=5>【<FONT color=red>判定敘述</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：assertionstatement</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>(一)指進行程式正確性證明時，在程式中引進的述詞，如0≦r≦dd，0≦r≦d且a≡r．mod（d）等。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>只要能證明在程式執行過程中，判定恆真，即可證明程式的正確性。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>(二)用於資料庫系統，規定對數據的校驗。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>例如規定：月薪＜2000000，18＜員工年齡＜70，…資料庫系統即可以拒不執行違反這些判定敘述的更新指令，從而防止由於操作錯誤而破壞資料庫。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]