自動化代碼靜態(tài)分析平臺的設計與實現(xiàn).pdf

1、近年來，軟件規(guī)模不斷擴大，軟件行業(yè)已經(jīng)從一項最初依賴個人編碼能力的技術領域演化成一個越來越復雜和精密的系統(tǒng)工程。在軟件工程應用中，軟件產(chǎn)品作為最終項目的產(chǎn)物，往往被給予非常高的監(jiān)控和關注，不但要保證最終產(chǎn)品的質(zhì)量，而且要保證頻繁提交下，軟件的可靠性以及安全性。為了提高軟件質(zhì)量，最有效的方法就是控制代碼發(fā)生錯誤的可能性，減少潛在缺陷。
　　代碼分析在軟件生命周期中具有非常重要的地位，通過代碼分析能夠進一步提高軟件的可靠性。操作人員通

2、過人工分析或者運行代碼編譯工具，能夠非常快速檢查到代碼中是否有問題，該方法誤報率較高，浪費時間。通過代碼靜態(tài)分析能夠探查軟件存在的大量潛在缺陷，并且對代碼進行完整的檢查，從而提高項目效率和代碼質(zhì)量。本文研究如何實現(xiàn)自動化代碼靜態(tài)分析平臺，主要工作內(nèi)容包括：
　　1.從代碼靜態(tài)分析理論入手，對比不同的代碼靜態(tài)分析方法，選用Klocwork源代碼分析工具與Testbed代碼分析工具集成；應用非常普遍的Web應用框架和持久化框架，對自動

3、化驅(qū)動系統(tǒng)進行分析，分析開源工具在CruiseControl的配置，介紹了版本配置管理、持續(xù)集成等相關的技術，最后編碼實現(xiàn)平臺的功能模塊。
　　2.平臺實現(xiàn)對參與項目的管理，以圖形分析的形式展示給項目參與人員，極大程度增加項目的進度的可控性。通過建立自動化的代碼靜態(tài)分析檢查，能夠在軟件開發(fā)編碼階段實現(xiàn)源代碼的規(guī)范管理，全天頻繁的提交被測代碼，便于項目管理，并且節(jié)省項目資源。
　　3.平臺實現(xiàn)持續(xù)集成思想下代碼檢測過程，能夠持

4、續(xù)不斷的完成測試，提高項目測試效率，極大地提高代碼質(zhì)量；平臺提供了可依據(jù)被測項目定制不同的規(guī)則，使測試更加全面，增大發(fā)現(xiàn)問題的概率。系統(tǒng)通過代碼靜態(tài)分析和持續(xù)集成的分析與研究，按照多種分析工具組合的方法，自動實現(xiàn)代碼從交付初始的檢測，將代碼自動分析并生成報告，最終以郵件的形式發(fā)送給開發(fā)人員。
　　通過平臺自動化的檢測，釋放更多的人力物力，節(jié)約成本，同時保持流程的規(guī)范和標準，實現(xiàn)檢測代碼的正確性，達到自動化測試的目的。不斷的反饋機制