• Corpus ID: 16191832

Finite-State Testing of Graphical User Interfaces

  title={Finite-State Testing of Graphical User Interfaces},
  author={Fevzi Belli},
The most Human-Computer-Interfaces will be materialized by Graphical User Interfaces (GUI). With the growing complexity of the computer-based system, also their GUIs become more complex, accordingly making the test process more and more costly. The paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, enabling a precise scalability of the test process, revealing many rationalization potential while testing. Appropriate formal… 
Model-Based Testing Through a GUI
A new methodology for model-based GUI testing is introduced using Labeled Transition Systems (LTSs) in conjunction with action word and keyword techniques for test modeling that was able to find previously unreported defects.
Strategies for Web and GUI Testing
Strategies for functional testing of graphical user interfaces (GUIs) and web-based applications and for regression testing of interface functionality through capture/playback mechanisms are described.
Automatic GUI test generation for smartphone applications - an evaluation
In this evaluation, the effectiveness of automatic test generation for graphical user interface (GUI) testing of smartphone applications was studied and over 20 defects from applications that had been on the market for several months were found.
Enhancing system validation with behavioural types
  • S. Gossens
  • Computer Science
    7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.
  • 2002
The generation of regular expressions is described and it is shown how they can be used to aid classic verification by testing, as well as in a criterion to assess the quality of given test case sets.
Sichtgraphen: ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen
An approach for modeling fault detection abilities of programs is developed and used in an experimental evaluation of the metric, behavioural diversity, and a concept similar to the view–graph approach to generate test designs is presented.
Software testing: a graph theoretic approach
A novel approach in designing test cases using control flow criteria for path coverage is described, which places emphasis on testing all possible paths that can be executed in a programme module.


Generating test cases for GUI responsibilities using complete interaction sequences
  • L. White, Husain Almezen
  • Computer Science
    Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000
  • 2000
The proposed method concentrates upon user sequences of GUI objects and selections which collaborate, called complete interaction sequences (CIS), that produce a desired response for the user and utilizes a finite-state model to generate tests.
Constructing the User Interface with Statecharts
This book provides a practical guide to constructing real user interfaces for real projects and is primarily written for practising software engineers, but will also be invaluable to students wishing to gain an insight into user interface construction.
On the use of transition diagrams in the design of a user interface for an interactive computer system
A concept— the terminal state—and a notation—the terminal state transition diagram—which make the design of the top level somewhat easier and a user interface in which the notion of terminal state is explicit are proposed.
Automated test oracles for GUIs
A test oracle technique to determine if a GUI behaves as expected for a given test case, using a formal model of a GUI, expressed as sets of objects, object properties, and actions.
Hierarchical GUI Test Case Generation Using Automated Planning
A new technique to automatically generate test cases for GUIs that exploits planning, a well-developed and used technique in artificial intelligence, is presented and a prototype implementation of PATHS is described.
Toward a theory of test data selection
The authors prove a fundamental theorem showing that properly structured tests are capable of demonstrating the absence of errors in a program.
A Contribution to the Theory of Program Testing
  • L. Bougé
  • Computer Science
    Theor. Comput. Sci.
  • 1985
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study
A method to systematically integrate fault tolerance properties into the design of complex software systems is presented and it is shown that the method applies to any software system which is to be protected against the considered errors.
Program segmentation for controlling test coverage
  • F. Belli, J. Dreyer
  • Computer Science
    Proceedings The Eighth International Symposium on Software Reliability Engineering
  • 1997
A comparison demonstrates that, compared with the other testing criteria, greater fault detection probabilities can be achieved if a test segment coverage criterion is used.
Foundations of software testing: dependability theory
It is argued that testing's primary goal should be to measure the dependability of tested software, and a plausible theory of dependability is needed to suggest and prove results about what test methods should be used, and under what circumstances.