Rigorous and Automatic Testing of Web Applications

1
Rigorous and Automatic Testing of Web
Applications

• Xiaoping Jia
• Hongming Liu

2
Rigorous and Automatic Testing of Web Applications

• Introduction
• Our Approach
• Test Specification
• A Prototype Tool
• Conclusion and Future Work

3
Introduction

• Web application testing issues
• Limitation of current commercial tools
• Use Formal Methods in our WebTest approach

4
Our Approach

• Focus on Web application functionality, security
  and performance
• Uses formal specification in XML syntax as input
• A test engine takes the input and perform test
  automatically
• A prototype tools

5
Our Approach
WEBTEST Approach Overview
6
Scope of testing

• Functionality
• Security
• Performance

7
Example Logon page check
lttestsuitegt lttestcase nameLogon Page Testgt
ltteststep namelogon page test step one gt
ltrequest urlhttp//jordan.cs.depaul.edu/webtest
/test.htmgt ltparameter namename
valueJordan/gt ltparameter
namepassword valuewrongpassword/gt
lt/requestgt ltresponsegt ltmatch
opcontains regexpfalse
select/html/body valueLogon Failed/gt
lt/responsegt lt/teststepgt ltteststep
namelogon page test step two gt ltrequest
urlhttp//jordan.cs.depaul.edu/webtest/test.htm
gt ltparameter namename
valueJordan/gt ltparameter
namepassword valuerightpassword/gt
lt/requestgt ltresponsegt ltmatch
opcontains regexpfalse
select/html/body valueLogon Successfully/gt
lt/responsegt lt/teststepgt
lt/testcasegt lt/testsuitegt
8
A Prototype Tool
Implementation of WebTest
9
Loading test specification
10
Generate test runner
11
Run test
12
Conclusion and Future Work

• Our approach can test functionality, security and
  performance of Web application rigorously and
  automatically.
• Continue development of XML grammar for test
  specifications
• Continue development of WebTest tool applying our
  approach

13
More information

• Project site http//jordan.cs.depaul.edu/research
  /
• -- Paper, presentation, download
• Contact Jordan_at_cs.depaul.edu