基于CHAM的類(lèi)測(cè)試用例生成.pdf

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

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

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