CBFT(C++-C Bug Finding Tool)的設(shè)計與實現(xiàn).pdf

1、隨著軟件系統(tǒng)的普及，軟件測試成為保證軟件質(zhì)量、提高軟件可靠性的重要手段。而軟件測試的工作量很大，用人工測試幾乎難以勝任，在規(guī)模迅速擴(kuò)大的軟件系統(tǒng)中，實現(xiàn)高準(zhǔn)確度，高效率的測試遇到的困難越來越大。因此在測試過程中引入自動化的思想逐步發(fā)展和成熟起來。 在軟件測試技術(shù)中，程序靜態(tài)分析技術(shù)近年來成為自動化測試技術(shù)中的一個研究熱點(diǎn)，大量的軟件測試工具被研制出來從而可以自動地靜態(tài)檢測軟件中的故障，并且在對一些大型商業(yè)軟件和開源軟件的測試中發(fā)

2、現(xiàn)了大量的以前測試沒有發(fā)現(xiàn)的軟件故障和安全隱患。但其缺陷也隨之暴露出來，如誤報問題和漏報問題沒有得到很好地解決等等。在基于靜態(tài)分析的自動化測試方法中，尋找針對性強(qiáng)，工具自動化程度高，測試效率高和漏報率低的自動化測試方法，成為一個亟待解決的問題。 通過對基于缺陷模式的軟件測試方法的研究，在863課題支持下所開發(fā)的針對C/C++語言的CBFT工具，可以對軟件的缺陷自動進(jìn)行測試并記錄，極大地提高軟件的測試效率和軟件質(zhì)量，應(yīng)用CBFT可

3、大大提高軟件的測試效率和軟件質(zhì)量，使軟件在開發(fā)整體上具有時間的競爭優(yōu)勢。本文系統(tǒng)研究了針對C++，C語言的缺陷模式，提出了缺陷模式的定義和分類，并對其中的漏洞模式進(jìn)行了詳細(xì)的總結(jié)和定義。同時，本文在調(diào)研國內(nèi)外自動化靜態(tài)分析工具的基礎(chǔ)上，深入研究開源工具JAVACC，借鑒其設(shè)計思想，結(jié)合訪問者模式獨(dú)立設(shè)計并實現(xiàn)了自動化測試工具CBFT的統(tǒng)一測試框架部分，完成了抽象語法樹、控制流圖和符號表的生成，此測試框架可以對C++，C語言進(jìn)行自動化測試