Semantics-based automated web testing

Hai Feng Guo; Qing Ouyang; Harvey Siy

doi:10.4204/EPTCS.188.7

Semantics-based automated web testing

Hai Feng Guo, Qing Ouyang, Harvey Siy

Computer Science

Research output: Contribution to journal › Conference article › peer-review

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.

Original language	English (US)
Pages (from-to)	59-74
Number of pages	16
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	188
DOIs	https://doi.org/10.4204/EPTCS.188.7
State	Published - Aug 14 2015
Event	11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015 - Oslo, Norway Duration: Jun 23 2015 → …

ASJC Scopus subject areas

Software

Access to Document

10.4204/EPTCS.188.7

Cite this

@article{a44a1781772b424b81b4e976dd572ff9,

title = "Semantics-based automated web testing",

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.",

author = "Guo, {Hai Feng} and Qing Ouyang and Harvey Siy",

year = "2015",

month = aug,

day = "14",

doi = "10.4204/EPTCS.188.7",

language = "English (US)",

volume = "188",

pages = "59--74",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015 ; Conference date: 23-06-2015",

}

TY - JOUR

T1 - Semantics-based automated web testing

AU - Guo, Hai Feng

AU - Ouyang, Qing

AU - Siy, Harvey

PY - 2015/8/14

Y1 - 2015/8/14

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

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

UR - http://www.scopus.com/inward/record.url?scp=84954484246&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84954484246&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.188.7

DO - 10.4204/EPTCS.188.7

M3 - Conference article

AN - SCOPUS:84954484246

SN - 2075-2180

VL - 188

SP - 59

EP - 74

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015

Y2 - 23 June 2015

ER -

Semantics-based automated web testing

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this