An event-flow model of GUI-based applications for testing

Software Testing Verification and Reliability

Volumn 17, Issue 3, 2007, Pages 137-157

  Memon, Atif M ^a  

^a University of Maryland ^*  (United States)

Author keywords

Event driven software; Event flow graph; Event flow model; Graphical user interfaces; Integration tree; Model checking; Test oracles; Test case generation

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; GRAPHIC METHODS; GRAPHICAL USER INTERFACES; MODEL CHECKING; SOFTWARE RELIABILITY;

EVENT-DRIVEN SOFTWARE; EVENT-FLOW GRAPH; EVENT-FLOW MODEL; EVENT-SPACE EXPLORATION STRATEGY;

SOFTWARE TESTING;

EID: 34548415509     PISSN: 09600833     EISSN: 10991689     Source Type: Journal    
DOI: 10.1002/stvr.364     Document Type: Article

References (40)

1. Mahajan R, Shneiderman B. Visual and textual consistency checking tools for graphical user interfaces. Technical Report CS-TR-3639, University of Maryland, College Park, MD, May 1996.
2. Myers BA. User interface software tools. ACM Transactions on Computer-Human Interaction 1995; 2(1):64-103.
3. Myers BA, Olsen DR Jr. User interface tools. Proceedings of the ACM CHI'94 Conference on Human Factors in Computing Systems, 1994, vol. 2 of Tutorials. ACM Press: New York, 1994; 421-422.
4. Myers BA, Olsen DR Jr, Bonar JG. User interface tools. Proceedings of ACM INTERCHI'93 Conference on Human Factors in Computing Systems - Adjunct Proceedings, 1993, Tutorials. ACM Press: New York, 1993; 239.
5. Myers BA. State of the Art in User Interface Software Tools, vol. 4. Ablex Publishing: Westport, CT, 1993; 110-150.
6. Memon AM. GUI testing: Pitfalls and process. IEEE Computer 2002; 35(8):90-91.
7. Myers BA, Hollan JD, Cruz IF. Strategic directions in human-computer interaction. ACM Computing Surveys 1996; 28(4):794-809.
8. White L, Almezen H. Generating test cases for GUI responsibilities using complete interaction sequences. Proceedings of the International Symposium on Software Reliability Engineering, 8-11 October 2000. IEEE Computer Society Press: Piscataway, NJ, 2000; 110-121.
9. White L, Almezen H, Alzeidi N. User-based testing of GUI sequences and their interaction. Proceedings of the International Symposium on Software Reliability Engineering, 8-11 November 2001. IEEE Computer Society Press: Piscataway, NJ, 2001; 54-63.
10. Memon AM, Pollack ME, Soffa ML. Using a goal-driven approach to generate test cases for GUIs. Proceedings of the 21st International Conference on Software Engineering, May 1999. ACM Press: New York, 1999; 257-266.
11. Memon AM, Pollack ME, Soffa ML. Hierarchical GUI test-case generation using automated planning. IEEE Transactions on Software Engineering 2001; 27(2):144-155.
12. Memon AM, Xie Q. Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software. IEEE Transactions on Software Engineering 2005; 31(10):884-896.
13. Memon A, Nagarajan A, Xie Q. Automating regression testing for evolving GUI software. Journal of Software Maintenance and Evolution: Research and Practice 2005; 17(1):27-64.
14. Memon AM, Pollack MF, Soffa ML. Automated test oracles for GUIs. Proceedings of the ACM SIGSOFT 8th International Symposium on the Foundations of Software Engineering (FSE-8), 8-10 November 2000. ACM Press: New York, 2000; 30-39.
15. White L. Regression testing of GUI event interactions. Proceedings of the International Conference on Software Maintenance, 4-8 November 1996. IEEE Computer Society Press: Piscataway, NJ, 1996; 350-358.
16. Memon AM, Soffa ML. Regression testing of GUIs. Proceedings of the 9th European Software Engineering Conference (ESEC) and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-11), September 2003. ACM Press: New York, 2003; 118-127.
17. Memon AM, Soffa ML, Pollack ME. Coverage criteria for GUI testing. Proceedings of the 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-9), September 2001. ACM Press: New York, 2001; 256-267.
18. Allen FE. Control flow analysis. Proceedings of a Symposium on Compiler Optimization. ACM Press: New York, 1970; 1-19.
19. Rosen BK. Data flow analysis for procedural languages. Journal of the ACM 1979; 26(2):322-344.
20. Clarke JM. Automated test generation from a behavioural model. Proceedings of Pacific Northwest Software Quality Conference, May 1998. PNSQC: Portland, OR, 1998.
21. Chow TS. Testing software design modelled by finite-state machines. IEEE Transactions on Software Engineering 1978; 4(3):178-187.
22. Esmelioglu S, Apfelbaum L. Automated test generation, execution, and reporting. Proceedings of Pacific Northwest Software Quality Conference, October 1997. IEEE Press: Piscataway, NJ, 1997.
23. Bernhard PJ. A reduced test suite for protocol conformance testing. ACM Transactions on Software Engineering and Methodology 1994; 3(3):201-220.
24. Shehady RK, Siewiorek DP. A method to automate user interface testing using variable finite state machines. Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing (FTCS'97), June 1997. IEEE Computer Society Press: Piscataway, NJ, 1997; 80-88.
25. Kasik DJ, George HG. Toward automatic generation of novice user test scripts. Proceedings of the Conference on Human Factors in Computing Systems: Common Ground, New York, 13-18 April 1996. ACM Press: New York, 1996; 244-251.
26. Fogel LJ, Owens AJ, Walsh MJ. Artificial intelligence through a simulation of evolution. Biophysics and Cybernetic Systems: Proceedings of the 2nd Cybernetic Sciences Symposium, Maxfield M, Callahan A, Fogel IJ (eds.). Spartan Books: Washington, DC, 1965; 131-155.
27. Fogel LJ. Owens AJ, Walsh MJ. Artificial Intelligence Through Simulated Evolution. Wiley: New York, 1966.
28. White L, Almezen H, Sastry S. Firewall regression testing of GUI sequences and their interactions. Proceedings of the International Conference on Software Maintenance, 22-26 September 2003. IEEE Computer Society Press: Piscataway, NJ, 2003; 398-409.
29. Memon AM. Advances in GUI Testing (Advances in Computers, vol. 57), Zelkowitz MV (ed.). Academic Press: New York, 2003; 149-201.
30. Memon AM, Xie Q. Empirical evaluation of the fault-detection effectiveness of smoke regression test cases for GUI-based software. Proceedings of the Intemational Conference on Software Maintenance 2004 (ICSM'04), September 2004. IEEE Computer Society Press: Piscataway, NJ, 2004; 8-17.
31. Nagarajan A, Memon AM. Refactoring using event-based profiling. Proceedings of the 1st International Workshop on Refactoring: Achievements, Challenges, Effects (REFACE), November 2003. IEEE Computer Society Press: Piscataway, NJ,2003.
32. Pednault EPD. Adl: Exploring the middle ground between strips and the situation calculus. Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, San Francisco, CA, 1989. Morgan Kaufmann: San Francisco, CA, 1989; 324-332.
33. Weld DS. An introduction to least commitment planning. AI Magazine 1994; 15(4):27-61.
34. Weld DS. Recent advances in AI planning. AI Magazine 1999; 20(1):55-64.
35. Memon AM, Banerjee I, Nagarajan A. GUI ripping: Reverse engineering of graphical user interfaces for testing. Proceedings of the 10th Working Conference on Reverse Engineering, November 2003. IEEE Computer Society Press: Piscataway, NJ, 2003; 260-269.
36. Dwyer MB, Carr V, Hines L. Model checking graphical user interfaces using abstractions. Proceedings of the European Software Engineering Conference (ESEC) and ACM SIGSOFT International Symposium on the Foundations of Software Engineering, 1997. ACM Press: New York, 1997; 244-261.
37. Memon AM, Xie Q. Using transient/persistent errors to develop automated test oracles for event-driven software. Proceedings of the International Conference on Automated Software Engineering 2004 (ASE'04), September 2004. IEEE Computer Society Press: Piscataway, NJ, 2004; 186-195.
38. Xie Q, Memon AM. Designing and comparing automated test oracles for GUI-based software applications. ACM Transactions on Software Testing and Methodology 2007; to appear.
39. Offutt AJ, Hayes JH. A semantic model of program faults. Proceedings of the International Symposium on Software Testing and Analysis. ACM Press: New York, 1996; 195-200.
40. Harrold MJ, Offutt AJ, Tewary K. An approach to fault modelling and fault seeding using the program dependence graph. Journal of Systems and Software 1997; 36(3):273-296.