インタラクションに着目したステートマシン抽出によるRich Internet Applicationsの欠陥発見の支援

• Item type: Journal(1)
• 公開日: 2013-02-15
• タイトル: インタラクションに着目したステートマシン抽出によるRich Internet Applicationsの欠陥発見の支援
• タイトル / 言語: en
• タイトル: Supporting to Find Faults in Rich Internet Applications by Extracting Interaction-based State Machines
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集：ソフトウェア工学] Rich Internet Applications，Ajax，リバースエンジニアリング，静的解析
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京大学
• 著者所属: 早稲田大学／国立情報学研究所GRACEセンター
• 著者所属: 東京大学／国立情報学研究所
• 著者所属(英): en
• 著者所属(英): The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Waseda University / NII GRACE Center
• 著者所属(英): en
• 著者所属(英): The University of Tokyo / National Institute of Informatics
• 著者名: 前澤悠太; 鷲崎, 弘宜; 本位田真一
• 著者名(英): Yuta, Maezawa; Hironori, Washizaki; Shinichi, Honiden
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Rich Internet Applications（RIAs）は，Ajaxを代表とする非同期技術により応答性を向上させている．RIAsの開発や保守において，開発者はその複雑な振舞いを把握しにくい．これはユーザ操作といった非決定的な要素が関わるためである．RIAsの振舞い理解や欠陥発見の支援のために，その実行結果からステートマシンを抽出する研究が行われている．しかし，得られる実行結果は開発者が用意する実行シナリオや環境の範囲内に限られる．そこで，本研究ではRIAsの状態を変化させるインタラクションに着目し，AjaxベースのRIAsからステートマシンを静的に抽出するツールを提案する．得られるステートマシンとソースコードを見比べることで，開発者は盲点となる実行パスも含めてRIAsの振舞いを確かめられる．評価実験の結果から，本ツールが被験者に対してRIAsの振舞い理解を支援し，欠陥発見に役立つことを確認した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Asynchronous technologies such as Ajax make Rich Internet Applications (RIAs) responsive. When implementing and maintaining RIAs, developers have difficulties in figuring out complex behavior of the applications due to nondeterministic elements such as user events. Several researches have conducted to extract state machines based on execution results of Ajax applications for understanding support and testing. However, these execution results are within a limit of execution scenarios and environments prepared by developers. In this paper, we propose a tool that statically extracts state machines from Ajax-based RIAs by focusing on interactions with RIAs. We argue that the interactions can change the states of the application. Looking at both the extracted state machines and the source code, developers can verify the correctness of certain blind spots in the execution paths. From experimental results, we concluded that our tool could help participants understand the behavior and find faults.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 54, 号 2, p. 820-834, 発行日 2013-02-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764