:::
程式驗証 - 教育百科
| 程 | |
| 式 | |
| 驗 | |
| 証 |
國家教育研究院辭書
基本資料
| 英文： | program verification |
| 日期： | 2003年6月 |
| 出處： | 資訊與通信術語辭典 |
辭書內容
|
名詞解釋： (一)應用一個已驗證過的程式系統來自動證明給定程式的正確性。 (二)程式師設計寫完程式後，若程式規模小，則由程式師自己進行人工驗證，證明程式是否符合目標。若程式大型且複雜，則需由電腦進行檢查，完成程式驗證工作。 |
|
| 資料來源： | 國家教育研究院_程式驗証 |
| 授權資訊： | 資料採「 創用CC-姓名標示- 禁止改作 臺灣3.0版授權條款」釋出 |
貓頭鷹博士