Skip to main content
SpringerLink
Log in

Model-Based Web Components Testing: A Prioritization Approach

  • Conference paper
Software Engineering and Computer Systems (ICSECS 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 181))

Included in the following conference series:

Abstract

Web applications testing and verification is becoming a highly challenging task. A number of model-based approaches has been proposed to deal with such a challenge. However, there is no criteria that could be used to aid practitioners in selecting appropriate approaches suitable for their particular effort. In this paper we present a set of attributes to serve as criteria for classifying and comparing these approaches and provide such aid to practitioners. The set of attributes is also meant to guide researchers interested in proposing new model-based Web application testing and verification approaches. The paper discusses a number of representative approaches against the criteria. Analysis of the discussion highlights some open issues for future research. In response to one of the issues, we present an approach for prioritizing components for testing to maximize confidence given a limited number of test cases to be executed. Some initial results are reported in the paper.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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. Miao, H., Zeng, H.: Model Checking-based Verification of Web Application. In: Proceedings of 12th IEEE International Conference on Engineering Complex Computer Systems pp. 47–55 (2007)

    Google Scholar 

  2. Andrews, A., Offutt, J., Alexander, R.: Testing Web Applications by Modeling with FSMs. Software Systems and Modeling 4(3), 326–345 (2005)

    Article  Google Scholar 

  3. Kung, D.C., Liu, C.H., Hsia, P.: An Object-Oriented Web Test Model for Testing Web Applications. In: Proceedings of the 1st Asia-Pacific Conference on Web Applications, pp. 111–120. IEEE Press, New York (2000)

    Google Scholar 

  4. Haydar, M., Petrenko, A., Sahraoui, H.: Formal Verification of Web Applications Modeled by Communicating Automata. In: Proceedings of the 24th IFIP International Conference on Formal Techniques for Networked and Distributed Systems, Madrid, Spain, pp. 115–132 (2004)

    Google Scholar 

  5. Licata, D.R., Krishnamurthi, S.: Verifying interactive web programs. In: Proceedings of the IEEE International Conference on Automated Software Engineering, pp. 164–173. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  6. Ricca, F., Tonella, P.: Web site analysis: Structure and evolution. In: Proceedings of the International Conference on Software Maintenance, pp. 76–86 (2000)

    Google Scholar 

  7. Ricca, F., Tonella, P.: Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 373–388. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  8. Graunke, P.T., Findler, R.B., Adsul, B., Felleisen, M.: Modeling Web Interactions. In: Degano, P. (ed.) ESOP 2003. LNCS, vol. 2618, pp. 238–252. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Benedikt, M., Freire, J., Godefroid, P.: VeriWeb: Automatically Testing Dynamic Web Sites. In: Proceedings of 11th International World Wide Web Conference (2002)

    Google Scholar 

  10. Sampath, S., Bryce, R., Viswanath, G., Kandimalla, V., Koru, A.G.: Prioritizing User-Session-Based Test Cases for Web Application Testing. In: Proceedings of IEEE Int. Conf. Software Testing, Verification, and Validation, pp. 141–150 (2008)

    Google Scholar 

  11. Bryce, R.C., Sampath, S., Memon, A.M.: Developing a Single Model and Test Prioritization Strategies for Event-Driven Software. IEEE Transactions On Software Engineering 37, 48–64 (2011)

    Google Scholar 

  12. Korel, B., Tahat, L.H., Harman, M.: Test Prioritization Using System Models. In: Proceedings of the 21st IEEE International Conference on Software Maintenance (2005)

    Google Scholar 

  13. Rothermel, G., Untch, R.H., Chu, C., Harrold, M.J.: Prioritizing Test Cases for Regression Testing. IEEE Trans. Software Eng. 27(10), 929–948 (2001)

    Article  Google Scholar 

  14. Cheng, K., Krishnakumar, A.: Automatic Functional Test Generation Using The Extended Finite State Machine Model. In: Proceedings of ACM/IEEE Design Automation Conf. pp. 86–91 (1993)

    Google Scholar 

  15. Dssouli, R., Saleh, K., Aboulhamid, E., En-Nouaary, A., Bourhfir, C.: Test Development For Communication Protocols: Towards Automation. Computer Networks 31, 1835–1872 (1999)

    Article  Google Scholar 

  16. Dick, J., Faivre, A.: Automating the Generation and Sequencing of Test Case from Model-Based Specification. In: Proceedings of International Symposium on Formal Methods, pp. 268–284 (1992)

    Google Scholar 

  17. Vaysburg, B., Tahat, L., Korel, B.: Dependence Analysis in Reduction of Requirement Based Test Suites. In: Proceedings of ACM International Symposium on Software Testing and Analysis, pp. 107–111 (2002)

    Google Scholar 

  18. Korel, B., Tahat, L., Vaysburg, B.: Model Based Regression Test Reduction Using Dependence Analysis. In: Proceeding of IEEE International Conf. on Software Maintenance, pp. 214–223 (2002)

    Google Scholar 

  19. Nieminen, J.: On centrality in a graph. Scandinavian Journal of Psychology 15, 322–336 (1974)

    Article  Google Scholar 

  20. Freeman, C.: A set of measures of centrality based on betweenness. Sociometry 40, 35–41 (1977)

    Article  Google Scholar 

  21. Garey, M.R., Johnson, D.S.: Computers and intractability. A guide to the theory of NP-completeness. W. H. Freeman, San Francisco (1979)

    Google Scholar 

  22. Conallen, J.: Modeling web application architectures with UML. Communications of the ACM 42(10), 63–71 (1999)

    Article  Google Scholar 

  23. de Alfaro, L.: Model checking the world wide web. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 337–349. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  24. Alpuente, M., Ballis, D., Falaschi, M.: A rewriting-based framework for web sites verification. Electr. Notes Theor. Comput. Sci. 124(1), 41–61 (2005)

    Article  Google Scholar 

  25. Chen, J., Zhao, X.: Formal models for web navigations with session control and browser cache. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 46–60. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  26. Bordbar, B., Anastasakis, K.: MDA and Analysis of Web Applications. In: Draheim, D., Weber, G. (eds.) TEAA 2005. LNCS, vol. 3888, pp. 44–55. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  27. Winckler, M., Palanque, P.: StateWebCharts: A formal description technique dedicated to navigation modelling of web applications. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol. 2844, pp. 61–76. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  28. Han, M., Hofmeister, C.: Modeling and verification of adaptive navigation in web applications. In: ICWE. pp. 329–336 (2006)

    Google Scholar 

  29. Di Sciascio, E., Donini, F., Mongiello, M., Piscitelli, G.: Web applications design and maintenance using symbolic model checking. In: Proceedings of the European Conference on Software Maintenance and Reengineering, pp. 63–72. IEEE Computer Society, Los Alamitos, CA, USA (2003)

    Google Scholar 

  30. Castelluccia, D., Mongiello, M., Ruta, M., Totaro, R.: Waver: A model checking-based tool to verify web application design. Electr. Notes Theor. Comput. Sci. 157(1), 61–76 (2006)

    Article  MATH  Google Scholar 

  31. Bellettini, C., Marchetto, A., Trentini, A.: Webuml: reverse engineering of web applications. In: SAC, pp. 1662–1669 (2004)

    Google Scholar 

  32. Wu, Y., Outt, J.: Modeling and testing web-based applications. Technical report, George Mason University (2002)

    Google Scholar 

  33. Syriani, J.A., Mansour, N.: Modeling Web Systems Using SDL. In: Yazıcı, A., Şener, C. (eds.) ISCIS 2003. LNCS, vol. 2869, pp. 1019–1026. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Information and Computer Science Department, King Fahd University of Petoleum and Minerals, Dhaharan, 31261, Saudi Arabia

    Ahmed Al-Herz & Moataz Ahmed

Authors
  1. Ahmed Al-Herz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Moataz Ahmed
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Computer Systems and Software Engineering, Universiti Malaysia Pahang, Lebuhraya Tun Razak, 26300, Gambang, Kuantan, Pahang, Malaysia

    Jasni Mohamad Zain  & Wan Maseri bt Wan Mohd  & 

  2. Information Systems Department, King Saud University, 11543, Riyadh, Saudi Arabia

    Eyas El-Qawasmeh

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Al-Herz, A., Ahmed, M. (2011). Model-Based Web Components Testing: A Prioritization Approach. In: Zain, J.M., Wan Mohd, W.M.b., El-Qawasmeh, E. (eds) Software Engineering and Computer Systems. ICSECS 2011. Communications in Computer and Information Science, vol 181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22203-0_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22203-0_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22202-3

  • Online ISBN: 978-3-642-22203-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation