Proceedings ArticleDOI
A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets
Hassan Reza,S. Endapally,Emanuel S. Grant +2 more
- pp 366-370
Reads0
Chats0
TLDR
This paper proposes 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.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 testingread more
Citations
More filters
Proceedings ArticleDOI
Guided GUI testing of android apps with minimal restart and approximate learning
TL;DR: This paper proposes an automated technique, called Swift-Hand, for generating sequences of test inputs for Android apps, which uses machine learning to learn a model of the app during testing, uses the learned model to generate user inputs that visit unexplored states of theapp, and uses the execution of the application on the generated inputs to refine the model.
Journal ArticleDOI
Guided GUI testing of android apps with minimal restart and approximate learning
TL;DR: This research presents a meta-administrative architecture that automates the very labor-intensive and therefore time-heavy and therefore expensive and expensive process of manually cataloging and installing and installing applications on a computer.
Journal ArticleDOI
Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction
TL;DR: A method for automatically generating specification properties from task models that enables analysts to use formal verification to check for system HAI problems they may not have anticipated is presented.
Journal ArticleDOI
Pattern‐based GUI testing: Bridging the gap between design and quality assurance
TL;DR: A new pattern‐based GUI testing (PBGT) approach is presented that formalizes the notion of UI Test Patterns, which are generic test strategies to test UI patterns over their different implementations, and is more effective than a manual model‐based test case generation approach.
Book ChapterDOI
Model-Based Testing of GUI-Driven Applications
TL;DR: This paper introduces a high-level method of modeling the expected behavior of GUI-driven applications and shows how to use the NModel tool to generate test cases from this model and presents a way to execute these tests within the application, highlighting the challenges of using an API-geared tool in a GUI-based setting.
References
More filters
Journal ArticleDOI
Selecting Software Test Data Using Data Flow Information
S. Rapps,Elaine J. Weyuker +1 more
TL;DR: This paper defines a family of program test data selection criteria derived from data flow analysis techniques similar to those used in compiler optimization, arguing that currently used path selection criteria are inadequate.
Book
Software Testing: A Craftsman's Approach
TL;DR: Software Testing is the only text to bring together the two fundamental approaches-functional and structural-with numerous practical examples and exercises and provides the basis for making well-informed choices regarding appropriate techniques.
Journal ArticleDOI
A survey of three dialogue models
TL;DR: It is shown that the event model has the greatest descriptive power in dialogue models and the implications for the design and implementation of UIMSs are discussed.
Proceedings ArticleDOI
Coverage criteria for GUI testing
TL;DR: This paper presents new coverage criteria to help determine whether a GUI has been adequately tested, and presents an important correlation between event-based coverage of a GUI and statement coverage of its software's underlying code.