模板
教程
環境
性能
功能
管理
程序的靜態測試之源程序靜態分析
通常采用以下一些方法進行源程序的靜態分析。 ① 生成各種引用表 直接從表中查出說明/使用錯誤等。如，循環層次表、變量交叉引用表、標號交叉引用表等。 為用戶提供輔助信息。如，子程序(宏、函數)引用表、等價(變量、標號)表、常數表等。 用來做錯誤預測和
通常采用以下一些方法進行源程序的靜態分析。?、?生成各種引用表
直接從表中查出說明/使用錯誤等。如，循環層次表、變量交叉引用表、標號交叉引用表等。
為用戶提供輔助信息。如，子程序(宏、函數)引用表、等價(變量、標號)表、常數表等。
用來做錯誤預測和程序復雜度計算。如，操作符和操作數的統計表等。
?、?靜態錯誤分析
靜態錯誤分析主要用于確定在源程序中是否有某類錯誤或“危險”結構。
類型和單位分析：為了強化對源程序中數據類型的檢查，發現在數據類型上的錯誤和單位上的不一致性，在程序設計語言中擴充了一些結構。如單位分析要求使用一種預處理器，它能夠通過使用一般的組合/消去規則，確定表達式的單位。
引用分析：最廣泛使用的靜態錯誤分析方法就是發現引用異常。如果沿著程序的控制路徑，變量在賦值以前被引用，或變量在賦值以后未被引用，這時就發生了引用異常。為了檢測引用異常，需要檢查通過程序的每一條路徑。也可以建立引用異常的探測工具。
表達式分析：對表達式進行分析，以發現和糾正在表達式中出現的錯誤。包括：在表達式中不正確地使用了括號造成錯誤。數組下標越界造成錯誤。除式為零造成錯誤。對負數開平方，或對π求正切值造成錯誤。以及對浮點數計算的誤差進行檢查。
接口分析：關于接口的靜態錯誤分析主要檢查過程、函數過程之間接口的一致性。因此要檢查形參與實參在類型、數量、維數、順序、使用上的一致性; 檢查全局變量和公共數據區在使用上的一致性。
