By Topic

Test Generation for Web Applications Using Model-Checking

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Liping Li ; Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai, China ; Huaikou Miao ; Shengbo Chen

This paper proposes a new model checking-based test generation approach for Web applications. The Kripke structure is reconstructed to model the Web application from the end users' perspective. Test coverage criterion is expressed as trap properties in CTL so that counterexamples can be instantiated to construct test cases. But a counterexample for each trap property is generated will result in too many redundant test cases. So, a test deduction rule and an algorithm based on the greedy heuristic are given to resolve this problem. The test sequences finally generated are those satisfy the coverage criterion and have no redundancy. Throughout the paper, a typical small case study of the WGVS (Web Grade View System) is used to illustrate our approach. This approach presented can help to generate test sequences automatically for Web application and it is a significance complement to the model checking test generation.

Published in:

Software Engineering Artificial Intelligence Networking and Parallel/Distributed Computing (SNPD), 2010 11th ACIS International Conference on

Date of Conference:

9-11 June 2010