研究概要 |
本年度は以トの4つの課題に取り組んた スケーラブルなソフトウェアのための開発環境:昨年度から研究を続けている分散アスペクト指向に基づく分散アプリケーション開発環境の完成度を高めた.今年度は特に,実行時に動的にアスペクトを織り込む機能を実現し,動的なソフトウェア更新を可能とした.そして,本特定領域の共通プラットフォームであるInTrigger上での実験を行った. スケーラブルな表明記述とその応用:昨年度から研究を続けているアスペクト指向に基づく表明記述方式を発展させ,複数の分散コンポーネント間のインタクションに関する性質を表現可能とするために,表明中でプロトコル記述を可能とする方式を提案した。 Webアプリケーションのためのスケーラブルなテスト環境:Webアプリケーションの脆弱性テストを自動化する方式を考案し,その有効性を示す実験を行った.入力データ生成の自動化めためには,Fuzzingを用いて種を生成し,ヒューリスティツク探索によりカバレージを向上させた.これに,細粒度テイント追跡を組み合わせることでテスト過程全体の目動化を可能とした. スケーラブルなオーバレイネットワークを用いたミラーサーバ:Flash Crowdsに耐える情報配信のために.オーバレイネットワークを用い,負荷変動に応じて自動的にレプリカの生成・削除を行う方式を提案し,シミュレーションによりその有効性を検証した.ネットワーク上での距離を反映したレプリカの配置,仮想マシンを用いたサーバの自動的な配備などに特徴がある.
|