Skip to main content
SpringerLink
Log in

Demonstration of an Automated Integrated Test Environment for Web-Based Applications

  • Conference paper
  • First Online:
Model Checking Software (SPIN 2002)

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

Included in the following conference series:

Abstract

The state of the art of test tools for web-based applications is still dominated by static approaches, focussing on a posteriori link-structure reconstruction and interpretation [2],[6], e.g. to determine unreachable pages, rather than on functional aspects directly related to the application’s behaviour. As it has happened in the areas of telecommunications, evolution in this direction is however necessary in order to test applications also for their intention, rather than just for environmental accidents.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. B. Lindner, T. Margaria, and B. Steffen. Ein personalisierter Internetdienst für wissenschaftliche Begutachtungsprozesse. In GI-VOI-BITKOM-OCG-TeleTrusT Konferenz on “Elektronische Geschäftsprozesse”(eBusiness Processes), Universität Klagenfurt, September 2001.

    Google Scholar 

  2. C.H. Liu, D.C. Kung, P. Hsia, and C.T. Hsu. Structural testing of web applications. In Proc. of Int. Symposium on software reliability engineering (ISSRE 2000), pp. 84–96, 2000.

    Google Scholar 

  3. O. Niese, B. Steffen, T. Margaria, A. Hagerer, G. Brune, and H. Ide. Librarybased design and consistency checks of system-level industrial test cases. Proc. FASE 2001, LNCS 2029, pp. 233–248. Springer Verlag, 2001.

    Google Scholar 

  4. O. Niese, T. Margaria, A. Hagerer, B. Steffen, G. Brune, and H. Ide. Automated regression testing of CTI-systems. In Proc. of IEEE European Test Workshop (ETW 2001), 2001.

    Google Scholar 

  5. O. Niese, T. Margaria, B. Steffen. Automated functional testing of web-based applications. In Proc. of 5th Intern. Quality Week Europe 2002, Brussles, 2002.

    Google Scholar 

  6. F. Ricca and P. Tonella. Building a tool for the analysis and testing of web applications: Problems and solutions. Proc. TACAS 2001, LNCS 2031, pp. 372–388. Springer Verlag, 2001.

    Google Scholar 

  7. B. Steffen and T. Margaria. METAFrame in Practice: Design of Intelligent Network Services, LNCS 1710, pp. 390–415. Springer Verlag, 1999.

    Google Scholar 

  8. B. Steffen, T. Margaria, and V. Braun. Coarse-granular model checking in practice. Proc. 8th Intern. SPIN Workshop, LNCS 2057, pp. 304–312. Springer Verlag, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. METAFrame Technologies GmbH, Dortmund, Germany

    Tiziana Margaria

  2. Chair of Programming Systems, University of Dortmund, Germany

    Tiziana Margaria, Oliver Niese & Bernhard Steffen

Authors
  1. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Oliver Niese
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600, MB Eindhoven, The Netherlands

    Dragan Bošnački

  2. Institute for Computer Science, Albert-Ludwigs-University Freiburg, Georges-Koehler-Allee Geb. 051, 79199, Freiburg, Germany

    Stefan Leue

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Margaria, T., Niese, O., Steffen, B. (2002). Demonstration of an Automated Integrated Test Environment for Web-Based Applications. In: Bošnački, D., Leue, S. (eds) Model Checking Software. SPIN 2002. Lecture Notes in Computer Science, vol 2318. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46017-9_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-46017-9_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43477-1

  • Online ISBN: 978-3-540-46017-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation