一個以合約語言為基礎的圖型使用者介面測試案例產生工具

A Contract Language for GUI Test Case Generation

溫勝凱(Sheng-Kai Wen)

指導教授 ： 陳偉凱

國立臺北科技大學/電資學院/資訊工程系研究所/碩士(2007年)

https://doi.org/10.6841/NTUT.2007.00423

摘要

圖形使用者介面(Graphical User Interface，簡稱GUI)已被廣泛地使用在應用軟體中，因此GUI測試是一個很重要的研究議題。一個複雜的GUI通常需要大量的測試案例，才能執行到所有可能發生的互動。過去有研究指出，有限狀態機(Finite State Machine，簡稱FSM)可以用來自動產生GUI測試案例。然而，當GUI漸趨複雜時，建立FSM的成本也相對地變成非常昂貴。本論文提出一個以合約語言(Contract Language)為基礎的GUI測試方法，利用合約語言來描述事件之間的互動關係，並利用這些互動關係，自動化地建立FSM，再產生測試案例。另外，本論文的合約語言也與巨集元件的觀念做整合，使得測試者能以不同的抽象層級，來描述GUI事件的互動關係。

關鍵字

合約語言 ； 圖形使用者介面測試 ； 巨集 ； 測試腳本

並列摘要

Graphical User Interface (GUI) has been extensively used in software applications which make GUI testing an important research topic. A sophisticated GUI requires a large number of test cases to fully exercise every possible interaction. It has been shown that FSM can be used in generating test cases automatically. However, when the GUI becomes increasingly sophisticated, the construction of FSM also becomes very expensive. This thesis proposes a GUI test-case generation strategy based on a contract language, which is used to specify the interaction relationships between GUI events. These relationships are then used to construct FSM to generate test cases automatically. In addition, this thesis integrates contract language with the concept of macro components so that testers can specify interaction relationships in different levels of abstraction.

並列關鍵字

Contract Language ； GUI Testing ； Macro ； Test Script

參考文獻

[84] 張哲銘，一個以巨集為基礎的圖型使用者介面測試規格語言，碩士論文，國立台北科技大學資訊工程所，台北，2004年。94TIT00392004。

[1] Hong Zhu, "Software Unit Test Coverage and Adequacy", ACM Computing Surveys, Vol. 29, No.4, pp. 366-427. December 1997

[4] Johan Andersson, Geoff Bache, "The Video Store Revisited Yet Again: Adventures in GUI Acceptance Testing", Lecture Notes in Computer Science, Springer-Verlag Heidelberg, Vol. 3092, pp. 1-10, 2004

[8] Memon, A.M.; Pollack, M.E.; Soffa, M.L, "Hierarchical GUI test case generation using automated planning," Software Engineering, IEEE Transactions on , Vol. 27, Issue 2 , pp 144-155, Feb. 2001

[10] Ostrand, Thomas; Anodidi, Aaron; Foster, Herber; Goradia, Tarak, "A Visual Test Development Environment for GUI Systems," ISSTA 98 Clearwater Beach Florida USA