<< Combining Type-Based Analysis and Model Checking for Finding Counterexamples Against Non-Interference | ホーム | Korset: Automated, Zero False-Alarm Intrusion Detection for Linux >>

動的解析によるWebアプリケーション・モデル抽出支援手法

HTTPリクエスト・レスポンスに着目した動的解析によって Web アプリケーションの振舞いを MVC ベースのモデルとして抽出する手法の提案。HTTP レスポンス中の HTML を類似しているグループに分類、グループ間の遷移関係を解析、開発者が手を加えながら MVC に落とす、の 3 段階。HTTP しか見ないから View の構築もテンプレート抽出、繰り返し発見とかいろいろがんばるみたい。ツールとして実装して実験して有効性を確認。

author="安部 麻里 and 福田 健太郎 and 堀 雅洋 and 田井 秀樹 and 根路銘 崇 and 小野 康一 and 大野 義夫",
title="{動的解析によるWebアプリケーション・モデル抽出支援手法}",
journal="情報処理学会論文誌",
volumn="46",
number="3",
pages="683--693",
year="2005"

タグ : ,



コメント追加 トラックバック送信