DocumentCode
2770299
Title
Automated Verification Tool for DHTML
Author
Tateishi, Takaaki ; Miyashita, Hisashi ; Ono, Kouichi ; Saito, Shin
Author_Institution
Tokyo Res. Lab., IBM Japan, Tokyo
fYear
2006
fDate
18-22 Sept. 2006
Firstpage
363
Lastpage
364
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
Keywords
Internet; client-server systems; formal specification; hypermedia markup languages; reasoning about programs; type theory; DHTML applications; JavaScript program verification; automated verification tool; client-side programs; document object model; dynamic Web content; type inference; Computer languages; Inference algorithms; Java; Laboratories; Logic; Pattern matching; Testing; Transducers; Tree data structures; Usability;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on
Conference_Location
Tokyo
ISSN
1938-4300
Print_ISBN
0-7695-2579-2
Type
conf
DOI
10.1109/ASE.2006.21
Filename
4019610
Link To Document