Web Modeling Language (WebML): a modeling language for designing Web sites
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Analysis and testing of Web applications
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Model-driven design and deployment of service-enabled web applications
ACM Transactions on Internet Technology (TOIT)
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Testing Web-based applications: The state of the art and future trends
Information and Software Technology
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Modelling methods for web application verification and testing: state of the art
Software Testing, Verification & Reliability
Using spin to generate tests from ASM specifications
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A model-driven process for engineering a toolset for a formal method
Software—Practice & Experience
Test generation for sequential nets of abstract state machines
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Hi-index | 0.00 |
The increasing diffusion and importance of Web Applications has led to strict requirements in terms of continuity of the service, because their unavailability can lead to severe economic losses. Techniques to assure the quality of these applications are thus needed in order to identify in advance possible faults. Model-driven approaches to the testing of Web Applications can provide developers with a way of checking the conformance of the actual Web Application with respect to the model built from the requirements. These approaches can be used to automatically generate from the model a set of test cases satisfying certain coverage criteria, and thus can be integrated in a classical test driven development process. In this paper we present an automated technique for Web Application testing using a model-driven approach. We present a way of modeling Web Applications by Abstract State Machines (ASMs), and a process for generating automatically from the model a concrete test suite that is executed on the Web Application under test in order to check the conformance between the application and the model.