基于MEA圖規(guī)劃的手機(jī)軟件GUI自動(dòng)化測(cè)試的研究.pdf

1、手機(jī)自發(fā)明以來，行業(yè)的快速發(fā)展已經(jīng)使得手機(jī)已經(jīng)超出了傳統(tǒng)通訊工具的限制，如現(xiàn)在可以用手機(jī)瀏覽網(wǎng)頁，收發(fā)郵件，GPS等。手機(jī)軟件的發(fā)展使得測(cè)試變的越來越棘手，這就成為了一個(gè)值得研究的重要課題。目前工程上對(duì)手機(jī)軟件的測(cè)試還多局限于手工測(cè)試，自動(dòng)化的程度非常低，耗費(fèi)大量的人力和時(shí)間，使得手機(jī)軟件測(cè)試成為網(wǎng)絡(luò)通信業(yè)的主要瓶頸之一。如今，針對(duì)手機(jī)的軟件工程理論與技術(shù)也是國(guó)內(nèi)外開始著手研究的熱點(diǎn)問題，然而手機(jī)軟件GUI自動(dòng)化測(cè)試的研究相對(duì)還比較少，

2、資源也相對(duì)貧乏，更重要是手機(jī)軟件GUI手工測(cè)試已經(jīng)無法滿足測(cè)試要求，因此，針對(duì)手機(jī)軟件GUI自動(dòng)化測(cè)試進(jìn)行研究具有重要的現(xiàn)實(shí)意義。針對(duì)手機(jī)軟件的測(cè)試來說，測(cè)試過程的自動(dòng)化是保證測(cè)試質(zhì)量進(jìn)而保證產(chǎn)品質(zhì)量和可靠性的重要途徑，一個(gè)專門為手機(jī)而設(shè)計(jì)的合理的自動(dòng)化測(cè)試框架對(duì)測(cè)試自動(dòng)化的實(shí)現(xiàn)起著決定性的作用。
　　 針對(duì)這種現(xiàn)狀，本文在分析總結(jié)現(xiàn)有的研究成果的基礎(chǔ)上，對(duì)手機(jī)軟件GUI的自動(dòng)化測(cè)試進(jìn)行研究。針對(duì)手機(jī)軟件GUI自動(dòng)化測(cè)試研究比較

3、少的現(xiàn)狀，對(duì)手機(jī)軟件中的GUI進(jìn)行了細(xì)致的、系統(tǒng)的領(lǐng)域建模，為了簡(jiǎn)化算子建模在手機(jī)軟件上的應(yīng)用，本文簡(jiǎn)化了算子的分類：將抽象算子和系統(tǒng)交互算子合并為邏輯算子。邏輯算子建模即是以功能邏輯為單位來對(duì)動(dòng)作進(jìn)行建模。與此同時(shí)，本文還將人工智能領(lǐng)域的智能規(guī)劃MEA圖規(guī)劃(MEA Graph Planning)跟本文所提出的基于手機(jī)數(shù)據(jù)線的測(cè)試框架PPTF(PC-Phone Testing Framework)結(jié)合起來，提出一套完整的、具有實(shí)踐性特

4、色的、帶有手機(jī)領(lǐng)域特點(diǎn)的自動(dòng)化測(cè)試框架。在本文的框架PPTF中，首先采用了基于MEA圖規(guī)劃的領(lǐng)域建模技術(shù)對(duì)手機(jī)軟件GUI進(jìn)行建模，測(cè)試框架PPTF便可由建模輸入得到最后的測(cè)試結(jié)果的輸出，也就是說，PPTF測(cè)試框架實(shí)現(xiàn)了從GUI說明書和測(cè)試規(guī)格說明書到最后測(cè)試結(jié)果的全部流程。與經(jīng)典圖規(guī)劃相比，使用基于目標(biāo)分析的MEA圖規(guī)劃技術(shù)來解決手機(jī)軟件GUI測(cè)試用例自動(dòng)生成的規(guī)劃問題，能有效提高求解效率。最后，本文通過具體的測(cè)試案例，驗(yàn)證了PPTF框