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

摘要

RIAはクライアントサイドスクリプトによるWebページの部分的な書き換えによって，高い使用性を実現している．一方でページの動的な変更がクライアントサイドの設計が複雑にし，設計者が意図していない画面表示を引き起こす原因となっている．RIAの検査手法としては，アプリケーションをクローリングすることでモデルを作成し，テストを生成·実行する手法が多数提案されている．動的にモデルを作成する手法では，クライアントサイドでの表示の検査を行うためにサーバサイドを含めた実装を行う必要がある．また，アプリケーションの状態を網羅したモデルを作成するために，十分に長い時間をかけてクローリングを行わなければならない．本論文では，ページ上の表示状態をデータソースと結びつけるデータバインディングという手法を用いたRIAについて，設計時にモデル検査を行うことでクライアントサイドでの不具合を発見する手法を提案する．ツールのプロトタイプを実装し，実験を行った結果を記し，その有用性を示す．