Model-based testing of multiple GUI variants using the GUI test generator

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2010, Pages 24-30

  Nguyen, Duc Hoai ^a   Strooper, Paul ^a   Suess, Jorn Guy ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Business logic layer; GUI testing; Model based testing; Spec explorer

Indexed keywords

BEHAVIOUR MODELS; BUSINESS LOGIC; BUSINESS LOGIC LAYERS; CAPTURE/REPLAY; EMAIL CLIENTS; GUI TESTING; MAPPING MODEL; MODEL BASED TESTING; MODEL-BASED; MODEL-BASED TESTING TOOL; MODERN APPLICATIONS; MULTIPLE VARIANTS; NEW APPROACHES; TEST CASE;

COMPUTER SOFTWARE REUSABILITY; MAPPING; SOFTWARE ENGINEERING; TESTING;

GRAPHICAL USER INTERFACES;

EID: 77954917633     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1808266.1808270     Document Type: Conference Paper

References (17)

1. J. A. Hoffer, J. F. George, and J. S. Valacich, "Modern System Analysis and Design, " Addison-Wesley, 1999.
2. K. Li, and M. Wu, Effective GUI Test Automation: Developing an Automated GUI Testing Tool, Sybex, 2004.
3. M. Utting, and B. Legeard, Practical Model-based Testing, Morgan Kaufmann, 2007.
4. "http://research.microsoft.com/specexplorer, " Mirosoft Research, accessed 10 October 2008.
5. T. Lalwani, QuickTest Professional Unplugged, KnowledgeInbox, 2009.
6. D. H. Nguyen, P. Strooper, and J. G. Suess, "Automated Functionality Testing through GUIs, " Proceedings of Australasian Computer Science Conference, 2010.
7. A. Memon, "A Comprehensive Framework for Testing GUI, " Ph.D dissertation, Department of Computer Science, University of Pittsburgh, 2001.
8. A. Memon, M. L. Soffa, and M. E. Pollack, "Coverage Criteria for GUI, " Proceedings of 8th European Software Engineering Conference, pp. 256-267, 2003.
9. A. Memon, "Automated Test Oracles for GUI, " Proceedings of the ACM SIGSOFT 8th International Symposium on the Foundations of Software Engineering, vol. 25, no. 6, pp. 30-39, 2000.
10. D. Hackner, and A. Memon, "Test Case Generator for GUITAR, " Demonstration Track paper at the 30th International Conference on Software Engineering, 2008.
11. A. Paiva, "Towards the Integration of Visual and Formal Models for GUI Testing, " Proceedings of European Joint Conferences on Theory and Practice of Software/Model Based Testing Workshop, 2007.
12. A. Paiva, J. Faria, N. Tillmann et al., "A Model-to- Implementation Mapping Tool for Automated Model-based GUI Testing, " Proceedings of 7th Conference on Formal Engineering Methods, pp. 450-464, 2005.
13. A. Andrews, J. Offutt, and R. T. Alexander, "Testing Web Applications by Modeling with FSMs, " Software and Systems Modeling, pp. 326-345, 2005.
14. A. Kervinen, M. Maunumaa, T. Pääkkönen et al., "Model- Based Testing Through a GUI, " Proceedings of Formal Approaches to Testing of Softwares Conference, 2006.
15. A. Kervinen, "Towards Practical Model-Based Testing: Improvements in Modelling and Test Generation, " Ph.D dissertation, Department of Software Systems, Tampere University of Technology, 2008.
16. "http://www.itee.uq.edu.au/∼ducnh/, " D. H. Nguyen, accessed 10th December 2009.
17. "http://www.sqaforums.com/ubbthreads.php, " SQA Forum, accessed 10 December 2009.