プログラム依存グラフを用いたアスペクトの干渉検出
スポンサーリンク
概要
- 論文の詳細を見る
アスペクト指向プログラミングでは,特定の処理とその処理を実行させる時点の条件を,クラスとは独立してアスペクトに記述する.これは関心事を分離するという点で有用だが,処理の流れが明示的でないため,実際の動作が把握しづらくプログラムが予想通りに動作しないことが起こる.本論文では,アスペクト指向言語AspectJに焦点をあて.同一時点に関連付けられたアスペクトに対して,実行順序の違いによって発生する干渉の検出を自動化する手法を提案する.この手法では,まず,アスペクトを任意の順序で織り込むことで得られる複数のソースコードを静的に解析し,プログラム依存グラフを作成する.次に,干渉が発生する可能性を,プログラム依存グラフによるプログラムの等価性判定を用いて検査する.提案手法を用いることによって,エラーの混入を防ぐことができる.
- 2006-07-10
著者
関連論文
- プログラム依存グラフを用いたアスペクトの干渉検出ツールの実装(動向/テスト/ツール)
- プログラム依存グラフを用いたアスペクトの干渉検出
- 利便性の高いリファクタリングの取り消しメカニズム(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
- 特集「ソフトウェア工学」の編集にあたって
- 「ソフトウェア工学特集」のレター論文掲載開始にあたって
- 第21回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告
- ソフトウェアパターン研究の発展経緯と最近の動向(ソフトウェア工学の動向報告)
- 脆弱性に関する影響の可能性を警告するリファクタリング
- XMLを用いた統合開発環境の柔軟な機能拡張(ソフトウェア工学)
- 追跡性を考慮したソースコード差分の抽出
- ソフトウェアエンジニアリングシンポジウム2010開催報告
- 第30回ソフトウェア工学国際会議(ICSE2008)参加報告(報告)
- ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
- プログラム依存グラフの等価性に基づくアスペクトの干渉検出
- 第14回アジア太平洋ソフトウェア工学国際会議(APSEC 2007)開催および参加報告(動向・報告(一般セッション))
- オブジェクト指向2001シンポジウム
- オブジェクト指向シンポジウム2001報告
- セキュリティパターン技術に関する研究動向
- セキュリティパターン技術に関する研究動向(検証/セキュリティ)
- 第27回ソフトウェア工学国際会議(ICSE2005)参加報告(会議報告)
- プログラム変更支援のための再利用コンテキスト収集ツール
- 5L-3 Webサービスを利用したプログラム開発環境(プログラミング支援環境,学生セッション,ソフトウェア科学・工学)
- 開発者による編集操作に基づくソースコード変更抽出
- 3. 日本のソフトウェア工学の今と未来(ソフトウェア工学温故知新)
- ユーザビリティ改善に向けたフィードバック機構の妥当性検査(動向/テスト/ツール)
- 追跡性を考慮したソースコード変更の抽出(学生セッション H_開発支援)
- 情報フローを取り入れたSecurity-Aware Refactoring
- 情報フローを取り入れた Security-Aware Refactoring
- JavaプログラムのXML表現を用いたConcurrency Design Patternの検出
- コンポーネントインタフェースにおける契約デザインの整合性検証
- XMLを用いた拡張性の高いリファクタリングツール(ソフトウェア開発環境・開発支援システム, システム開発論文)
- クラス間関係の簡約によるフレームワークの視覚化
- 基本ブロックスライシングを用いたメソッド抽出リファクタリング(オブジェクト指向技術)
- 第27回ソフトウエアエ学の自動化国際会議(ASE2012)参加報告
- ウィンターワークショップ2012・イン・琵琶湖開催報告
- ソフトウェア進化研究の分類と動向
- 特集「ソフトウェア工学」の編集にあたって
- ウィンターワークショップ2012・イン・琵琶湖開催報告 (ソフトウェアサイエンス)
- 第27回ソフトウェア工学の自動化国際会議(ASE 2012)参加報告 (ソフトウェアサイエンス)
- 特集「ソフトウェア工学」の編集にあたって
- CodeForest: ソフトウェア構造・特性・依存の視覚化によるプログラム理解支援
- ソフトウェア進化研究に関する動向調査 : IWPSEシリーズを題材に
- メソッド呼び出しの分類によるAPIの利用パターンのマイニング
- 脆弱性に関する影響の可能性を警告するリファクタリング (特集 未来志向のソフトウェア工学)
- ウィンターワークショップ2012・イン・琵琶湖開催報告(報告,ソフトウェアサイエンス、理論)
- 第27回ソフトウェア工学の自動化国際会議(ASE2012)参加報告(報告,ソフトウェアサイエンス、理論)
- 一時変数除去の自動化によるメソッドの抽出リファクタリング支援
- 一時変数除去の自動化によるメソッドの抽出リファクタリング支援
- CodeForest : ソフトウェア構造・特性・依存の視覚化によるプログラム理解支援
- ソフトウェア進化研究に関する動向調査IWPSEシリーズを題材に
- 特集「ソフトウェア工学」の編集にあたって
- メソッド呼び出しの分類によるAPIの利用パターンのマイニング