基于CHAM的類測試用例生成.pdf

1、軟件測試在軟件開發(fā)過程中是一個極其重要的環(huán)節(jié)，但是軟件測試本身卻是一個過程復(fù)雜、耗時耗力且具有較高重復(fù)性的工作。為了提高軟件測試的效率人們開發(fā)了多種適用于軟件生命周期的自動化測試工具。
　　 測試用例是軟件測試的基礎(chǔ)，測試用例對于軟件測試的質(zhì)量和效率有很重要的影響，因此測試用例的自動生成和測試用例集的精簡也就成了軟件自動化測試的一個重要研究方向。隨著面向?qū)ο筌浖_發(fā)技術(shù)的廣泛應(yīng)用，面向?qū)ο笏赜械囊恍┨匦灾T如：多態(tài)性、繼承性、封

2、裝性等等，對于軟件測試提出了新的要求。
　　 本文介紹了當前國內(nèi)外軟件測試的研究現(xiàn)狀，簡要分析了面向?qū)ο蟮能浖_發(fā)技術(shù)中一些特性對軟件測試所產(chǎn)生的影響。詳細介紹了目前測試用例的主要生成方法，并對面向?qū)ο蟮臏y試用例自動生成技術(shù)進行了分析。
　　 類的測試用例主要包括測試序列和測試數(shù)據(jù)，本文詳細分析了適用于面向?qū)ο鬁y試序列生成的基于形式化規(guī)格說明的方法和基于狀態(tài)的方法，以及結(jié)構(gòu)測試數(shù)據(jù)生成技術(shù)，詳細介紹了現(xiàn)代啟發(fā)式算法在測試

3、數(shù)據(jù)生成上的應(yīng)用。
　　 本文提出以化學抽象機為基礎(chǔ)的類測試序列生成方法，通過使用化學抽象機來對類的狀態(tài)進行描述，以化學抽象機的反應(yīng)規(guī)則來表示狀態(tài)間的交互行為。選擇標號遷移系統(tǒng)作為化學抽象機動態(tài)行為的表述工具。最后按照狀態(tài)測試的覆蓋標準生成測試序列。在以上分析的基礎(chǔ)上本文以ATM狀態(tài)圖為例介紹了CHAM模型的構(gòu)建、溶液的反應(yīng)過程以及LTS的建立，在LTS的基礎(chǔ)上按照狀態(tài)和遷移覆蓋準則生成了相應(yīng)的測試序列。本文所涉及到的算法均在V