Expressing graphical user’s input for test specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2480, Issue , 2002, Pages 347-359

  Chen, Jessica ^a  

^a UNIVERSITY OF WINDSOR   (Canada)

Author keywords

Capture replay; Finite state machines; Graphical User s Interface; Java swing and AWT; Specification based Testing

Indexed keywords

FINITE AUTOMATA; GRAPHICAL USER INTERFACES; INFORMATION SYSTEMS; INFORMATION USE; INTERFACE STATES;

AUTOMATED TESTING; CAPTURE/REPLAY; EFFECTIVE TESTING; JAVA SWING AND AWT; PROTOTYPE IMPLEMENTATIONS; SPECIFICATION BASED TESTING; TEST SPECIFICATIONS; TESTING ENVIRONMENT;

SPECIFICATIONS;

EID: 84931451230     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45785-2_27     Document Type: Conference Paper

References (24)

1. A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.
2. AutoController. See http://www. autotester. com.
3. R. Bastide and P. Palanque. A Petri net based environment for the design of event-driven interfaces. In Lecture Notes in Computer Science 935, pages 66-83, 1995.
4. G. Booch, I. Jacobson, and J. Rumbaugh. The Unified Modeling Language User Guide. Addison-Wesley, 1998.
5. P. Bottoni, S. Chang, M. Costabile, S. Levialdi, and P. Mussio. On the specification of dymanic visual languages. In IEEE Symposium on Visual Languages, 1998.
6. M. Burnett, A. Sheretov, and G. Rothermel. Scaling up a "what you see is what you test" methodology to spreadsheet grids. In IEEE Symposium on Visual Languages, 1999.
7. J. Chen and S. Subramanian. A GUI environment to manipulate FSMs for testing GUI-based applications in Java. In Proc. of the 34th IEEE Hawaii International Conference on System Sciences (HICSS-34). IEEE Computer Society, 2001.
8. T. Chow. Testing software design modeled by finite state machines. IEEE Transactions on Software Engineering, 4(3): 178-187, 1978.
9. M. Erwig. Visual graphs. In IEEE Symposium on Visual Languages, 1999.
10. A. Friedman and P. Menon. Fault Detection in Digital Circuits. Prentice Hall Inc., 1971.
11. G. Holzmann. The Design and Validation of Computer Protocols. Prentice Hall, 1991.
12. D. Lee and M. Yannakakis. Testing finite state machines: State identification and verification. IEEE Transactions on Computers, 43: 306-320, 1994.
13. X. Li, W. Mugridge, and J. Hosking. A Petri net-based visual language for specifying GUIs. In IEEE Symposium on Visual Languages, 1997.
14. A. Memon, M. Pollack, and M. Soffa. Hierarchical GUI test case generation using automated planning. IEEE Transactions on Software Engineering, 27(2): 144-155, 2001.
15. J. Newmarch. Testing Java swing-based applications. In The 31st Internaltion Conference on Technology on Object-Oriented Language and Systems, Nanjing, China, September 1999.
16. G. Rothermel, L. Li, C. DuPuis, and M. Burnett. "what you see is what you test: A methodology for testing form-based visual programs. In Proc. of International Conference on Software Engineering, pages 198-207, 1998.
17. K. Sabnani and A. Dahbura. A protocol test generation procedure. Computer Networks and ISDN Systems, 15(4): 285-297, 1988.
18. R. K. Shehady and D. P. Siewiorek. A method to automate user interface testing using variable finite state machines. In Proc. of IEEE 27th Annual International Symposium on Fault-Tolerant Computing, pages 80-88, 1997.
19. D. Sidhu and T. Leung. Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering, 15: 413-326, 1989.
20. R. V. Test. See http://www. rational. com/products/visual test/index. jtmpl.
21. H. Ural, X. Wu, and F. Zhang. On minimizing the lengths of checking sequences. IEEE Transactions on Computers, 46(1), January 1997.
22. L. White and H. Almezen. Generating test cases for GUI responsibilities using complete interaction. In Proc. of the 11th International Symposium on Software Requirement Engineering, pages 110-121, 2000.
23. XRunner. See http://www. merc-int. com/products/xrunner6.
24. M. Yannakakis and D. Lee. Testing finite state machines: Fault detection. Journal of Computer and System Sciences, 50: 209-227, 1995.