AOPを応用した実用的なソフトウェアモデル検査手法(検証,ソフトウェアサイエンス、理論)
スポンサーリンク
概要
- 論文の詳細を見る
本報告では,ソフトウェアモデル検査にAOPを応用して実現する実用的なソフトウェアモデル検査手法を提案する.提案手法では検査内容に応じて検査対象プログラムを選択的にスタブ化する.スタブコード・検証コード,その他,検査にのみ必要なコードは全てアスペクト側に記述し,検査対象プログラムには一切手を加えない.これにより,ソースコード改変によるリグレッションの発生と検査時の状態爆発問題の軽減を試みる.
- 2012-10-25