Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/SNPD.2010.43 | SNPD |
Keywords | Field | DocType |
web applications,trap property,test coverage criterion,model checking-based test generation approach,test case,software quality,program testing,styling,model checking,counterexample,test cases,new model,model checking test generation,test deduction rule,web grade view system,greedy algorithms,test sequences,internet,web application,test generation,redundant test case,program verification,checking-based test generation approach,greedy heuristic algorithm,kripke structure,software engineering,artificial intelligence,greedy heuristic,satisfiability,logic,computer networks,testing,web pages,test coverage,concurrent computing,application software,redundancy,computational modeling,software testing,distributed computing | Code coverage,Kripke structure,Automatic test pattern generation,Model checking,Web page,Computer science,Greedy algorithm,Theoretical computer science,Artificial intelligence,Test case,Web application,Machine learning | Conference |
ISBN | Citations | PageRank |
978-1-4244-7421-9 | 0 | 0.34 |
References | Authors | |
8 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Liping Li | 1 | 177 | 36.54 |
Huaikou Miao | 2 | 451 | 68.03 |
Shengbo Chen | 3 | 164 | 14.26 |