Specification-based Testing for GUI-based Applications

Software Quality Journal

Volumn 10, Issue 3, 2002, Pages 205-224

  Chen, Jessica ^a   Subramaniam, Suganthan ^a,b  

^a UNIVERSITY OF WINDSOR   (Canada)

^b Flyscan Technologies   (Canada)

Author keywords

Capture Replay; Finite state machines; Java AWT and Swing; Specification based testing

Indexed keywords

FINITE AUTOMATA; GRAPHICAL USER INTERFACES; TESTING;

APPLICATION UNDER TESTS; CAPTURE/REPLAY; EXISTING ARCHITECTURES; JAVA AWT AND SWING; SPECIFICATION BASED TESTING; TEST SPECIFICATIONS; VISUAL ENVIRONMENTS; VISUAL SPECIFICATION;

SPECIFICATIONS;

EID: 1842848037     PISSN: 09639314     EISSN: 15731367     Source Type: Journal    
DOI: 10.1023/A:1021634422504     Document Type: Article

References (25)

1. Z. 120. 1996. Message sequence chart (MSC), ITU-T, Geneva, April 1996.
2. Aho, A.V., Sethi, R., and Ullman, J.D. 1986. Compilers: Principles, Techniques and Tools. Addison-Wesley.
3. Bastide R. and Palanque, P.A. 1995. A Petri net based environment for the design of event-driven interfaces. Lecture Notes in Computer Science 935, pages 66-83. Springer Verlag.
4. Booch G., Jacobson I., and Rumbaugh, J. 1998. The Unified Modeling Language User Guide. Addison-Wesley.
5. Bottoni P., Chang, S.K., Costabile, M.F., Levialdi, S., and Mussio, P. 1998. On the specification of dynamic visual languages, IEEE Symposium on Visual Languages, Pages 14-21.
6. Burnett, M., Sheretov, A., and Rothermel, G. 1999. Scaling up a "what you see is what you test" methodology to spreadsheet grids, IEEE Symposium on Visual Languages. Pages 30-37.
7. Chow, T.S. 1978. Testing software design modeled by finite state machines, IEEE Transactions on Software Engineering, 4(3): 178-187.
8. Ekkart R., Peter, G., and Jens. G. 1996. Tutorial on message sequence charts, Computer Networks and ISDN Systems, 28(12): 1629-1641.
9. Erwig, M. 1999. Visual graphs, IEEE Symposium on Visual Languages. Pages 122-129.
10. Friedman, A.D. and Menon, P.R. 1971. Fault Detection in Digital Circuits, Prentice Hall Inc.
11. Gerrard, P. Testing GUI applications, 1997. Proc. of EuroSTAR'97.
12. Gill, A. 1962. Introduction to the Theory of Finite State Machines, New York, McGraw-Hill.
13. Holzmann, G. 1991. The Design and Validation of Computer Protocols. Prentice Hall.
14. Kasik, D.J. and George, H.G. 1996. Toward automatic generation of novice user test scripts. ACM Conference Proc. on Human Factors in Computing Systems, Vancouver, Canada, pp. 244-251.
15. Lee, D. and Yannakakis, M. 1994. Testing finite state machines: state identification and verification, IEEE Transactions on Computers, 43: 306-320.
16. Li, X., Mugridge, W.B., and Hosking, J.G. 1997. A Petri net-based visual language for specifying GUIs, IEEE Symposium on Visual Languages. Pages 50-57.
17. Memon, A., Pollack, M., and Soffa, M. 2001. Hierarchical GUI test case generation using automated planning, IEEE Transactions on Software Engineering, 27(2): 144-155.
18. Newmarch, J.D. 1999. Testing Java swing-based applications. The 31st International Conference on Technology on Object-Oriented Language and Systems, Nanjing, China, September. Pages 156-165.
19. Rothermel, G., Li, L., DuPuis, C., and Burnett, M. 1998. "What you see is what you test: a methodology for testing form-based visual programs, Proc. of International Conference on Software Engineering, pp. 198-207.
20. Sabnani, K.K. and Dahbura, A.T. 1988. A protocol test generation procedure, Computer Networks and ISDN Systems, 15(4): 285-297.
21. Shehady, R.K. and Siewiorek, D.P. 1997. A method to automate user interface testing using variable finite state machines, Proc. of IEEE 27th Annual International Symposium on Fault-Tolerant Computing, pp. 80-88.
22. Sidhu, D.P. and Leung, T.K. 1989. Formal methods for protocol testing: a detailed study, IEEE Transactions on Software Engineering, 15: 413-326.
23. Ural, H., Wu, X., and Zhang, F. 1997. On minimizing the lengths of checking sequences, IEEE Transactions on Computers, 46(1): 93-99.
24. White, L. and Almezen, H. 2000. Generating test cases for GUI responsibilities using complete interaction, Proc. of the 11th International Symposium on Software Requirement Engineering, pp. 110-121.
25. Yannakakis, M. and Lee, D. 1995. Testing finite state machines: fault detection, Journal of Computer and System Sciences, 50: 209-227.