Semantics-based Automated Web Testing

Semantics-based Automated Web Testing

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 automa...

Full description

Bibliographic Details
Main Authors: Hai-Feng Guo, Qing Ouyang, Harvey Siy
Format: Article
Language:English
Published: Open Publishing Association 2015-08-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1508.03905v1
id doaj-36fe0632887145148e81de4c87b7886e
record_format Article
spelling doaj-36fe0632887145148e81de4c87b7886e2020-11-24T23:32:53ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802015-08-01188Proc. WWV 2015597410.4204/EPTCS.188.7:5Semantics-based Automated Web TestingHai-Feng Guo0Qing Ouyang1Harvey Siy2 University of Nebraska at Omaha University of Nebraska at Omaha 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.http://arxiv.org/pdf/1508.03905v1
collection DOAJ
language English
format Article
sources DOAJ
author Hai-Feng Guo
Qing Ouyang
Harvey Siy
spellingShingle Hai-Feng Guo
Qing Ouyang
Harvey Siy
Semantics-based Automated Web Testing
Electronic Proceedings in Theoretical Computer Science
author_facet Hai-Feng Guo
Qing Ouyang
Harvey Siy
author_sort Hai-Feng Guo
title Semantics-based Automated Web Testing
title_short Semantics-based Automated Web Testing
title_full Semantics-based Automated Web Testing
title_fullStr Semantics-based Automated Web Testing
title_full_unstemmed Semantics-based Automated Web Testing
title_sort semantics-based automated web testing
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2015-08-01
description 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.
url http://arxiv.org/pdf/1508.03905v1
work_keys_str_mv AT haifengguo semanticsbasedautomatedwebtesting
AT qingouyang semanticsbasedautomatedwebtesting
AT harveysiy semanticsbasedautomatedwebtesting
_version_ 1725532940282101760

Similar Items