3.3.8　其他檢查

1.如果編譯器建立了一個(gè)標(biāo)識(shí)符交叉引用列表，那么對(duì)該列表進(jìn)行檢查，查看是否有變量從未引用過(guò)，或僅被引用過(guò)一次。

2.如果編譯器建立了一個(gè)屬性列表，那么對(duì)每個(gè)變量的屬性進(jìn)行檢查，確保沒(méi)有賦予過(guò)不希望的默認(rèn)屬性值。

3.如果程序編譯通過(guò)了，但計(jì)算機(jī)提供了一個(gè)或多個(gè)“警告”或“提示”信息，應(yīng)對(duì)此逐一進(jìn)行認(rèn)真檢查。“警告”信息指出編譯器對(duì)程序某些操作的正確性有所懷疑；所有這些疑問(wèn)都應(yīng)進(jìn)行檢查。“提示”信息可能會(huì)羅列出沒(méi)有聲明的變量，或者是不利于代碼優(yōu)化的用法。

4.程序或模塊是否具有足夠的魯棒性？也就是說(shuō)，它是否對(duì)其輸入的合法性進(jìn)行了檢查？

5.程序是否遺漏了某個(gè)功能？

這些檢查列表在表3-1和表3-2中進(jìn)行了總結(jié)。