Abstract
Web applications have become standard for several areas, however, they tend to be poorly structured and do not have strongly-typed support. In this paper, we present a web application model and a process to extract the model using static and dynamic analysis. We show recurring problems regarding type and structure in web applications and formally describe algorithms to verify those problems. Finally, we show the potentials of our approach via tool support.
This work was supported by the Brain Korea 21 Project and by the Korea Science and Engineering Foundation(KOSEF) grant funded by the Korea government(MOST) (No. R01-2006-000-11150-0).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Tonella, P., Ricca, F.: A 2-Layer Model for the White-Box Testing of Web Applications. In: Proc. of the 6th IEEE International Workshop on Web Site Evolution (2004)
Harmelen, F., Meer, J.: Webmaster: Knowledge-based Verification of Web Pages. In: Proc. of the 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (1999)
Despeyroux, T., Trousse, B.: Semantic Verification of Web Sites Using Natural Semantics. In: Proc. of the 6th Conference on Content-Based Multimedia Information Access (2000)
Despeyroux, T.: Practical Semantic Analysis of Web Sites and Documents. In: Proc. of the 13th Conference on World Wide Web (2004)
Draheim, D., Weber, G.: Strongly Typed Server Pages. In: Halevy, A.Y., Gal, A. (eds.) NGITS 2002. LNCS, vol. 2382, p. 29. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Jung, W., Lee, E., Kim, K., Wu, C. (2007). A Type-Based Analysis for Verifying Web Application. In: Dong, G., Lin, X., Wang, W., Yang, Y., Yu, J.X. (eds) Advances in Data and Web Management. APWeb WAIM 2007 2007. Lecture Notes in Computer Science, vol 4505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72524-4_83
Download citation
DOI: https://doi.org/10.1007/978-3-540-72524-4_83
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72483-4
Online ISBN: 978-3-540-72524-4
eBook Packages: Computer ScienceComputer Science (R0)