Model-Based Web Components Testing: A Prioritization Approach

作者: Ahmed Al-Herz , Moataz Ahmed

DOI: 10.1007/978-3-642-22203-0_3

关键词: PrioritizationModel-based testingComputer scienceWeb testingTest caseSet (abstract data type)Task (project management)Web applicationSoftware engineering

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

参考文章(44)
J. Staunstrup, Design Specification and Verification Unknown. pp. 193- 233 ,(1997) , 10.1007/978-1-4757-2649-7_6
Michael Benedikt, Juliana Freire, Patrice Godefroid, VeriWeb: Automatically Testing Dynamic Web Sites ,(2002)
Luca de Alfaro, Model Checking the World Wide Web computer aided verification. pp. 337- 349 ,(2001) , 10.1007/3-540-44585-4_31
Joe Abboud Syriani, Nashat Mansour, Modeling Web systems using SDL international symposium on computer and information sciences. pp. 1019- 1026 ,(2003) , 10.1007/978-3-540-39737-3_126
Michael Randolph Garey, David S. Johnson, A guide to the theory of np-completeness ,(1978)
Marco Winckler, Philippe Palanque, StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications Lecture Notes in Computer Science. pp. 61- 76 ,(2003) , 10.1007/978-3-540-39929-2_5
May Haydar, Alexandre Petrenko, Houari Sahraoui, Formal Verification of Web Applications Modeled by Communicating Automata formal techniques for networked and distributed systems. pp. 115- 132 ,(2004) , 10.1007/978-3-540-30232-2_8
Rajeev Alur, Kousha Etessami, P. Madhusudan, A Temporal Logic of Nested Calls and Returns tools and algorithms for construction and analysis of systems. ,vol. 2988, pp. 467- 481 ,(2004) , 10.1007/978-3-540-24730-2_35