| 講演名 | 2015-07-23 データバインディングを利用したRIA UI設計のモデル検査 岩塚 卓弥(NTT), 大島 剛志(NTT), 榎本 俊文(NTT), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | RIA はクライアントサイドスクリプトによる Web ページの部分的な書き換えによって,高い使用性を実 現している.一方でページの動的な変更がクライアントサイドの設計が複雑にし,設計者が意図していない画面表示 を引き起こす原因となっている.RIA の検査手法としては,アプリケーションをクローリングすることでモデルを作 成し,テストを生成・実行する手法が多数提案されている.動的にモデルを作成する手法では,クライアントサイド での表示の検査を行うためにサーバサイドを含めた実装を行う必要がある.また,アプリケーションの状態を網羅し たモデルを作成するために,十分に長い時間をかけてクローリングを行わなければならない.本論文では,ページ上 の表示状態をデータソースと結びつけるデータバインディングという手法を用いた RIA について,設計時にモデル検 査を行うことでクライアントサイドでの不具合を発見する手法を提案する.ツールのプロトタイプを実装し,実験を 行った結果を記し,その有用性を示す. |
| 抄録(英) | 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. |
| キーワード(和) | RIA / モデル検査 / データバインディング / Web アプリケーション / 設計手法 |
| キーワード(英) | RIA / Model Checking / Data-Binding / Web Application / Design |
| 資料番号 | SS2015-28,KBSE2015-21 |
| 発行日 | 2015-07-15 (SS, KBSE) |
| 研究会情報 | |
| 研究会 | KBSE / SS / IPSJ-SE |
|---|---|
| 開催期間 | 2015/7/22(から3日開催) |
| 開催地（和） | 札幌市教育文化会館 |
| 開催地（英） | |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 飯島 正(慶大) / 結縁 祥治(名大) |
| 委員長氏名（英） | Tadashi Iijima(Keio Univ.) / Shoji Yuen(Nagoya Univ.) |
| 副委員長氏名（和） | 金田 重郎(同志社大) / 緒方 和博(北陸先端大) |
| 副委員長氏名（英） | Shigeo Kaneda(Doshisha Univ.) / Kazuhiro Ogata(JAIST) |
| 幹事氏名（和） | 松野 裕(日大) / 中川 博之(阪大) / 小林 隆志(東工大) / 鷲崎 弘宜(早大) |
| 幹事氏名（英） | Yutaka Matsuno(Nihon Univ.) / Hiroyuki Nakagawa(Osaka Univ.) / Takashi Kobayashi(Tokyo Inst. of Tech.) / Hironobu Washizaki(Waseda Univ.) |
| 幹事補佐氏名（和） | 小形 真平(信州大) / 橋浦 弘明(日本工大) / 肥後 芳樹(阪大) |
| 幹事補佐氏名（英） | Shinpei Ogata(Shinshu Univ.) / Hiroaki Hashiura(Nippon Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | データバインディングを利用したRIA UI設計のモデル検査 |
| サブタイトル（和） | |
| タイトル（英） | Model Checking for UI Specification of RIA with Data Binding |
| サブタイトル（和） | |
| キーワード(1)（和/英） | RIA / RIA |
| キーワード(2)（和/英） | モデル検査 / Model Checking |
| キーワード(3)（和/英） | データバインディング / Data-Binding |
| キーワード(4)（和/英） | Web アプリケーション / Web Application |
| キーワード(5)（和/英） | 設計手法 / Design |
| 第 1 著者 氏名（和/英） | 岩塚 卓弥 / Takuya Iwatsuka |
| 第 1 著者 所属（和/英） | 日本電信電話株式会社(略称：NTT) NIPPON TELEGRAPH AND TELEPHONE CORPORATION(略称：NTT) |
| 第 2 著者 氏名（和/英） | 大島 剛志 / Tsuyoshi Oshima |
| 第 2 著者 所属（和/英） | 日本電信電話株式会社(略称：NTT) NIPPON TELEGRAPH AND TELEPHONE CORPORATION(略称：NTT) |
| 第 3 著者 氏名（和/英） | 榎本 俊文 / Toshifumi Enomoto |
| 第 3 著者 所属（和/英） | 日本電信電話株式会社(略称：NTT) NIPPON TELEGRAPH AND TELEPHONE CORPORATION(略称：NTT) |
| 発表年月日 | 2015-07-23 |
| 資料番号 | SS2015-28,KBSE2015-21 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | SS-153,KBSE-154 |
| ページ範囲 | pp.137-142(SS), pp.137-142(KBSE), |
| ページ数 | 6 |
| 発行日 | 2015-07-15 (SS, KBSE) |