講演抄録/キーワード |
講演名 |
2015-07-23 16:50
データバインディングを利用したRIA UI設計のモデル検査 ○岩塚卓弥・大島剛志・榎本俊文(NTT) SS2015-28 KBSE2015-21 |
抄録 |
(和) |
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 / / / |
文献情報 |
信学技報, vol. 115, no. 153, SS2015-28, pp. 137-142, 2015年7月. |
資料番号 |
SS2015-28 |
発行日 |
2015-07-15 (SS, KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2015-28 KBSE2015-21 |
研究会情報 |
研究会 |
KBSE SS IPSJ-SE |
開催期間 |
2015-07-22 - 2015-07-24 |
開催地(和) |
札幌市教育文化会館 |
開催地(英) |
|
テーマ(和) |
一般 |
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
SS |
会議コード |
2015-07-KBSE-SS-SE |
本文の言語 |
日本語 |
タイトル(和) |
データバインディングを利用した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 |
キーワード(6)(和/英) |
/ |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第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) |
第4著者 氏名(和/英/ヨミ) |
/ / |
第4著者 所属(和/英) |
(略称: )
(略称: ) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2015-07-23 16:50:00 |
発表時間 |
30分 |
申込先研究会 |
SS |
資料番号 |
SS2015-28, KBSE2015-21 |
巻番号(vol) |
vol.115 |
号番号(no) |
no.153(SS), no.154(KBSE) |
ページ範囲 |
pp.137-142 |
ページ数 |
6 |
発行日 |
2015-07-15 (SS, KBSE) |
|