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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
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.
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.
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.
O. Niese, T. Margaria, B. Steffen. Automated functional testing of web-based applications. In Proc. of 5th Intern. Quality Week Europe 2002, Brussles, 2002.
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.
B. Steffen and T. Margaria. METAFrame in Practice: Design of Intelligent Network Services, LNCS 1710, pp. 390–415. Springer Verlag, 1999.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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