通常采用以下一些方法進行源程序的靜態分析。
�、� 生成各種引用表
直接從表中查出說明/使用錯誤等。如，循環層次表、變量交叉引用表、標號交叉引用表等。
為用戶提供輔助信息。如，子程序(宏、函數)引用表、等價(變量、標號)表、常數表等。
用來做錯誤預測和程序復雜度計算。如，操作符和操作數的統計表等。
�、� 靜態錯誤分析
靜態錯誤分析主要用于確定在源程序中是否有某類錯誤或“危險”結構。
類型和單位分析：為了強化對源程序中數據類型的檢查，發現在數據類型上的錯誤和單位上的不一致性，在程序設計語言中擴充了一些結構。如單位分析要求使用一種預處理器，它能夠通過使用一般的組合/消去規則，確定表達式的單位。
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/