Rigorous and Automatic Testing of Web Applications
Xiaoping Jia Hongming Liu
Rigorous and Automatic Testing of Web Applications Introduction Our Approach Test Specification A Prototype Tool Conclusion and Future Work
Introduction
Web application testing issues Limitation of current commercial tools
Use Formal Methods in our WebTest approach
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
Our Approach
Web Applications to test
Test Specification (XML)
Test Engine (Web Client)
Generates
Test Report
WEBTEST Approach Overview
Scope of testing
• • •
Functionality Security Performance
Example Logon page check
A Prototype Tool
Test Engine
Test Specification XML File
Test Generator
Test Runner
Test Report
SAX
DOM
HttpUnit
JUnit
Implementation of WebTest
Loading test specification
Generate test runner
Run test
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
– –
More information
Project site: http://jordan.cs.depaul.edu/research/ -- Paper, presentation, download Contact: Jordan@cs.depaul.edu