電子信息工程技術(shù)外文翻譯

1、<p>　　畢業(yè)設計(論文)外文資料翻譯</p><p>　　第三次國際會議上的軟件測試，核查和驗證研討會</p><p><b>　　簡介GUI測試建模</b></p><p><b>　　趙雷和蔡開元</b></p><p><b>　　自動控制系統(tǒng)部分</b>&

2、lt;/p><p><b>　　北京航空航天大學</b></p><p>　　中國，北京100191</p><p>　　郵箱：zhaolei@asee.buaa.edu.cn</p><p>　　摘要—GUI（圖形用戶界面）測試用例包含的信息比非GUI測試用例豐富得多?；谶@些摘要信息，GUI測試資料可表現(xiàn)在更多的形式中。

3、在本篇論文中，我們研究建模試驗剖面在GUI中的測試。幾種型號的GUI測試型材相繼被提出。然后我們提出了一個關(guān)于研究在測試剖面和故障檢測中的方法論來進行圖形用戶界面測試。在此基礎上，一個基于這種關(guān)系的控制計劃也被提議，這個計劃也許可以有效地提高GUI測試的效率。</p><p>　　關(guān)鍵詞—GUI測試，測試剖面模型，測試用例特點</p><p><b>　　一、引言</b&g

4、t;</p><p>　　由于圖形用戶界面在各種軟件應用程序/系統(tǒng)中廣泛使用，GUI測試重視軟件的開發(fā)。圖形用戶界面測試就是GUI應用程序的測試，包括測試圖形用戶界面的功能和結(jié)構(gòu)，以及在圖形用戶界面后面潛在的代碼部分。GUI應用程序有許多不同于非GUI應用程序的特點：GUI應用程序的輸入事件；執(zhí)行一個GUI應用程序的結(jié)果不僅取決于當前的用戶輸入，而且也取決于用戶操作的歷史；輸入域的一個非平凡的GUI應用程序是非常

5、大的甚至是無窮的。這些特點使GUI測試不同于非GUI應用程序測試。</p><p>　　一個測試剖面是用來定量的描述一個應用軟件將如何被測試的，它用來描述輸入測試的行為。在GUI測試中，測試輸入，或測試用例，一個GUI應用程序一般的被定義為事件序列【2】【7】【8】。很多豐富的信息是包含在事件序列中的。也就是說，許多特性可從GUI測試用例中獲得，例如它的長度、事件處理程序的要求，某種事件的比例等等。每個這些方面的

6、特性都代表了一種測試用例如何來測試應用程序的測試（AUT）。在本文中，我們將模擬通過量化模型試驗剖面圖形用戶界面的這些特點。</p><p>　　在使用一個應用軟件時，應用程序的可靠性取決于運行剖面。同樣的，在一個軟件應用程序的測試中，電路的故障檢測是受測試剖面的影響。在本文中，我們提出了一個關(guān)于在研究測試剖面和故障檢測中的方法論仿照基于GUI測試輸入不同的特點。進一步說，我們提出了一種能夠提高故障檢測能力的測試

7、控制方案，基于知識的故障檢測在測試中如何影響故障檢測。</p><p>　　本文的其余部分安排如下：第二節(jié)介紹了GUI測試用例的特點，第三節(jié)提出了GUI測試配置文件的幾種模式，試驗剖面和故障檢測之間的關(guān)系在第四節(jié)研究。結(jié)論和今后的工作在第五節(jié)給出。</p><p>　　二、GUI測試用例的特點</p><p>　　在這部分，首先我們將介紹GUI測試用例的定義，然后G

8、UI測試案件的特點也將會被討論。</p><p>　?。ㄒ唬UI測試用例</p><p>　　一個GUI應用程序的基本輸入事件，用戶操作觸發(fā)事件和GUI應用程序是對這些事件的反應。一個時間包含以下信息：行動類型（例如，一個鼠標點擊），對GUI對象執(zhí)行的操作（例如，一個按鈕），行動的參數(shù)（如在點（10,16））。通常，一個事件只能在特定的國家接受GUI應用程序進而進行檢測，例如，相應的G

