【自動程式驗證系統】
<P align=center><STRONG><FONT size=5>【<FONT color=red>自動程式驗證系統</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：automaticprogramverificationsystem</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>指自動進行證明電腦程式與有關程式形式說明規定間一致性的系統。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>通常程式製作後由程式設計師對程式進行靜態檢查，但要很仔細始能有效。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>對於大型系統因檢查量龐大，人工難以勝任；</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>故交由電腦對原始碼進行分析和檢查。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>該系統由若干程式工具構成，每一工具負責一種檢查功能。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>主要工具有編碼分析、程式結構檢查、模組介面檢查、事件系列檢查等。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]