一個以Harel Statechart為基礎的GUI測試案例產生工具

A Tool for GUI Test Case Generation Based on Harel Statechart

王振宇(Cheng-Yu Wang)

指導教授 ： 陳偉凱

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

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

摘要

在圖形使用者介面(Graphical User Interface，簡稱GUI)的測試中，使用狀態圖(Statechart)建立軟體操作的動態行為模型，再利用模型自動轉換為測試案例，是一種很常見的測試方式。然而，目前市面上雖然有許多狀態圖的編輯工具，但是，都無法完整地支援Harel 狀態圖的特性，也無法支援自動測試案例的產生。本論文提出一個視覺化的Harel狀態圖編輯工具，支援狀態圖的And Decomposition，並增加Composition及Inheritance的用法，藉以簡化繪製狀態圖的複雜度，並能自動產生測試案例。

關鍵字

狀態圖 ； 圖形使用者介面 ； 圖形使用者介面測試 ； 測試案例

並列摘要

When GUI (Graphical User Interface) testing is conducted, it is common to use a Statechart to model the dynamic behavior of the software application, and then generate test cases based on this model. However, none of the Statechart editing tools available in the market can fully support the capability of Harel Statechart, nor can they support automatic test case generation. This thesis proposes a visual Harel Statechart editor, which supports And Decomposition and allows the use of composition and inheritance to reduce the complexity of building a complicated Statechart. In addition, once a Statechart is drawn, test cases can be automatically generated.

並列關鍵字

Statechart ； Graphical User Interface ； Graphical User Interface Testing ； Test Case

參考文獻

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

[80] 吳先達，一個以階層式有限狀態機為基礎的圖型使用者介面測試案例產生工具。碩士論文，國立台北科技大學資訊工程研究所，台北，台灣，2007年

[1] Atif M. Memon, "GUI Testing: Pitfalls and Process," IEEE Computer, vol. 35, no. 8, Aug. 2002, pp. 87-88.

[15] David Harel, “State Charts: A Visual Formulation for Complex Systems,“ Science of Computer Programming, Volume 8, Number 3, June 1987 On page (s): 231-274

[16] White, L. Almezen, H. Alzeidi, N. “User-Based Testing of GUI Sequences and Their Interaction,” Software Reliability Engineering, 2001. ISSRE 2001.