Show simple item record

dc.contributor.advisorMemon, Atif Men_US
dc.contributor.authorBanerjee, Ishanen_US
dc.date.accessioned2016-06-22T05:53:20Z
dc.date.available2016-06-22T05:53:20Z
dc.date.issued2016en_US
dc.identifierdoi:10.13016/M2KV29
dc.identifier.urihttp://hdl.handle.net/1903/18256
dc.description.abstractThe Graphical User Interface (GUI) is an integral component of contemporary computer software. A stable and reliable GUI is necessary for correct functioning of software applications. Comprehensive verification of the GUI is a routine part of most software development life-cycles. The input space of a GUI is typically large, making exhaustive verification difficult. GUI defects are often revealed by exercising parts of the GUI that interact with each other. It is challenging for a verification method to drive the GUI into states that might contain defects. In recent years, model-based methods, that target specific GUI interactions, have been developed. These methods create a formal model of the GUI’s input space from specification of the GUI, visible GUI behaviors and static analysis of the GUI’s program-code. GUIs are typically dynamic in nature, whose user-visible state is guided by underlying program-code and dynamic program-state. This research extends existing model-based GUI testing techniques by modelling interactions between the visible GUI of a GUI-based software and its underlying program-code. The new model is able to, efficiently and effectively, test the GUI in ways that were not possible using existing methods. The thesis is this: Long, useful GUI testcases can be created by examining the interactions between the GUI, of a GUI-based application, and its program-code. To explore this thesis, a model-based GUI testing approach is formulated and evaluated. In this approach, program-code level interactions between GUI event handlers will be examined, modelled and deployed for constructing long GUI testcases. These testcases are able to drive the GUI into states that were not possible using existing models. Implementation and evaluation has been conducted using GUITAR, a fully-automated, open-source GUI testing framework.en_US
dc.language.isoenen_US
dc.titleEvent-Code Interaction Directed Test Casesen_US
dc.typeDissertationen_US
dc.contributor.publisherDigital Repository at the University of Marylanden_US
dc.contributor.publisherUniversity of Maryland (College Park, Md.)en_US
dc.contributor.departmentComputer Scienceen_US
dc.subject.pqcontrolledComputer scienceen_US
dc.subject.pquncontrolledeventen_US
dc.subject.pquncontrolledgraphical user interfaceen_US
dc.subject.pquncontrolledGUIen_US
dc.subject.pquncontrolledmodel-baseden_US
dc.subject.pquncontrolledquality assuranceen_US
dc.subject.pquncontrolledtestingen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record