Iterative execution-feedback model-directed GUI testing

Information and Software Technology

Volumn 52, Issue 5, 2010, Pages 559-575

  Yuan, Xun ^a   Memon, Atif M ^a  

^a Institute of Advanced Computer Science   (United States)

Author keywords

Event driven software; Event flow graphs; GUI testing; Model based testing; Test case generation

Indexed keywords

AUTOMATIC MODELS; EMPIRICAL STUDIES; EVENT-DRIVEN SOFTWARES; FEEDBACK MODEL; GUI TESTING; NON-TRIVIAL; RUN-TIME INFORMATION; RUNTIMES; STATE-BASED; STATIC MODEL; TEST CASE; TEST CASE GENERATION;

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; TESTING;

GRAPHICAL USER INTERFACES;

EID: 77949492047     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2009.11.009     Document Type: Article

References (30)

1. P.T. Alessandro Marchetto, F. Ricca, State-based testing of Ajax web applications, in: Proceedings of the 1st International Conference on Software Testing, Verification, and Validation, April 9-11, 2008, pp. 121-130.
2. C. Boyapati, S. Khurshid, D. Marinov, Korat: automated testing based on Java predicates, in: Proceedings of International Symposium on Software Testing and Analysis (ISSTA '02), 2002, pp. 123-133.
3. Dwyer M.B., Carr V., and Hines L. Model checking graphical user interfaces using abstractions. In: Jazayeri M., and Schauer H. (Eds). Proceedings of the ACM SIGSOFT 6th International Symposium on the Foundations of Software Engineering: ESEC/FSE '97. Lecture Notes in Computer Science vol. 1301 (1997), Springer/ACM Press 244-261
4. Ferguson R., and Korel B. The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology 5 1 (1996) 63-86
5. M. Finsterwalder, Automating acceptance tests for GUI applications in an extreme programming environment, in: Proceedings of the 2nd International Conference on Extreme Programming and Flexible Processes in Software Engineering, May 2001, pp. 114-117.
6. Gallagher M.J., and Narasimhan V.L. Adtest: a test data generation suite for Ada software systems. IEEE Transactions on Software Engineering 23 8 (1997) 473-484
7. N. Gupta, A.P. Mathur, M.L. Soffa, Automated test data generation using an iterative relaxation method, in: Proceedings of the ACM SIGSOFT 6th International Symposium on the Foundations of Software Engineering: FSE-6, 1998, pp. 231-244.
8. J.H. Hicinbothom, W.W. Zachary, A tool for automatically generating transcripts of human-computer interaction, in: Proceedings of the Human Factors and Ergonomics Society 37th Annual Meeting, Special Sessions: Demonstrations, vol. 2, 1993, p. 1042.
9. Hierons R.M., and Ural H. Optimizing the length of checking sequences. IEEE Transactions on Computers 55 5 (2006) 618-629
10. Hovemeyer D., and Pugh W. Finding bugs is easy. ACM SIGPLAN Notices 39 12 (2004) 92-106
11. JUnit, Testing Resources for Extreme Programming. .
12. Korel B. Automated software test data generation. IEEE Transactions on Software Engineering 16 8 (1990) 870-879
13. Masri W., Podgurski A., and Leon D. An empirical study of test case filtering techniques based on exercising information flows. IEEE Transactions on Software Engineering 33 7 (2007) 454-477
14. McMinn P. Search-based software test data generation: a survey: research articles. Software Testing, Verification and Reliability 14 2 (2004) 105-156
15. P. McMinn, M. Harman, D. Binkley, P. Tonella, The species per path approach to search-based test data generation, in: Proceedings of International Symposium on Software Testing and Analysis (ISSTA '06), 2006, pp. 13-24.
16. A.M. Memon, A Comprehensive Framework for Testing Graphical User Interfaces, Ph.D. Thesis, Department of Computer Science, University of Pittsburgh, July 2001.
17. Memon A.M. Automatically repairing event sequence-based GUI test suites for regression testing. ACM Transactions on Software Engineering and Methodology 18 2 (2008) 1-36
18. A.M. Memon, I. Banerjee, A. Nagarajan, GUI ripping: reverse engineering of graphical user interfaces for testing, in: Proceedings of The 10th Working Conference on Reverse Engineering, November 2003.
19. Memon A.M., Pollack M.E., and Soffa M.L. Hierarchical GUI test case generation using automated planning. IEEE Transactions on Software Engineering 27 2 (2001) 144-155
20. Memon A.M., and Xie Q. Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software. IEEE Transactions on Software Engineering 31 10 (2005) 884-896
21. Michael C.C., McGraw G., and Schatz M. Generating software test data by evolution. IEEE Transactions on Software Engineering 27 12 (2001) 1085-1110
22. Miller W., and Spooner D.L. Automatic generation of floating-point test data. IEEE Transactions on Software Engineering 2 3 (1976) 223-226
23. C. Pacheco, S.K. Lahiri, M.D. Ernst, T. Ball, Feedback-directed random test generation, in: Proceedings of the 29th International Conference on Software Engineering (ICSE '07), May 23-25, 2007, pp. 396-405.
24. A. Rountev, S. Kagan, M. Gibas, Evaluating the imprecision of static analysis, in: Workshop on Program Analysis for Software Tools and Engineering, 2004, pp. 14-16.
25. R.K. Shehady, D.P. Siewiorek, A method to automate user interface testing using variable finite state machines, in: Proceedings of The Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing (FTCS'97), Washington/Brussels/Tokyo, June 1997, IEEE Press, pp. 80-88.
26. L. White, H. Almezen, Generating test cases for GUI responsibilities using complete interaction sequences, in: Proceedings of the International Symposium on Software Reliability Engineering, October 2000, pp. 110-121.
27. L. White, H. AlMezen, N. Alzeidi, User-based testing of GUI sequences and their interactions, in: Proceedings of the 12th International Symposium Software Reliability Engineering, 2001, pp. 54-63.
28. L. White, H. Almezen, S. Sastry, Firewall regression testing of GUI sequences and their interactions, in: Proceedings of the International Conference on Software Maintenance, The Netherlands, September 22-26, 2003, pp. 398-409.
29. Xie T., and Notkin D. Mutually enhancing test generation and specification inference. In: Petrenko A., and Ulrich A. (Eds). Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003. Lecture Notes in Computer Science vol. 2931 (2003), Springer 60-69
30. X. Yuan, A.M. Memon, Using GUI run-time state as feedback to generate test cases, in: Proceedings of the 29th International Conference on Software Engineering (ICSE '07), May 23-25, 2007, pp. 396-405.