|
[研究の内容]：本研究はオブジェクト指向プログラム、特にフレームワークの非局在化された意図(Delocalized Plans)の復元を最終的な目標としている。アプリケーション開発者はフレームワークのホットスポットと呼ばれる部分を拡張してアプリケーションを実装する。通常このような拡張に際してアプリケーション開発者が守るべき規則がフレームワーク毎に設定されている。フレームワークの非局在化された意図とはこの規則に他ならない。本研究では明示化されていない規則に違反したフレームワークのAPI呼び出しを副作用を手掛かりとして特定する動的解析手法を考案し、副作用の検索と可視化を行うツールのプロトタイプを実装して予備的な評価を行った。
[研究の意義]：アプリケーション開発者はフレームワークの実装に関する知識を有していないため、フレームワークアプリケーションのデバッグは一般に非常に困難である。近年フレームワークのAPI呼び出しに関する誤りを特定するための静的解析手法が研究が進められているが、オブジェクト指向プログラム特有な動的束縛や呼び出し文脈に依存する種類の誤呼び出しに対しては適用が困難である。本研究はフレームワークの実装の知識を必要とせず、かつ静的解析に基づく既存手法では対応が困難なAPI誤呼び出しにも適用可能な点に於いて大きな意義を有している。
[研究の重要性]：フレームワークの利用規則(非局在化された意図)はしばしば文書として明示化されず、誤ったAPI呼び出しが引き起こされる原因となっている。近年では殆どのソフトウェア開発でフレームワークが利用されている事から、本研究の動的解析手法は多くのソフトウェア開発現場に於ける喫緊の問題の解決に重要な役割を果たす事を確信している。
|