9、UI對象是可見的和具有啟用的狀態(tài)，GUI應用程序的“狀態(tài)”是很重要的執(zhí)行事件。在文獻【9】中定義到，我們描述了一個GUI狀態(tài)作為一套完整的GUI對象和一組這些對象的特性。</p><p>　　在本篇論文中，我們?yōu)樗械拇a塊定義了一個可以執(zhí)行相應的輸入事件的應用程序，通常情況下，一個處理程序，包括響應函數(shù)和功能/程序調(diào)用的響應函數(shù)。注意，許多事件處理程序在某些預編譯的基礎庫中實現(xiàn)（例如，MFC的Visual C+

10、+了，Java開發(fā)工具包，VCL C++建設者）。在本文中，我們只研究AUT的特別代碼實現(xiàn)功能，處理器在預編譯的基礎庫中的處理程序書不關(guān)心的?？傊?，如果一個預編譯的代碼庫事件做出了回應或者任何代碼都沒有被回應，我們就說事件沒有調(diào)用任何處理器程序。</p><p>　　定義一個GUI測試案例可以有多種形式，如測試腳本【5】【6】，事件【2】?；蛘咭粋€事件序列【2】【7】【8】，在本文中，我們按照文獻【8】中的定義，

11、一個GUI測試用例是一個“法律事件序列”，在國家事件序列中被執(zhí)行。也就是說，一個GUI測試案例可以表示為S0的e1;e2…en級，通常，S0可以是任何國家的GUI對象就e1是啟用并可見的。</p><p>　　、GUI測試案例的特點</p><p>　　一個GUI測試用例包含了一個事件序列，通過分析這個事件序列，我們會得到很多測試用例的特性，表1顯示了其中的一些特性。</p>

12、<p>　　表1 GUI測試案例的特點</p><p>　　測試案例的長度（記為L）是在測試案例中事件序列的長度，這是一個GUI測試案例的“粒度”屬性（由測試用例的輸入量，指到【11】）。長度L已顯示著影響測試的故障檢測【11】【12】中，例如，一個GUI測試案例的長度L是S0的e1;e2…en是n。</p><p>　　事件處理程序的調(diào)用次數(shù)，記為處理一個GUI測試案例電話的

13、次數(shù)，就是測試案例調(diào)用事件處理器處理程序的次數(shù)。這一特點忽略了不調(diào)用在源代碼中的任何事件處理程序的事件，顯然，處理一個GUI測試案例電話的次數(shù)≦GUI測試案例的長度。</p><p>　　PR是一個測試案例中的所有事件的比例可達事件，可達性【12】的事件，在打開菜單或窗口（模態(tài)窗口或無窗【10】）。他們擴大在測試中的一組可用事件，他們是很重要的GUI結(jié)構(gòu)的遍歷。</p><p>　　一個G

14、UI測試案例的兩個事件之間的最短路徑的最大長度是指基于對兩個事件之間的事件流圖（EFGs）和集成樹（IT），【10】的最短路徑長度的AUT（指【10】瑞士EFG和IT的定義）。需要注意的是當兩個事件被不同EFGs加載時，它們之間的最短路徑是一個全球性的瑞士EFG這是所有的EFG和AUT的IT組合。讓D（ei,ej）表示兩個事件ei和ej之間的最短路徑的長度，鑒于測試案例t=〈S0，e1;e2;….;en〉。</p><

15、;p>　　Dmax= max{d(ei,ej)} （1≦i﹤j≦n）</p><p>　　這一特點，介紹了測試案例在AUT的GUI中可以達到的“深度”。</p><p>　　一個AUT的GUI是由一系列窗口組成，對于每個窗口W，N(W)研究將在W窗口中運行的次數(shù)。</p><p>　　許多其他的特性也可以從GUI測試案例中得到，例如，一個測試用例所涵蓋的測試數(shù)

