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

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

    　通常采用以下一些方法進行源程序的靜態分析。

　?、?生成各種引用表

　　直接從表中查出說明/使用錯誤等。如，循環層次表、變量交叉引用表、標號交叉引用表等。

　　為用戶提供輔助信息。如，子程序(宏、函數)引用表、等價(變量、標號)表、常數表等。

　　用來做錯誤預測和程序復雜度計算。如，操作符和操作數的統計表等。

　?、?靜態錯誤分析

　　靜態錯誤分析主要用于確定在源程序中是否有某類錯誤或“危險”結構。

　　類型和單位分析：為了強化對源程序中數據類型的檢查，發現在數據類型上的錯誤和單位上的不一致性，在程序設計語言中擴充了一些結構。如單位分析要求使用一種預處理器，它能夠通過使用一般的組合/消去規則，確定表達式的單位。

原文轉自：http://www.kjueaiud.com