程序的靜態測試之源程序靜態分析[2]

　　程序的靜態測試之源程序靜態分析[2]   軟件測試　

   　引用分析：最廣泛使用的靜態錯誤分析方法就是發現引用異常。如果沿著程序的控制路徑，變量在賦值以前被引用，或變量在賦值以后未被引用，這時就發生了引用異常。為了檢測引用異常，需要檢查通過程序的每一條路徑。也可以建立引用異常的探測工具。

　　表達式分析：對表達式進行分析，以發現和糾正在表達式中出現的錯誤。包括：在表達式中不正確地使用了括號造成錯誤。數組下標越界造成錯誤。除式為零造成錯誤。對負數開平方，或對π求正切值造成錯誤。以及對浮點數計算的誤差進行檢查。

　　接口分析：關于接口的靜態錯誤分析主要檢查過程、函數過程之間接口的一致性。因此要檢查形參與實參在類型、數量、維數、順序、使用上的一致性;檢查全局變量和公共數據區在使用上的一致性。

原文轉自：http://www.anti-gravitydesign.com