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...
Main Authors: | , , |
---|---|
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 |