DocumentCode
2343973
Title
A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets
Author
Reza, Hassan ; Endapally, Sandeep ; Grant, XEmanuel
Author_Institution
Sch. of Aerosp. Sci., North Dakota Univ., Grand Forks, ND
fYear
2007
fDate
2-4 April 2007
Firstpage
366
Lastpage
370
Abstract
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
Keywords
Petri nets; graphical user interfaces; program testing; Petri nets; graphical user interface testing; hierarchical predicate transition nets; model based testing; software testing; structural representation; Aerospace testing; Automata; Computer vision; Fault detection; Graphical user interfaces; Neodymium; Petri nets; Software testing; System testing; Usability;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology, 2007. ITNG '07. Fourth International Conference on
Conference_Location
Las Vegas, NV
Print_ISBN
0-7695-2776-0
Type
conf
DOI
10.1109/ITNG.2007.9
Filename
4151711
Link To Document