Semantics-based Automated Web Testing
Hai-Feng Guo (University of Nebraska at Omaha), Qing Ouyang, (University of Nebraska at Omaha), Harvey Siy (University of Nebraska at, Omaha)
TL;DR
This paper introduces TAO, a semantics-based web testing tool that automates test and oracle generation, integrates with Selenium, and supports delta debugging to improve web application testing efficiency.
Contribution
The paper presents TAO, a novel semantics-based testing framework that combines grammar-based test generation with automated semantics evaluation and delta debugging for web testing.
Findings
Effective testing on a real parking website
Seamless integration with Selenium
Successful delta debugging of failing tests
Abstract
We present TAO, a software testing tool performing automated test and oracle generation based on a semantic approach. TAO entangles grammar-based test generation with automated semantics evaluation using a denotational semantics framework. We show how TAO can be incorporated with the Selenium automation tool for automated web testing, and how TAO can be further extended to support automated delta debugging, where a failing web test script can be systematically reduced based on grammar-directed strategies. A real-life parking website is adopted throughout the paper to demonstrate the effectivity of our semantics-based web testing approach.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.