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)

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.

In Maurice H. ter Beek and Alberto Lluch Lafuente: Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), Oslo, Norway, 23rd June 2015, Electronic Proceedings in Theoretical Computer Science 188, pp. 59–74.
Published: 14th August 2015.

ArXived at: http://dx.doi.org/10.4204/EPTCS.188.7 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org