JBFT（Java Bug Finding Tool）的設(shè)計與實現(xiàn).pdf

1、隨著軟件系統(tǒng)規(guī)模越來越龐大以及復(fù)雜度越來越高，對軟件的質(zhì)量要求也日益突出。軟件測試作為一種保證軟件質(zhì)量的有效手段伴隨著軟件工程技術(shù)發(fā)展起來，它的目的就是盡可能多的發(fā)現(xiàn)并改正軟件中的錯誤，是軟件生命周期中非常復(fù)雜亦是非常重要的工作，對保證軟件質(zhì)量有著非常重要的意義。 在傳統(tǒng)的黑盒測試和白盒測試不斷發(fā)展的基礎(chǔ)上，近年來人們開發(fā)了許多新的軟件測試方法，如面向故障的軟件測試、面向?qū)ο蟮能浖y試、軟件可靠性測試等。其中面向故障的軟件測試方

2、法的好處在于： (1)針對性強，能很好檢測出已定義的故障模式； (2)可以解決傳統(tǒng)測試方法對于如存儲器泄漏等故障一次性測試檢測不出來的問題； (3)可以避免其它測試方法對“小概率”故障檢測效率比較低的情況。 正是因為這些優(yōu)點，這種測試方法得到了快速的應(yīng)用和發(fā)展。而應(yīng)用這種測試方法的關(guān)鍵就是定義符合實際的、可測試的、精確的故障模式。 本文首先分析了軟件測試技術(shù)的發(fā)展現(xiàn)狀、軟件測試的意義，闡述了軟件測

3、試的基本概念，介紹了軟件測試的幾種方法和軟件測試的幾種模型，其中著重介紹了靜態(tài)測試和基于模型的測試方法，在接下來的第三和第四章節(jié)中詳細論述了本文完成的主要工作，本文主要就JBFT的設(shè)計與實現(xiàn)和缺陷故障模型兩個方面進行了較深入的研究。 在第三章中首先闡述了JBFT的總體設(shè)計方案，然后分步詳細的說明了抽象語法樹的生成，控制流圖的生成，符號表的生成，最后對計算檢查點進行的簡要的介紹。 在第四章中主要針對Java語言中涉及到故障