Event-based modelling, analysis and testing of user interactions: Approach and case study

Software Testing Verification and Reliability

Volumn 16, Issue 1, 2006, Pages 3-32

  Belli, Fevzi ^a   Budnik, Christof J ^a   White, Lee ^b  

^a UNIVERSITY OF PADERBORN   (Germany)

^b Case Western Reserve University   (United States)

Author keywords

Event sequence graphs; Modelling analysis testing of graphical user interfaces

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER AIDED ANALYSIS; COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; COMPUTER TESTING; FAULT TOLERANT COMPUTER SYSTEMS; HUMAN COMPUTER INTERACTION;

EVENT SEQUENCE GRAPHS; FAULT MODELLING; USER INTERACTIONS;

GRAPHICAL USER INTERFACES;

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

References (50)

1. Thomas JJ, Hamlin G (eds.). Graphical input interaction techniques: Workshop summary. ACM Computer Graphics News 1983; 17(1):5-30.
2. Shneiderman B. Designing the User Interface: Strategies for Effective Human-Computer Interaction (3rd edn). Addison-Wesley: Reading, MA, 1998.
3. Horrocks I. Constructing the User Interface with Statecharts. Addison-Wesley: Reading, MA, 1999.
4. Belli F. Finite-state testing and analysis of graphical user interfaces. Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), Hong Kong, November 2001. IEEE Computer Society Press: Los Alamitos, CA, 2001; 34-43.
5. White L, Almezen H, Alzeidi N. User-based testing of GUI sequences and their interactions. Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), Hong Kong, November 2001. IEEE Computer Society Press: Los Alamitos, CA, 2001; 54-63.
6. White L, Almezen H. Generating test cases for GUI responsibilities using complete interaction sequences. Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), San Jose, CA, October 2000. IEEE Computer Society Press: Los Alamitos, CA, 2000; 110-121.
7. Korel B. Automated test data generation for programs with procedures. Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA 1996), San Diego, CA, January 1996. ACM Press: New York, 1996; 209-215.
8. Zhu H, Hall PAV, May JHR. Software unit test coverage and adequacy. ACM Computing Surveys 1997; 29(4):366-427.
9. Dreyer J. Program Segmentation for Controlling Software Testing and Analysis. Shaker Verlag: Aachen, Germany, 1998.
10. Martin JC. Introduction to Languages and the Theory of Computation (2nd edn). McGraw-Hill: New York, 1997.
11. Holcombe M, Ipate F. Correct Systems: Building a Business Process Solution. Springer: Berlin, 1998.
12. Gossens S. Enhancing system validation with behavioural types. Proceedings of the 7th International Symposium on High-Assurance Systems Engineering (HASE 2002), Tokyo, October 2002. IEEE Computer Society Press: Los Alamitos, CA, 2002; 201-208.
13. Bochmann Gv, Petrenko A. Protocol testing: Review of methodsl and relevance for software testing. Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA 1994), Seattle, WA, August 1994. ACM Press: New York, 1994; 109-124.
14. Chow TS. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering 1978; 4(3):178-187.
15. Sarikaya B. Conformance testing: Architectures and test sequences. Computer Networks and ISDN Systems 1989; 17(2):111-126.
16. Parnas DL. On the use of transition diagrams in the design of a user interface for an interactive computer system. Proceedings of the 24th ACM National Conference, August 1969. ACM Press: New York, 1969; 379-385.
17. Offutt J, Liu S, Abdurazik A, Ammann P. Generating test data from state-based specifications. Software Testing, Verification and Reliability 2003; 13(1):25-53.
18. Shehady RK, Siewiorek DP. A method to automate user interface testing using finite state machines. Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS-27), Seattle, WA, June 1997. IEEE Computer Society Press: Los Alamitos, CA, 1997; 80-88.
19. Cohen DM, Dalal SR, Fredman ML, Patton GC. The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering 1997; 23(7):437-444.
20. Tai K-C, Lei Y. A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering 2002; 28(1):109-111.
21. DeMillo RA, Lipton RJ, Sayward FG. Hints on test data selection: Help for the practicing programmer. IEEE Computer 1978; 11(4):34-41.
22. Delamaro ME, Maldonado JC, Mathur AP. Interface mutation: An approach for integration testing. IEEE Transactions on Software Engineering 2001; 27(3):228-247.
23. Gargantini A, Heitmeyer C. Using model checking to generate tests from requirements specifications. Proceedings of the 7th European Software Engineering Conference (ESEC-7) and the 7th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-7), Toulouse, France, September 1999 (Lecture Notes in Computer Science, vol. 1687). Springer: Berlin, 1999; 146-162.
24. Peled DA. Software Reliability Methods. Springer: New York, 2001.
25. Memon AM, Pollack ME, Soffa ML. Automated test oracles for GUIs. Proceedings of the 8th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-8), San Diego, CA, November 2000. ACM Press: New York, 2000; 30-39.
26. Memon AM, Pollack ME, Soffa ML. Hierarchical GUI test case generation using automated planning. IEEE Transactions on Software Engineering 2001; 27(2):144-155.
27. Memon AM, Pollack ME, Soffa ML. Coverage criteria for GUI testing. Proceedings of the 8th European Software Engineering Conference (ESEC-8) and the 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-9), Vienna, September 2001. ACM Press: New York, 2001; 256-267.
28. Memon AM, Banerjee I, Hashin N, Nagarajan A. DART: A framework for regression testing nightly/daily builds of GUI applications. Proceedings of the 2003 International Conference on Software Maintenance (ICSM 2003), Amsterdam, September 2003. IEEE Computer Society Press: Los Alamitos, CA, 2003; 410-419.
29. Aho AV, Dahbura AT, Lee D, Uyar MU. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. IEEE Transactions on Communications 1991; 39(11):1604-1615.
30. Harel D, Naamad A. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology 1996; 5(4):293-333.
31. Shen Y-N, Lombardi F, Dahbura AT. Protocol conformance testing using multiple UIO sequences. IEEE Transactions on Communications 1992; 40(8):1282-1287.
32. Gill A. Introduction to the Theory of Finite-State Machines. McGraw-Hill: New York, 1962.
33. Gluschkow WM. Theorie der Abstrakten Automaten. VEB Verlag der Wissensch: Berlin, 1963.
34. IEEE Standard Glossary of Software Engineering Terminology. IEEE STd. 610.12. 1990.
35. Gaudel M-C. Testing can be formal, too. Proceedings of Theory and Practice of Software Development (TAPSOFT 1995), Aarhus, Denmark, May 1995 (Lecture Notes in Computer Science, vol. 915). Springer: Berlin, 1995; 82-96.
36. Koufareva I, Petrenko A, Yevtushenko N. Test generation driven by user-defined fault models. Proceedings of the 12th IFIP International Workshop on Testing of Communicating Systems (IWTCS 1999), Budapest, Hungary, September 1999. Kluwer Academic: Norwell, MA, 1999; 215-236.
37. Hamlet D. Predicting dependability by testing. Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA 1996), San Diego, CA, January 1996. ACM Press: New York, 1996; 84-91.
38. Basili VR, Selby RW, Hutchens DH. Experimentation in software engineering. IEEE Transactions on Software Engineering 1986; 12(7):733-743.
39. Wohlin C, Runeson P, Höst M, Ohlsson MC, Regnell B, Wesslén A. Experimentation in Software Engineering: An Introduction. Kluwer Academic: Norwell, MA, 2000.
40. Lyu MR (ed.). Handbook of Software Reliability Engineering. McGraw-Hill: New York, 1996.
41. Eggers B, Belli F. A theory on analysis and construction of fault-tolerant systems (in German). Proceedings, Informatik-Fachberichte, Bonn, September 1984. Springer: Berlin, 1984; 139-149.
42. Belli F, Grosspietsch K-E. Specification of fault-tolerant system issues by predicate/transition nets and regular expressions: Approach and case study. IEEE Transactions on Software Engineering 1991; 17(6):513-526.
43. Nissanke N, Dammag H. Design for safety in Safecharts with risk ordering of states. Safety Science 2002; 40(9):753-763.
44. Williams TW, Parker KP. Design for testability: A survey. IEEE Transactions on Computers 1982; 31(1):2-15.
45. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 1987;8(3):231-274.
46. Kim YG, Hong HS, Bae DH, Cha SD. Test cases generation from UML state diagrams. IEE Proceedings - Software 1999; 146(4):187-192.
47. Briand L, Labiche Y. A UML-based approach to system testing. Software and System Modeling 2002; 1(1): 10-42.
48. Gutzeit Th. Testcase generation from statecharts to validate graphical user interfaces (in German). Masters Thesis, University of Paderborn, Angewandte Datentechnik, 2003.
49. Schneider FB. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys 1990; 22(4):299-319.
50. Raju SCV, Shaw AC. A prototyping environment for specifying, executing and checking communicating real-time state machines. Software - Practice and Experience 1994; 24(2):175-195.