Auto-generating test sequences for web applications

Authors:
Hongwei Zeng;Huaikou Miao
Affiliations:
School of Computer Engineering and Science, Shanghai University, China;School of Computer Engineering and Science, Shanghai University, China
Venue:
ICWE'07 Proceedings of the 7th international conference on Web engineering
Year:
2007

Citing 4
Cited 1

Using model checking to generate tests from requirements specifications

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Testing Processes of Web Applications

Annals of Software Engineering
An Object-Oriented Web Test Model for Testing Web Applications

APAQS '00 Proceedings of the The First Asia-Pacific Conference on Quality Software (APAQS'00)
A Model Checking-based Method for Verifying Web Application Design

Electronic Notes in Theoretical Computer Science (ENTCS)

Concept analysis based approach to statistical web testing

Theories of Programming and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a formal model, representing the navigation behavior of a Web application as the Kripke structure, and an approach to test generation. The behavior model can be constructed from the object structure of a Web application and then a set of test sequences is derived automatically from the behavior model with respect to some coverage criteria for the object structure by using the model checking's capability to construct counter-examples.