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

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

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