在用這類工具對軟件產品進行分析時,以軟件的代碼文件作為輸入,靜態分析工具對代碼進行分析,然后與用戶定制的質量模型進行比較,根據實際情況與模型之間的差距,得出對軟件產品的質量評價。
下圖是一個商業靜態分析工具得出的軟件質量與質量模型之間的比較結果。
圖3-1靜態分析工具得出的軟件質量與質量模型之間的比較結果
下圖是一個商業的靜態分析工具得出的程序中某一個函數的流程圖。
圖3-2靜態分析工具得出的程序中某函數的流程圖
具有檢查代碼規范性功能的靜態分析工具,其內部包含了得到公認的編碼規范,比如函數、變量、對象的命名規范,函數語句數的限制等等,工具支持對這些規范的設置。工具的使用者根據情況,裁減出適合自己的編碼規范,然后通過工具對代碼進行分析,定位代碼中違反編碼規范的地方。
以上就是靜態分析工具所具有的功能。與人工進行靜態分析的方式相比,通過使用靜態分析工具,一方面能提高靜態分析工作的效率,另一方面也能保證分析的全面性。
原文轉自:http://www.anti-gravitydesign.com