16、量，主窗口上執(zhí)行一個事件所占的部分等，在本文中，我們只研究表1中的特點示范。</p><p><b>　　三、GUI測試仿形</b></p><p>　　有許多形式可以模擬試驗剖面（或業(yè)務概況），文獻【3】中，介紹了幾個軟件操作剖面模型上的輸入域的等價類劃分，這些模型也可以用于GUI測試剖面模型。然而，如何將輸入域劃分成等價類是不關(guān)心的。在GUI測試中，GUI測試情況

17、下提供豐富的信息特點，比如說一些特點將在第二節(jié)中介紹。該信息可以被用作輸入域劃分的等價關(guān)系，這些等價關(guān)系，在測試的過程中，我們可以調(diào)整GUI測試配置文件來實現(xiàn)某些目標，如檢測更多的故障，或覆蓋更多的代碼，實現(xiàn)這一目標的第一步是模型試驗剖面。在本節(jié)中，我們將在GUI測試的第二節(jié)介紹以案件的特點為基礎的GUI測試定義測試配置文件的幾種形式。</p><p>　　一個測試配置的基本形式是統(tǒng)一的試驗剖面模型，也就是說，不

18、同的測試案例都使用同樣的概率。當沒有先驗知識的測試套件，提供一個統(tǒng)一的試驗剖面模型可能是一個不錯的選擇，但是，如果測試套件的某些子集是在測試中更重要的，（例如，在該子集的測試用例具有較高的缺陷檢測能力），非均勻的試驗剖面模型是比統(tǒng)一的更好一些。因此，在本節(jié)中，我們除了統(tǒng)一的測試剖面模型，也提出一些非統(tǒng)一的GUI測試剖面模型。</p><p>　　、測試資料模型基于L</p><p>　　L

