A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Test Driven Development: By Example
Test Driven Development: By Example
IEEE Software
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Finite-State Testing and Analysis of Graphical User Interfaces
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
The Art of Software Testing
Controlling test case explosion in test generation from B formal models: Research Articles
Software Testing, Verification & Reliability
Model-Based Testing of Community-Driven Open-Source GUI Applications
ICSM '06 Proceedings of the 22nd IEEE International Conference on Software Maintenance
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Test-Driven GUI Development with TestNG and Abbot
IEEE Software
Formal Models for Informal GUI Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
An event-flow model of GUI-based applications for testing: Research Articles
Software Testing, Verification & Reliability
Refinement for User Interface Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Dynamic Adaptive Automated Test Generation for Graphical User Interfaces
ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
User interface model discovery: towards a generic approach
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Developing usability studies via formal models of UIs
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
UI-driven test-first development of interactive systems
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Modelling user manuals of modal medical devices and learning from the experience
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
AUIC '13 Proceedings of the Fourteenth Australasian User Interface Conference - Volume 139
| Hi-index | 0.00 |
Testing interactive systems is a notoriously difficult task. Not only do we need to ensure that the functionality of the developed system is correct with respect to the requirements and specifications, but also we need to ensure that the user interface (UI) to the system is correct (enables a user to access the functionality correctly) and is usable. These different requirements of interactive system testing are not easily combined within a single testing strategy. We investigate the use of models of interactive systems, which have been derived from design artefacts, as the basis for generating tests for an implemented system. We show how automatically generated abstract tests can be used as the basis for a model-based method for testing interactive systems which has low overhead in terms of the models required and which enables testing of UI and system functionality from the perspective of user interaction. We also examine other testing strategies which use the same abstract tests as their basis and discuss general problems in the area of interactive system testing and propose some solutions.