自動(dòng)化代碼靜態(tài)分析平臺(tái)的設(shè)計(jì)與實(shí)現(xiàn).pdf

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

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

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

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