基于语义的自动化Web测试

International Workshop on Automated Specification and Verification of Web Sites Pub Date : 2015-08-14 DOI:10.4204/EPTCS.188.7

Hai-Feng Guo, Ouyang Qing, Harvey P. Siy

{"title":"基于语义的自动化Web测试","authors":"Hai-Feng Guo, Ouyang Qing, Harvey P. Siy","doi":"10.4204/EPTCS.188.7","DOIUrl":null,"url":null,"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.","PeriodicalId":233765,"journal":{"name":"International Workshop on Automated Specification and Verification of Web Sites","volume":"91 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Semantics-based Automated Web Testing\",\"authors\":\"Hai-Feng Guo, Ouyang Qing, Harvey P. Siy\",\"doi\":\"10.4204/EPTCS.188.7\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":233765,\"journal\":{\"name\":\"International Workshop on Automated Specification and Verification of Web Sites\",\"volume\":\"91 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-08-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Workshop on Automated Specification and Verification of Web Sites\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.188.7\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Workshop on Automated Specification and Verification of Web Sites","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.188.7","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

我们提出了TAO，一个基于语义方法执行自动化测试和oracle生成的软件测试工具。TAO使用指称语义框架将基于语法的测试生成与自动语义评估结合在一起。我们展示了如何将TAO与Selenium自动化工具结合起来进行自动化web测试，以及如何进一步扩展TAO以支持自动化增量调试，在这种调试中，失败的web测试脚本可以基于语法导向策略系统地减少。本文采用了一个现实生活中的停车网站来证明我们基于语义的web测试方法的有效性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Workshop on Automated Specification and Verification of Web Sites

自引率

0.00%

发文量