Automatic GUI test generation for smartphone applications - An evaluation

2009 31st International Conference on Software Engineering - Companion Volume, ICSE 2009

Volumn , Issue , 2009, Pages 112-122

  Jääskeläinen, Antti ^a   Katara, Mika ^a   Kervinen, Antti ^a   Maunumaa, Mika ^a   Pääkkönen, Tuula ^b   Takala, Tommi ^a   Virtanen, Heikki ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

^b MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST GENERATION; ON-LINE TESTS; SMART PHONES; TEST GENERATIONS; TEST MODELS;

COMPUTER SOFTWARE; GRAPHICAL USER INTERFACES; SIGNAL ENCODING;

TESTING;

EID: 70349669432     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE-COMPANION.2009.5070969     Document Type: Conference Paper

References (38)

1. AGEDIS Consortium. AGEDIS project homepage. Availableathttp://www.agedis. de/. Cited Oct 2008.
2. F. Belli. Finite-state testing of graphical user interfaces. In Proc. 12th International Symposium on Software Reliability Engineering (ISSRE 2001), pages 34-43. IEEE CS.
3. F. Belli, C. J. Budnik, and L. White.Event-based modelling, analysis and testing of user interactions: approach and case study. Software Testing, Verification and Reliability, 16(1):3-32, 2006.
4. F. Bouquet, E. Jaffuel, B. Legeard, F. Peureux, and M. Utting. Requirements traceability in automated test generation - application to smart card software validation. In Proc. ICSE 2005 Workshop on Advances in Model-Based Software Testing (A-MOST). ACM.
5. H. Buwalda. Action figures. STQE Magazine, March/April 2003, pages 42-47, 2003.
6. C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes. Testing concurrent objectoriented systems with Spec Explorer. In Proc. Formal Methods 2005, number 3582 in Lecture Notes in Computer Science, pages 542-547. Springer.
7. Domain-Specific Modelling Forum. DSM case studies and examples. Available at http://www.dsmforum.org/cases.html. Cited Oct 2008.
8. M. Fewster and D. Graham. Software Test Automation: Effective use of test execution tools. Addison-Wesley, 1999.
9. M. Fowler. Continuous integration. Available at http://www.martinfowler. com/articles/continuousIntegration.html. Cited Oct 2008.
10. H. Hansen, H. Virtanen, and A. Valmari. Merging statebased and action-based verification. In Proceedings of ACSD 2003, the Third International Conference on Application of Concurrency to System Design, pages 150-156. IEEE CS, 2003.
11. A. Hartman. AGEDIS project final report. Available at http://www.agedis.de/documents/FinalPublicReport%28D1.6%29.PDF, 2004. Cited Oct 2008.
12. A. Hartman, M. Katara, and S. Olvovsky. Choosing a test modeling language: a survey. In Proc. Haifa Verification Conference 2006, number 4383 in Lecture Notes in Computer Science, pages 204-218. Springer, 2007.
13. A. Jääskeläinen. A domain-specific tool for creation and management of test models. Master's thesis, Tampere University of Technology, Jan. 2008.
14. A. Jääskeläinen, M. Katara, A. Kervinen, H. Heiskanen, M. Maunumaa, and T. Pääkkönen. Model-based testing service on the web. In Proc. TESTCOM/FATES 2008, number 5047 in Lecture Notes in Computer Science, pages 38-53. Springer.
15. A. Jääskeläinen, A. Kervinen, and M. Katara. Creating a test model library for GUI testing of smartphone applications. In Proc. 8th International Conference on Quality Software (QSIQ 2008) (short paper). IEEE CS.
16. C. Jard and T. Jéron. TGV: theory, principles and algorithms - a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. STTT, 7(4):297-315, 2005.
17. C. Kaner, J. Bach, and B. Pettichord. Lessons Learned in Software Testing: A Context-Driven Approach. Wiley, 2001.
18. K. Karsisto. A new parallel composition operator for verification tools. Doctoral dissertation, Tampere University of Technology (number 420 in publications), 2003.
19. M. Katara and A. Kervinen. Making model-based testing more agile: a use case driven approach. In Proc. Haifa Verification Conference 2006, number 4383 in Lecture Notes in Computer Science, pages 219-234. Springer, 2007.
20. M. Katara, A. Kervinen, M. Maunumaa, T. Pääkkönen, and M. Satama. Towards deploying model-based testing with a domain-specific modeling approach. In Proc. TAIC PART - Testing: Academic & Industrial Conference, pages 81-89, Windsor, UK, Aug. 2006. IEEE CS.
21. A. Kervinen, M. Maunumaa, T. Pääkkönen, and M. Katara. Model-based testing through a GUI. In Proc. 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), number 3997 in Lecture Notes in Computer Science, pages 16-31. Springer, 2006.
22. A. M. Memon. A comprehensive framework for testing graphical user interfaces. PhD thesis, University of Pittsburgh, 2001.
23. L. Nachmanson, M. Veanes, W. Schulte, N. Tillmann, and W. Grieskamp. Optimal strategies for testing nondeterministic systems. In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 55-64. ACM.
24. A. D. Neto, R. Subramanyan, M. Vieira, G. H. Travassos, and F. Shull. Improving evidence about software technologies: A look at model-based testing. IEEE Software, May/June:10-13, 2008.
25. M. Nikkanen. Use case based automatic user interface testing in mobile devices. Master's thesis, Helsinki University of Technology, May 2005.
26. T. Ostrand, A. Anodide, H. Foster, and T. Goradia. A visual test development environment for GUI systems. In ISSTA '98: Proc. 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 82-92. ACM.
27. A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, and T. Stauner. One evaluation of model-based testing and its automation. In ICSE '05: Proc. 27th international conference on Software engineering, pages 392-401. ACM.
28. Python. Python Programming Language homepage. http://python.org/. Cited Oct 2008.
29. H. Robinson. Finite state model-based testing on a shoestring. Software Testing, Analysis, and Review Conference (STARWEST) 1999. At URLhttp://www.geocities.com/model-based-testing/shoestring.htm. Cited Oct 2008.
30. H. Robinson. Obstacles and opportunities for model-based testing in an industrial software environment. In Proc. 1st European Conference on Model-Driven Software Engineering, pages 118-127, Nuremberg, Germany, Dec. 2003.
31. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
32. S60. http://www.s60.com. Cited Oct 2008.
33. M. Satama. Event capturing tool for model-based GUI test automation. Master's thesis, Tampere University of Technology, Sept. 2006.
34. Software Engineering Institute. Software product lines. http://www.sei.cmu.edu/productlines/. Cited Oct 2008.
35. Symbian. Symbian Signed. http://www.symbiansigned.com/. Cited Oct 2008.
36. A. Tevanlinna, J. Taina, and R. Kauppinen. Product family testing: a survey. SIGSOFT Softw. Eng. Notes, 29(2):12-12, 2004.
37. M. Utting, A. Pretschner, and B. Legeard. A taxonomy of model-based testing. Working paper series 4, Department of Computer Science, University of Waikato, New Zealand, 2006.
38. A. Valmari. The state explosion problem. In Lectures on Petri Nets I: Basic Models, number 1491 in Lecture Notes in Computer Science, pages 429-528. Springer-Verlag, 1998.