19、（測試用例的長度）是一個整型值的GUI測試，從理論上講，L可以使任何正整數(shù)，然而在實踐中，每一個測試用例的長度在一定的范圍內(nèi)變化。在GUI測試中，具有一定長度的測試情況下可能會有較高的缺陷檢測能力，這些測試用例應該測試更深入或長或短的測試用例。因此，測試配置文件可以看作泊松分布的L：</p><p>　　TP(λ) = {(L=k，λk-1e-λ/(k-1)!,k=1,2,….｝， （1）</p>

20、;<p>　　其中（k-1）!是（k-1）的因素 </p><p>　　上述的試驗剖面模型，測試k時的長度的概率是λk-1e-λ/(k-1)!,如圖1所示，λ是試驗剖面參數(shù)，這是一個非均勻的試驗剖面。通過調(diào)整價值λ，我們可以控制什么類型的測試用例將更加密集使用。</p><p>　　需要注意的是泊松分布在這個模型中使用的時候，由公式（1）得這樣的試驗剖面，可以深入測試具有一定

21、長度的測試案例，而（2）只有一個參數(shù)，所以可以輕松的調(diào)整。類似的概率分布（如二項分布），也可以用作試驗剖面模型。</p><p>　　當我們沒有事先了解有關(guān)測試套件時，均勻分布的L也可以用來模擬測試配置：</p><p>　　TP(λ) = {(L=k，1/M)，k=1,2,…M ｝, (2)</p><p>　　其中（k-1）!是k-1的因素，M是一

22、個測試案例預先定義的最大長度。</p><p>　　這種模式意味著，如果K﹤M時，使用測試的情況下，其長度等于K為1/M時，沒有測試案例的時間比M將被用來測試，如圖2所示，這種模式?jīng)]有參數(shù)。</p><p>　　圖1是一個作為試驗剖面長度L的泊松分布 </p><p>　　圖2是一個作為試驗剖面長度L的均勻分布</p><p>　　圖3是一個

23、不同的參數(shù)作為試驗剖面圖的CE1/CE2的分布</p><p>　　、基于NH的測試資料模型</p><p>　　NH（事件處理程序調(diào)用的時間）也是一個整型值，類似的基于L的試驗剖面模型，NH的泊松分布和均勻分布，也可以用作試驗剖面模型：</p><p>　　TP(λ) = {（NH=k，λk-1e-λ/(k-1)!,k=1,2,... ｝, (3)<

24、/p><p><b>　　或者</b></p><p>　　TP={（NH=k，1/M），k=1,2,…M}, (4)</p><p>　　其中M是預先定義的最大長度的測試用例。</p><p>　?。ㄈ?、基于PR的測試資料模型</p><p>　　可達性事件（P

25、R）的比例是在0和1之間的值，是具有一定PR值的測試比其他測試更深入，文章闡述β分布作為一個GUI測試PR的側(cè)面，密度分布函數(shù)：</p><p>　　其中α，β是積極的分布參數(shù)，試驗剖面模型如下： </p><p>　　其中△是一個小的時間間隔，其價值取決于PR的準確度，需要我們再測試。這種模式意味著可達性百分比概率P是事件∫△/2-△/2fα，β（p）d

26、p,通過調(diào)整α和β的值，我們可以改變測試配置文件的形式，如圖3所示。</p><p>　?。ㄋ模?、基于Dmax的測試剖面模型</p><p>　　Dmax是在0和Q之間的一個整數(shù)值，其中Q是之間最遠的兩個事件在所有的EFGs和AUT（B節(jié)）IT相結(jié)合的最短路徑的長度，在多數(shù)情況下，Q是一個比Dmax較大的值，類似的像模型（1）和（2），我們可以進似地遵循Dmax最大的泊松分布來選擇測試用例

27、以下的試驗剖面模型：</p><p>　　TP（λ）= {(Dmax=k, λk-1e-λ/(k-1)!),k=1,2,…,Q} (6)</p><p>　　注意當我們使用這個測試剖面模型時，λ的值應設置為比Q小得多，為了使Dmax﹥Q得可能性更小。Dmax的非均勻分布，也可以用作GUI測試的測試文件，如下面的模型：</p><p>　　TP = {（Dmax

28、=k,1/Q）,k=1,2,….,Q} （7）</p><p>　　、基于N(w)測試資料模型</p><p>　　N(w)在執(zhí)行測試用例時，描述多少事件將被應用于窗口W，我們根據(jù)這一特點，定義下面的測試剖面模型：</p><p>　　TP = {（ni.wi）,k=1,2,…,R} （8

29、)</p><p>　　其中R是在AUT的GUI中的窗口數(shù)量，wi是第AUT的第i個窗口，通過把n1,n2,…,nr設置不同的值，我們可以調(diào)整每個窗口上的實驗效果。</p><p>　　GUI測試配置文件和故障檢測</p><p>　　在上一節(jié)我們已經(jīng)介紹了八款GUI測試型材，在本節(jié)中，我們首先介紹如何研究試驗剖面和故障檢測之間的關(guān)系，然后，控制計劃提出了改進GUI

30、測試的測試效率。</p><p>　?。ㄒ唬?、研究試驗資料和故障檢測之間的關(guān)系</p><p>　　假設試驗剖面（TP）,其中S是一套試驗剖面的模型，具體來說，如果模型（1），（3），（6）被使用，則S={λ}；如果模型（5）被使用，則S={α，β}；如果模型（2），（3），（7）被使用，則S=Φ；如果使用模型（8）則S={N1，N2，…MR}。</p><p>

31、　　圖4顯示了實驗研究GUI測試的概況和在GUI測試的故障檢測程序之間的關(guān)系，我們顯示了一個使用單一的參數(shù)λ來測試波形的程序，就像模型（1），（3），（6）。其他的模型也可以應用這個程序。</p><p>　　我們首先研究什么樣的價值可以設置參數(shù)λ，選擇一組λ的值然后確定，對于λ的每一個值，n測試套件的價值產(chǎn)生TP（λ）的分布。這些測試用例執(zhí)行錯誤版本AUT上的GUI測試，故障尊重每個測試配置TP（λ）的平均數(shù)量

32、。</p><p>　　今后應進行多次試驗，在此過程中，研究f的形式。</p><p>　　圖4研究GUI測試中試驗剖面和斷層之間的關(guān)系</p><p>　　、通過在線調(diào)整測試來提高測試效率</p><p>　　在我們以前的工作報告中，我們提出了一個GUI測試軟件控制論的思想動態(tài)分布方法，網(wǎng)上的方法調(diào)整分區(qū)測試用例，測試用例更容易發(fā)現(xiàn)故障在分

33、區(qū)的優(yōu)先使用，這是一個網(wǎng)上的間接去調(diào)整的試驗剖面，實驗結(jié)果表明它是一個GUI測試效率提高的有效途徑。本文在試驗剖面模型的基礎上，我們將提出一個網(wǎng)上直銷的方式，來調(diào)整測試配置文件。</p><p>　　一個GUI應用程序可能包含著許多缺點，通常情況下，將會用一個大的測試套件來測試它，讓我們學習一下的情形，開始時，測試人員對測試套件和測試的應用程序知道的很少，所以他們可能會隨機執(zhí)行測試用例，經(jīng)過一些測試執(zhí)行的程序，測

34、試人員可以了解有關(guān)測試套件的東西，例如具有一定特色的測試用例可以頻繁使用，以提高缺陷監(jiān)測。通過這些知識，他們可以改變測試執(zhí)行的策略以提高測試的效率。在以上的軟件測試過程中，可以把以前的測試執(zhí)行所學的東西用于優(yōu)化測試剖面，可以自動完成這個進程嗎？在測試配置和故障檢測自己間的關(guān)系的基礎上，我們建議用自動化GUI測試計劃，如圖5所示，可能是能夠檢測更多的故障檢測。</p><p>　　圖5是作為泊松分布L的試驗剖面&l

35、t;/p><p>　　在測試開始時，有沒有關(guān)于測試套件或測試應用程序的先驗知識，初步測試個人資料（與初始參數(shù)的非均勻的試驗剖面）用于選擇/生成測試用例，這些生成的測試用例接著對AUT執(zhí)行，執(zhí)行的結(jié)果如果是Z，即是否有故障檢測，然后重新編碼。</p><p>　　一定數(shù)量的測試在執(zhí)行案例后，可以從歷史數(shù)據(jù)中得到一些知識，然后控制器在線調(diào)整測試配置，該控制器是基于測試剖面和故障檢測之間的關(guān)系，在圖

36、4中，即可獲得檢測的結(jié)果，她試圖以近似的測試配置文件，可以最大限度的提高F（λ；a1;a2;…）。這意味著控制器在嘗試更多的故障檢測與給定的測試用例數(shù)。</p><p>　　參數(shù)a1,a2,….需要從歷史數(shù)據(jù)中了解得到，繼在文獻【4】中提到的方式，歷史數(shù)據(jù)包括測試，被用來產(chǎn)生/選擇測試的配置文件，在歷史測試的情況下，以及每個測試執(zhí)行后的執(zhí)行結(jié)果，當歷史數(shù)據(jù)更新時就代表一個新的測試用例已被處決，隨之參數(shù)a1,a2，

37、…也將被更新。</p><p>　　這個過程是類似的反饋控制程序與控制工程，反饋將被用來在測試過程中調(diào)整控制器的參數(shù)，這樣的結(jié)構(gòu)可以容忍在F中出現(xiàn)的某些錯誤。</p><p>　　四、結(jié)論與將來的工作</p><p>　　在本篇論文中，我們提出了幾個基于GUI測試案例特點的測試剖面模型，然后提出了一個研究試驗剖面和故障檢測之間的方法，一個可以提高GUI測試的故障檢測

38、能力也被提出。</p><p>　　今后，應做大量的試驗在關(guān)于研究如何將不同的試驗剖面模型影響的GUI測試中的故障檢測，該驗證所提出的故障方案案例研究的GUI應用程序的不同類型。</p><p>　　Third International Conference on Software Testing, Verification, and Validation Workshops</p

39、><p>　　On Modeling of GUI Test Profile</p><p>　　Lei Zhao and Kai-Yuan Cai$</p><p>　　Department of Automatic Control</p><p>　　Beijing University of Aeronautics and Astronau

40、tics Beijing, China 100191 zhaolei@asee.buaa.edu.cn</p><p>　　Abstract – GUI (Graphical User Interface) test cases contain much richer information than the test cases in non-GUI testing. Based on the

41、information, the GUI test profiles can be represented in more forms. In this paper, we study the modeling of the test profiles in GUI testing. Several models of GUI test profiles are proposed. Then we present a metho

42、dology of studying the relationship between the test profiles and the fault detection in GUI testing. A control scheme based o</p><p>　　Keywords – GUI testing, test profile modeling, test case charac

43、teristics</p><p>　　I.INTRODUCTION</p><p>　　Due to the widespread usage of Graphical User Interfaces (GUIs) in various software applications/systems, GUI testing has attached much importance to

44、software development. GUI testing means the testing of GUI applications, including the testing of GUIs’ function and structures, as well as the underlying code behind GUIs. GUI applications have many features different f

45、rom non-GUI applications: the inputs to a GUI application are events; the execution results of a GUI application depend on not onl</p><p>　　A test profile is a quantitative characterization of how a software

46、 application will be tested. It describes the behavior of test inputs. In GUI testing, the test inputs, or test cases1, of a GUI applications are commonly defined as event sequences [2][7][8]. Much richer information is

47、included in the event sequences. That is, many characteristics can be obtained from GUI test cases, such as its length, the number of event handlers called by it, the proportion of certain kind of events</p&

48、gt;<p>　　paper, we will model GUI test profiles by quantifying these characteristics.</p><p>　　In the use of a software application, the reliability of the application depends on the operational prof

49、ile. Similarly, in the testing of a software application, the fault detection is affected by the test profile. In this paper, we present a methodology of studying the relationship between the fault detection and the test

50、 profiles that are modeled based on different characteristics of GUI test inputs. Further, we propose a control scheme that can improve the fault detection ability of GU</p><p>　　The rest of this pape

51、r is organized as follows. Section II introduces the characteristics of GUI test cases. Section III proposes the several models of GUI test profiles. The relationship between test profiles and fault detection are studied

52、 in Section IV. Conclusions and future work are given in Section V.</p><p>　　II.GUI TEST CASE CHARACTERIZATION</p><p>　　In this section, first we will introduce the definition of GUI test case.

53、 Then the characteristics of GUI test cases will be discussed.</p><p>　　A. GUI Test Cases</p><p>　　The basic inputs to a GUI application are events. User operations trigger events and the GUI

54、application responses to these events. An event contains the following information: the type of action (e.g., a mouse click), the GUI object on which the action is performed (e.g., a button), and the parameters of the ac

55、tion (e.g., on the point of (10,16)). Usually, an event can only be accepted at certain states of the GUI application under test, for example, the states at which the corresponding GUI ob</p><p>　　In this pa

56、per, we define a handler as all the pieces of code that are possible to be executed when the corresponding event is input. Commonly, a handler includes a responding function</p><p>　　and the functions/proced

57、ures that are called by the responding function. Note that many event handlers are implemented in certain pre-compiled foundation libraries (e.g., the MFC of Microsoft Visual C++, JDK of Java, and the VCL of C++ Builder)

58、. In this paper, we only study the code specially implemented for the AUT. The handlers in pre-compiled foundation libraries are not concerned. In brief, if an event is responded by the code in pre-compiled libraries, or

59、 is not responded by any code at all</p><p>　　call any event handler.</p><p>　　Dmax are defined based on the length of the shortest path between two events on the event-flow graphs (EFGs) and t

60、he integration tree (IT) [10] of the AUT (referring to [10] for the definition of EFG and IT). Note that when two events are contained in different EFGs, the shortest path between them is the shortest path on a global EF

61、G which is the combination2 of all EFGs and the IT of the AUT. Let d(ei,ej) denote the length of the shortest path between two events ei and ej. Given a test case t </p><p>　　A GUI test case can be defined i

62、n many forms, such as a</p><p><b>　　Dmax ?</b></p><p>　　max {d (ei , e j )} .</p><p><b>　　1?i? j?n</b></p><p>　　piece of test script [5][6], an

63、 event [2], or an event sequence [2][7] [8]. In this paper, we follow the definition in [8] that a GUI test case is a “l(fā)egal event sequence” with the state in which the event sequence is executed. That is, a GUI test cas

64、e can be denoted as ?S0, e1;e2;…;en?, where event e1 can be accepted by the application in S0, and event ei can be accepted right after event ei-1 is executed (for i = 2,3,…,n). Commonly, S0 can be any state in which the

65、 GUI object with respect to e</p><p>　　B. GUI Test Case Characteristics</p><p>　　A GUI test case contains an event sequence. By analyzing the event sequence, we can get many characteristics of

66、the test case. Table 1 shows some of them.</p><p>　　Table 1 GUI Test Case Characteristics</p><p>　　The length of a test case (denoted as L) is the length of the event sequence contained

67、 in the test case. It is the “granularity” property of a GUI test case (the amount of input given by the test case, referring to [11]). L has been shown significantly affecting the fault detection in testing

68、[11][12]. For example, the L of a GUI test case ?S0, e1;e2;…;en? is n.</p><p>　　The number of event handler calls, denoted as NH, is the times of the test case calling event handlers. This characteri

69、stic neglects the events that do not call any event handler in the source code. Obviously, NH ? L.</p><p>　　PR is the proportion of reachability events to all events in a</p><p>　　This character

70、istic describes how “deep” a test case can reach</p><p>　　in the GUIs of the AUT.</p><p>　　The GUIs of an AUT consist of a set of windows. For each window w, N(w) studies how many times a test c

71、ase will operate on the objects contained in w.</p><p>　　Many other characteristics can be obtained from GUI test cases, for example, the number of events covered by a test case, the proportion of events tha

72、t performs on the main window, etc. In this paper, we only study the characteristics in Table 1 for demonstration.</p><p>　　III. GUI TEST PROFILE MODELING</p><p>　　Test profile (or operational

73、profiles) can be modeled in many forms. In [3], several software operational profile models based on equivalence class division of the input domain are introduced. These models can also be used as GUI test

74、 profile models. However, how to divide the input domain into equivalence classes is not concerned. In GUI testing, the test cases provide rich information, such as the characteristics presented in Section II. The inform

75、ation can be used as equivalenc</p><p>　　A basic form of test profile is uniform test profile models. That is, different test cases are used following equally probability. When no prior knowledge of the test

76、 suite is provided, a uniform test profile model may be a good choice. However, if certain subset of the test suite is more important in testing, (for example, the test cases in the subset have higher defect de

77、tection ability,) a non-uniform test profile model is better than the uniform ones. So, In this </p><p>　　section, we</p><p>　　test case. Reachability events [12] are the events that ope

78、n </p><p>　　menus or windows (modal windows or modeless windows [10]). They expand the set of available events in testing. They are important in the traversal of the GUI structures.</p><p>　　

79、also propose some non-uniform GUI test profile models besides uniform test profile models.</p><p>　　A. Test Profile Model based on L</p><p>　　L (the length of a test case) is an integer

80、 value in GUI testing. In theory, L can be any positive integer. However, in practice, the length of each test case varies in a range. In GUI testing, the test cases with certain length may have higher defect detection a

81、bility. These test cases should be tested more intensively than shorter or longer test cases. So, test profiles can be modeled as a Poisson distribution of L:</p><p>　　TP(?) = { ?L=k, ?k?1e??/(k?1)!?, k = 1,

82、2,…},(1)</p><p>　　where (k?1)! is the factor of k?1.</p><p>　　The above test profile model means that the probability of the length of a test case being k is ?k?1e??/(k?1)!, as shown in Figure

83、 1. ? is the parameter of the test profile. This is a non-uniform test profile. By adjusting the value of ?, we can control what kinds of test cases will be more intensively used.</p><p>　　Note tha

84、t Poisson distribution is used in this model because 1) such a test profile can intensively test the test cases with certain length, and 2) it has only one parameter so that it can be adjusted easily. Similar prob

