DHTML的自动验证工具

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) Pub Date : 2006-09-18 DOI:10.1109/ASE.2006.21

T. Tateishi, Hisashi Miyashita, K. Ono, Shin Saito

{"title":"DHTML的自动验证工具","authors":"T. Tateishi, Hisashi Miyashita, K. Ono, Shin Saito","doi":"10.1109/ASE.2006.21","DOIUrl":null,"url":null,"abstract":"Automated verification for client-side programs of DHTML applications has become necessary. This is because DHTML applications are increasingly complicated in order to enhance the functionality and usability of dynamic Web content. We are therefore motivated to create a tool for automatically verifying a JavaScript program of a DHTML application against a specification describing the page flows. The verification is based on a type inference technique focusing on DOM updates","PeriodicalId":403196,"journal":{"name":"21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Automated Verification Tool for DHTML\",\"authors\":\"T. Tateishi, Hisashi Miyashita, K. Ono, Shin Saito\",\"doi\":\"10.1109/ASE.2006.21\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Automated verification for client-side programs of DHTML applications has become necessary. This is because DHTML applications are increasingly complicated in order to enhance the functionality and usability of dynamic Web content. We are therefore motivated to create a tool for automatically verifying a JavaScript program of a DHTML application against a specification describing the page flows. The verification is based on a type inference technique focusing on DOM updates\",\"PeriodicalId\":403196,\"journal\":{\"name\":\"21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)\",\"volume\":\"21 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-09-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ASE.2006.21\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ASE.2006.21","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

DHTML应用程序的客户端程序的自动验证已经成为必要。这是因为为了增强动态Web内容的功能和可用性，DHTML应用程序变得越来越复杂。因此，我们有动机创建一个工具，用于根据描述页面流的规范自动验证DHTML应用程序的JavaScript程序。验证基于关注DOM更新的类型推断技术

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

查看原文本刊更多论文

Automated Verification Tool for DHTML

Automated verification for client-side programs of DHTML applications has become necessary. This is because DHTML applications are increasingly complicated in order to enhance the functionality and usability of dynamic Web content. We are therefore motivated to create a tool for automatically verifying a JavaScript program of a DHTML application against a specification describing the page flows. The verification is based on a type inference technique focusing on DOM updates

求助全文

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

来源期刊

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)

自引率

0.00%

发文量