面向JavaME程序的CSP數(shù)據(jù)流測(cè)試系統(tǒng)研究與實(shí)現(xiàn).pdf

1、軟件測(cè)試是費(fèi)時(shí)費(fèi)力的。為了減少軟件手工件測(cè)試的開(kāi)銷和增加測(cè)試進(jìn)程的可靠性，軟件的自動(dòng)化測(cè)試應(yīng)運(yùn)而生。本文的主要焦點(diǎn)是關(guān)于JavaME程序的自動(dòng)化測(cè)試。JavaME程序已經(jīng)被廣泛的應(yīng)用于嵌入式設(shè)備，例如移動(dòng)手機(jī)、PDA等等，并且近些年來(lái)，JavaME(或稱作J2ME)幾乎變成了嵌入式應(yīng)用開(kāi)發(fā)的標(biāo)準(zhǔn)平臺(tái)。
　　 測(cè)試數(shù)據(jù)的生成是自動(dòng)化測(cè)試環(huán)境中最為重要的部分。盡管近幾年來(lái)已經(jīng)有很多關(guān)于測(cè)試數(shù)據(jù)生成器被研制成功。目前為止，有很多技術(shù)支

2、持測(cè)試輸入的生成，其中包括基于隨機(jī)算法的，遺傳算法，謂詞約束等等。但是這些技術(shù)并不能很好的適應(yīng)嵌入式計(jì)算環(huán)境，有關(guān)于JavaME軟件的自動(dòng)化測(cè)試正處于原始階段。并且，這些數(shù)據(jù)生成器生咸的測(cè)試數(shù)據(jù)質(zhì)量并不高。例如，基于隨機(jī)算法和遺傳算法的數(shù)據(jù)生成器在選擇測(cè)試數(shù)據(jù)的時(shí)候，都有一定的盲目性。基于約束的測(cè)試技術(shù)改善了測(cè)試數(shù)據(jù)的質(zhì)量，但是在處理約束滿足問(wèn)題時(shí)不僅效率低下，而且不易產(chǎn)生合的解。
　　 基于以上觀點(diǎn)，我們提出了基于約束的自動(dòng)測(cè)