在下一部分中，我們將定義一個GUI測試用例，并說明GUI的修改影響GUI測試用例的很多途徑。然后，我們將在第3部分定義GUI控制流圖和GUI調用圖。第4部分中將會介紹一個GUI回歸測試的例子。第5部分將詳細描述回歸測試人員將如何使用本文中的修復技術。在第6部分中，我們將通過在Acrobat Reader和WordPad兩個軟件上使用回歸測試技術說明實驗結果。最后，在第7部分中，我們將展示目前的一些相關研究。第8章包括本文的總結和未來的工作。
2 GUI模型和測試案例
在這一部分中，我們首先要介紹在GUI測試框架中GUI的模型。爾后我們將定義一個GUI測試用例并引入不可用以及可用測試模型的定義。
一個GUI被模型化為一組對象或窗口O={o1,o2,…om}（例如，標簽、表格、按鈕、文本框等）以及一組屬性P={p1,p2,…pl}（例如，前景、名稱）。每一個GUI都會使用對象的相關屬性的某些性質。在任何時刻，GUI的狀態都可以通過它所包含的所有對象以及所有屬性的值來描述。因此，我們定義GUI的狀態為：
定義：GUI的狀態是指GUI中包含的所有對象的所有屬性的狀態集。
GUI的有效初始狀態定義如下。
定義：如果GUI在初次被激活時的狀態Si∈SI，則狀態集SI稱作該GUI的有效初始狀態。
GUI的狀態不是一成不變的，在GUI上運行的事件會改變GUI的狀態。這些改變后的狀態成為改變態。這些事件將被狀態轉換器進行定義。
定義：事件E={e1,e2,…,en}是可以使GUI的狀態轉換到另一個狀態的函數。
函數表示Sj = e(Si)用于表示狀態Sj是由于執行了事件e由狀態Si轉換而來的。對于測試人員而言，重要的是符合GUI結構的事件序列。我們將測試中使用到的有效的事件序列定義如下。
定義：GUI的有效事件序列為e1;e2;e3;…;en，其中ei+1將在ei之后立刻執行。
一個事件序列如果不是有效的，將被稱作非有效事件序列。例如，在MS Word中，剪切（在編輯菜單下）不能在打開（在文件菜單下）執行后立即被執行，因此事件序列<打開，剪切>就是非有效的（忽略鍵盤快捷方式）。
最后，還要定義GUI測試用例。
定義：GUI測試用例可以表示為（So,e1;e2;…;en），包括任何S0∈SI，SI為初始狀態，e1;e2;…;en為一個有效的事件序列。
如果在測試用例中的初始狀態是非有效狀態或者它其中的事件是無效的，那么這個測試用例就是不可執行的。
定義：如果GUI的改變造成狀態So非有效或是事件序列e1;e2;…;en是無法完成的，則測試用例（So,e1;e2;…;en）是不可用的。
不可用的測試用例是不能在GUI上執行的，通常就會被丟棄。
定義：如果測試用例（So,e1;e2;…;en）是可以在修改后的GUI上執行，則該測試用例是可用的。
因為GUI的測試用例的生成是很昂貴的，因此我們設計了這項新技術來修復不可用的測試用例。首先描述GUI的結構來檢測出GUI結構上的變化，然后使用這一信息來修復不可用測試用例。并且，由于目前的GUI都非常的大，例如，它們通常包含大量的事件和窗口，我們的描述將使GUI分割為便于管理的幾部分。
文章來源于領測軟件測試網 http://www.kjueaiud.com/
