A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets

Testing graphical user interface (GUI) has shown to be costly and difficult. Existing approaches for testing GUI are event-driven. In this paper, we propose a model based testing method to test the structural representation of GUIs specified in high class of Petri nets known as hierarchical predicate transitions nets (HPrTNs). In order to detect early design faults and fully benefit from HPrTNmodels, we have extended the original coverage criteria proposed for HPrTNs by event-based criteria defined for GUI testing