Skip to main content
SpringerLink
Log in

Expressing Graphical User’s Input for Test Specifications

  • Conference paper
  • First Online:
Engineering and Deployment of Cooperative Information Systems (EDCIS 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2480))

Abstract

As more and more applications now involve graphical user’s interactions, an essential issue we are facing is how to automate effective testing on GUI-based applications. Many factors have contributed to the new dimensions of the complexity in the automated testing in this regard, one of them being how to properly characterize the graphical user’s input from the prospective of test users. Here we propose a possible way of characterizing graphical user’s input. This treatment is used in our prototype implementation of an automated tool to support the testing of the presentation logic in GUI-based applications. It plays an important role in enhancing the scalability of this testing environment with respect to the various types of graphical user’s input. We introduce the respect enhancement and discuss the important design issues in it.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.

    Google Scholar 

  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.

    Google Scholar 

  4. G. Booch, I. Jacobson, and J. Rumbaugh. The Unified Modeling Language User Guide. Addison-Wesley, 1998.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  8. T. Chow. Testing software design modeled by finite state machines. IEEE Transactions on Software Engineering, 4(3):178–187, 1978.

    Article  Google Scholar 

  9. M. Erwig. Visual graphs. In IEEE Symposium on Visual Languages, 1999.

    Google Scholar 

  10. A. Friedman and P. Menon. Fault Detection in Digital Circuits. Prentice Hall Inc., 1971.

    Google Scholar 

  11. G. Holzmann. The Design and Validation of Computer Protocols. Prentice Hall, 1991.

    Google Scholar 

  12. D. Lee and M. Yannakakis. Testing finite state machines: State identification and verification. IEEE Transactions on Computers, 43:306–320, 1994.

    Article  MathSciNet  Google Scholar 

  13. X. Li, W. Mugridge, and J. Hosking. A Petri net-based visual language for specifying GUIs. In IEEE Symposium on Visual Languages, 1997.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  17. K. Sabnani and A. Dahbura. A protocol test generation procedure. Computer Networks and ISDN Systems, 15(4):285–297, 1988.

    Article  Google Scholar 

  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.

    Google Scholar 

  19. D. Sidhu and T. Leung. Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering, 15:413–326, 1989.

    Article  Google Scholar 

  20. R. V. Test. See http://www.rational.com/products/visualtest/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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, University of Windsor, 401 Sunset Avenue, Windsors, Ont., Canada, N9B 3P4

    Jessica Chen

Authors
  1. Jessica Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computing Technique, P.O. Box 2704, 100080, Beijing, China

    Yanbo Han

  2. IBM T.J. Watson Research Center, P.O. Box 704, 10598, NY, Yorktown Heights, USA

    Stefan Tai

  3. FH Brandenburg, University of Applied Sciences, Magdeburger Str. 50, 14770, Brandenburg an der Havel, Germany

    Dietmar Wikarski

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chen, J. (2002). Expressing Graphical User’s Input for Test Specifications. In: Han, Y., Tai, S., Wikarski, D. (eds) Engineering and Deployment of Cooperative Information Systems. EDCIS 2002. Lecture Notes in Computer Science, vol 2480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45785-2_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-45785-2_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44222-6

  • Online ISBN: 978-3-540-45785-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation