Theses and Dissertations from UMD

Permanent URI for this communityhttp://hdl.handle.net/1903/2

New submissions to the thesis/dissertation collections are added automatically as they are received from the Graduate School. Currently, the Graduate School deposits all theses and dissertations from a given semester after the official graduation date. This means that there may be up to a 4 month delay in the appearance of a give thesis/dissertation in DRUM

More information is available at Theses and Dissertations at University of Maryland Libraries.

Browse

Filters

2013 - 20162

Settings

Subject: search.filters.subject.event

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Event-Code Interaction Directed Test Cases
    (2016) Banerjee, Ishan; Memon, Atif M; Computer Science; Digital Repository at the University of Maryland; University of Maryland (College Park, Md.)
    The 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.
  • Thumbnail Image
    Item
    Anaphors and the Missing Link
    (2013) Gagnon, Michael Roland; Williams, Alexander; Hacquard, Valentine; Linguistics; Digital Repository at the University of Maryland; University of Maryland (College Park, Md.)
    Three types of nominal anaphors are investigated: (i) pronouns, (ii) partitive ellipsis and (iii) the contrastive anaphor `one'. I argue that in each case, the representational basis for anaphora is the same, a semantic variable ranging over singular or plural entities, rather than syntactic as previous approaches have suggested. In the case of pronouns, I argue against syntactic D-type approaches (Elbourne 2005) and semantic D-type approaches (Cooper 1979). Instead, I present arguments in favor of the set variable representation assumed under Nouwen (2003)'s approach. Following this, I consider a number of cases usually taken to involve the elision of a noun phrase, and argue that instead they involve the deletion of a partitive phrase containing an anaphoric plural pronoun. Third, I turn to the contrastive anaphor `one' and its null counterpart in French. Here again, I argue that the basis for anaphora is a semantic set variable, where this anaphor differs from pronouns in being of category N rather than D, and in having a pragmatic requirement for contrast. This analysis differs from previous ones which hold that this expression is a syntactic substitute of category N′, or the spell-out of the head of a number phrase followed by ellipsis of a noun phrase. Finally, I discuss the phenomenon of event anaphora. Given the phenomenon's interaction with the anaphors discussed prior in this dissertation, I argue that it is better seen as a case of deferred reference to an event on the basis of anaphoric reference to a discourse segment, following Webber (1991). This contrasts with what I call metaphysical approaches, which hold that the anaphor directly resumes an event introduced to the context by a previous clause (Asher 1993; Moltmann 1997).