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

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

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