Rich Internet Applications（RIAs）は，Ajaxを代表とする非同期技術により応答性を向上させている．RIAsの開発や保守において，開発者はその複雑な振舞いを把握しにくい．これはユーザ操作といった非決定的な要素が関わるためである．RIAsの振舞い理解や欠陥発見の支援のために，その実行結果からステートマシンを抽出する研究が行われている．しかし，得られる実行結果は開発者が用意する実行シナリオや環境の範囲内に限られる．そこで，本研究ではRIAsの状態を変化させるインタラクションに着目し，AjaxベースのRIAsからステートマシンを静的に抽出するツールを提案する．得られるステートマシンとソースコードを見比べることで，開発者は盲点となる実行パスも含めてRIAsの振舞いを確かめられる．評価実験の結果から，本ツールが被験者に対してRIAsの振舞い理解を支援し，欠陥発見に役立つことを確認した．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.