データバインディングを利用した RIA UI 設計のモデル検査

• Item type: SIG Technical Reports(1)
• 公開日: 2015-07-15
• タイトル: データバインディングを利用した RIA UI 設計のモデル検査
• タイトル / 言語: en
• タイトル: Model Checking for UI Specification of RIA with Data Binding
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: NTTソフトウェアイノベーションセンタ
• 著者所属: NTTソフトウェアイノベーションセンタ
• 著者所属: NTTソフトウェアイノベーションセンタ
• 著者所属(英): en
• 著者所属(英): Nippon Telegraph and Telephone Corporation
• 著者所属(英): en
• 著者所属(英): Nippon Telegraph and Telephone Corporation
• 著者所属(英): en
• 著者所属(英): Nippon Telegraph and Telephone Corporation
• 著者名: 岩塚, 卓弥; 大島, 剛志; 榎本, 俊文
• 著者名(英): Takuya, Iwatsuka; Tsuyoshi, Oshima; Toshifumi, Enomoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: RIA はクライアントサイドスクリプトによる Web ページの部分的な書き換えによって，高い使用性を実現している．一方でページの動的な変更がクライアントサイドの設計が複雑にし，設計者が意図していない画面表示を引き起こす原因となっている．RIA の検査手法としては，アプリケーションをクローリングすることでモデルを作成し，テストを生成・実行する手法が多数提案されている．動的にモデルを作成する手法では，クライアントサイドでの表示の検査を行うためにサーパサイドを含めた実装を行う必要がある．また，アプリケーションの状態を網羅したモデルを作成するために，十分に長い時間をかけてクローリングを行わなければならない．本論文では，ページ上の表示状態をデータソースと結びつけるデータバインディングという手法を用いた RIA について，設計時にモデル検査を行うことでクライアントサイドでの不具合を発見する手法を提案する．ツールのプロトタイプを実装し，実験を行った結果を記し，その有用性を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2015-SE-189, 号 21, p. 1-6, 発行日 2015-07-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会