85、ability distributions (such as binomial distribution) can also be used as test profile models.</p><p>　　When we have no prior knowledge about the test suite, a uniform distribution of L can be used to model

86、the test profile:</p><p>　　TP = { ?L=k, 1/M?, k = 1,2,…,M},(2)</p><p>　　where (k?1)! is the factor of k?1, and M is a pre-defined maximum length of test cases.</p><p>　　This model

87、means that, if k < M, the probability of using a test case whose length equals k is 1/M, and no test cases longer than M will be used in the testing, as shown in Figure 2. This model has no parameter.</p>&

88、lt;p>　　Figure 2 A uniform distribution of L as a test profile</p><p>　　Figure 3 ? distributions of CE1/CE2 with different parameters as a test profile</p><p>　　B. Test Profile Model based

89、on NH</p><p>　　NH (the time of event handler calls) is also an integer value. Similar with the test profile models based on L, the Poisson distribution and the uniform distribution of NH can be used as test

90、profile models:</p><p>　　TP(?) = { ?NH=k, ?k?1e??/(k?1)!?, k = 1,2,…},(3)</p><p><b>　　or</b></p><p>　　TP = { ? NH=k, 1/M?, k = 1,2,…,M},(4)</p><p>　　where

91、 M is a pre-defined maximum length of test cases.</p><p>　　C. Test Profile Model based on PR</p><p>　　The proportion of reachability events (PR) is a value between 0 and 1. To make the test ca

