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

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

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

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