| 研究概要 |
本年度は主として以下の4つの課題に取り組んだ.
1.分散ソフトウェアのための開発環境:分散アスペクトの動的織り込み機構をサポートすることで,テスト環境の自動設定,モニタリングコードの追加などを可能としている.今年度は,通信遅延が大きな環境での動的織り込みの高速化をはかり,さらに千葉-函館間に分散させた環境で実証実験を行なった.
2.表明記述のスケールアップ:アスペクト指向の考え方を導入することにより,スケーラブルな表明記述を可能とする方式について研究を行っている.今年度は,昨年度までに提案した方式の有効性を示す事例研究を主に行ない,仕様記述の総行数およびモジュールあたりの行数で既存の方式より優れていることを確認した.
3.インターネットアプリケーションのための脆弱性発見手法:一昨年度からの継続テーマとして,Webアプリケーションを対象に,細粒度のテイント追跡と実行系からのフィードバックを用いた動的リクエスト生成を行うテスト手法の研究を行った.今年度は,データベース呼び出しなどのセキュリティ上重要な関数を直接または間接に呼び出す関数(ラッパー)に注目したカバレジ指標を新たに導入し,この指標に基づくテストデータ生成を行なうことで,精度をあまり犠牲にせずに実行時間を大幅に減らせることを確認した.
4.分散ハッシュテーブルの効率化:コンテンツの更新時にレプリカを効率的に同定するために二種類のメッセージ(高速高確率なヒューリスティック探索とゴシップ方式)を組み合わせて使う方式を提案し,その有効性をシミュレーションにより確認した.
|
