AOPを応用した実用的なソフトウェアモデル検査手法
スポンサーリンク
概要
- 論文の詳細を見る
本報告では,ソフトウェアモデル検査に AOP を応用して実現する実用的なソフトウェアモデル検査手法を提案する.提案手法では検査内容に応じて検査対象プログラムを選択的にスタブ化する.スタブコード・検証コード,その他,検査にのみ必要なコードは全てアスペクト側に記述し,検査対象プログラムには一切手を加えない.これにより,ソースコード改変によるリグレッションの発生と検査時の状態爆発問題の軽減を試みる.
- 2012-10-25
著者
関連論文
- 抽象化を用いた検証ツール(システム検証の科学技術)
- 時相論理の充足可能性判定器のための論理式生成法(計算モデル,フォーマルアプローチ論文)
- BDDを用いた2方向CTL論理式充足可能性決定手続きの実装(サイバー増大ページ論文概要,サイバー増大号)
- AOPを応用した実用的なソフトウェアモデル検査手法
- AOPを応用した実用的なソフトウェアモデル検査手法(検証,ソフトウェアサイエンス、理論)