| Presentation | 2015-07-23 Model Checking for UI Specification of RIA with Data Binding Takuya Iwatsuka, Tsuyoshi Oshima, Toshifumi Enomoto, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | RIAs realize a high degree of usability come from partial page rewriting by client-side scripting. Their dynamic nature increase complexity of client-side design and are caused of reaching undesired page state. To test the RIAs, many dynamic approaches are proposed. They crawls target RIAs to make models and generate test cases using the models. These require server-side implementation to testing client-side features in addition to sufficient time to crawling. In this paper, we propose static approach to verify design of data-binding based RIAs. We can verify the design of them before implementation by applying model checking to data sources of UI. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | RIA / Model Checking / Data-Binding / Web Application / Design |
| Paper # | SS2015-28,KBSE2015-21 |
| Date of Issue | 2015-07-15 (SS, KBSE) |
| Conference Information | |
| Committee | KBSE / SS / IPSJ-SE |
|---|---|
| Conference Date | 2015/7/22(3days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Tadashi Iijima(Keio Univ.) / Shoji Yuen(Nagoya Univ.) |
| Vice Chair | Shigeo Kaneda(Doshisha Univ.) / Kazuhiro Ogata(JAIST) |
| Secretary | Shigeo Kaneda(Nihon Univ.) / Kazuhiro Ogata(Osaka Univ.) / (Tokyo Inst. of Tech.) |
| Assistant | Shinpei Ogata(Shinshu Univ.) / Hiroaki Hashiura(Nippon Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Model Checking for UI Specification of RIA with Data Binding |
| Sub Title (in English) | |
| Keyword(1) | RIA |
| Keyword(2) | Model Checking |
| Keyword(3) | Data-Binding |
| Keyword(4) | Web Application |
| Keyword(5) | Design |
| 1st Author's Name | Takuya Iwatsuka |
| 1st Author's Affiliation | NIPPON TELEGRAPH AND TELEPHONE CORPORATION(NTT) |
| 2nd Author's Name | Tsuyoshi Oshima |
| 2nd Author's Affiliation | NIPPON TELEGRAPH AND TELEPHONE CORPORATION(NTT) |
| 3rd Author's Name | Toshifumi Enomoto |
| 3rd Author's Affiliation | NIPPON TELEGRAPH AND TELEPHONE CORPORATION(NTT) |
| Date | 2015-07-23 |
| Paper # | SS2015-28,KBSE2015-21 |
| Volume (vol) | vol.115 |
| Number (no) | SS-153,KBSE-154 |
| Page | pp.pp.137-142(SS), pp.137-142(KBSE), |
| #Pages | 6 |
| Date of Issue | 2015-07-15 (SS, KBSE) |