| Project/Area Number |
15500018
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | TOKYO INSTITUTE OF TECHNOLOGY |
|---|
Principal Investigator |
TOKUDA Takehiro Tokyo Institute of Technology, Graduate School of Information Science and Engineering, Professor, 大学院・情報理工学研究科, 教授 (30111644)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
SUZUKI Tetsuya Tokyo Institute of Technology, Graduate School of Information Science and Engineering, Research Associate, 大学院・情報理工学研究科, 助手 (00323824)
|
|---|
| Project Period (FY) |
2003 – 2004
|
| Project Status |
Completed (Fiscal Year 2004)
|
| Budget Amount *help |
¥3,800,000 (Direct Cost: ¥3,800,000)
Fiscal Year 2004: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 2003: ¥2,600,000 (Direct Cost: ¥2,600,000)
|
|---|
| Keywords | World Wide Web / Web applications / static semantic checking |
|---|
| Research Abstract |
Web applications are widely used on the Internet and Web applications at various Web sites such as search engine sites, portal sites and online shopping sites, are indispensable to our daily life. Unfortunately Web applications are not easy to guarantee the consistency and security in general.
We developed a method for checking of static semantics of Web applications. Unlike ordinary standalone programs, the overall behavior of Web applications may be extremely difficult to understand. This is because Web applications may be regarded as a series of independently executed programs performing a number of side effects under the unpredictable control requests of Web browsers. Our checking method of static semantics is based on the enumeration of the set of possible action sequences of a given Web page in Web applications. This method allows us to check semantic relationships such as definition-use relationships of values and connectivity relationships of hidden field values.
|
