Semantics-based Automated Web Testing

被引：0

作者：

Guo, Hai-Feng ^{[1
]}

Ouyang, Qing ^{[1
]}

Siy, Harvey ^{[1
]}

机构：

[1] Univ Nebraska, Dept Comp Sci, Omaha, NE 68182 USA

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2015年 / 188期

关键词：

D O I：

10.4204/EPTCS.188.7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：59 / 74

页数：16

共 16 条

[1]

Andrews A, 2005, SOFTWARE SYSTEMS MOD, V4, P326, DOI DOI 10.1007/S10270-004-0077-7

[2]

[Anonymous], SEL BROWS AUT

[3] Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking [J].