Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
A protocol test generation procedure
Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Design and validation of computer protocols
Design and validation of computer protocols
Testing finite state machines: fault detection
Selected papers of the 23rd annual ACM symposium on Theory of computing
Tutorial on message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Toward automatic generation of novice user test scripts
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
On Minimizing the Lengths of Checking Sequences
IEEE Transactions on Computers
The Unified Modeling Language user guide
The Unified Modeling Language user guide
What you see is what you test: a methodology for testing form-based visual programs
Proceedings of the 20th international conference on Software engineering
Hierarchical GUI Test Case Generation Using Automated Planning
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
A Petri Net based Environment for the Design of Event-driven Interfaces
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
A Method to Automate User Interface Testing Using Variable Finite State Machines
FTCS '97 Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS '97)
Testing Java Swing-Based Applications
TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
A Petri Net-based Visual Language for Specifying GUIs
VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
On the Specification of Dynamic Visual Languages
VL '98 Proceedings of the IEEE Symposium on Visual Languages
Scaling Up a "What You See Is What You Test" Methodology to Spreadsheet Grids
VL '99 Proceedings of the IEEE Symposium on Visual Languages
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Neural networks based automated test oracle for software testing
ICONIP'06 Proceedings of the 13th international conference on Neural information processing - Volume Part III
Graphical user interface (GUI) testing: Systematic mapping and repository
Information and Software Technology
Hi-index | 0.00 |
The development of GUI-based applications has raised a lot of new issues, one of them being how to automate effective testing for applications with complicated graphical user interactions. In this paper, we discuss the architectural issues and the implementation concerns of our approach to an automated specification-based testing technique for GUI-based applications. This approach is carried out by enriching existing architecture for automated specification-based testing. An essential part of our work is a visual environment to obtain test specifications. This environment pre-runs the Application Under Test (AUT) under its own control, with two prominent characteristics: First, testers can edit test specifications within the true GUI environment of the AUT. Second, the recorded input and output contain the same references as those in the AUT, so that the test cases generated from the edited specification can be used directly by test oracles during the automated testing procedure.We present our running prototype of a visual specification editor that allows users to graphically manipulate test specifications when these specifications are given in term of Finite State Machines (FSM) and the implementations of the AUT are GUI-based Java applications.