92、ses with certain value of PR be more intensively tested than others, we introduce ? distribution of PR as a GUI test profile. The density function of a ? distribution is</p><p><b>　　? 1 </b>&

93、lt;/p><p>　　? ?1 ?</p><p><b>　　? ?1</b></p><p>　　f? ,? ( x)</p><p><b>　　1</b></p><p><b>　　?0 x</b></p><p>

94、;<b>　　? ?1</b></p><p><b>　　(1 ? x)</b></p><p><b>　　x</b></p><p><b>　　? ?1 dx</b></p><p><b>　　(1 x),</b>&l

95、t;/p><p>　　Figure 1 A Poisson distribution of L as a test profile</p><p>　　where ?, ? are positive parameters of the distribution. The test profile model is as follows:</p><p><b>

96、;　　? / 2</b></p><p>　　TP(?,?) = { ?p, ??? / 2 f? ,? ( p)dp ?, for p ? (0,1) }, (5)</p><p>　　where ? is a small interval whose value depends on the accuracy degree of PR we require

97、 in testing. This model means that the probability of the percentage of reachability</p><p><b>　　? / 2</b></p><p>　　events being p is ??? / 2 f? ,? ( p)dp . By adjusting the value

98、s of</p><p>　　? and ?, we can change the form of test profiles, as shown in</p><p><b>　　Figure 3.</b></p><p>　　D. Test Profile Model based onDmax</p><p>　　D

99、max is an integer value within 0 and Q, where Q is the</p><p>　　relationship between the GUI test profiles and the fault detection in GUI testing. We show the procedure using the test profile model with a s

100、ingle parameter ?, as model (1), (3) and (6). Other model can also be applied on this procedure.</p><p>　　We first study what values the parameter ? can set. A set of values of ? are then determined. For eac

101、h of the value of ?, n test suites are generated following the distribution of TP(?). These test cases are executed on the m faulty versions of the GUI AUT. The average number of defected faults with respect</p>&

102、lt;p>　　length of the shortest path between the farthest two events in</p><p>　　to each test profile TP(?) is collected (i.e.,</p><p>　　N F (? ) ). At last,</p><p>　　the combinati

103、on of all the EFGs and the IT of the AUT (refer</p><p>　　to Section II.B). At most time, Q is a much larger than the Dmax. Similar with model (1) and (2), we can approximately follow a Poisson distribution o

104、f Dmax to select test cases, as the following test profile model:</p><p>　　TP(?) = { ?Dmax=k, ?k?1e??/(k?1)!?, k = 1,2,…,Q}.(6) Note that when we use this test profile model, the value of ?</p><p