AOPを応用した実用的なソフ卜ウェアモデル検査手法

摘要

本報告では，ソフトウェアモデル検査にAOPを応用して実現する実用的なソフトウェアモデル検査手法を提案する.提案手法では検査内容に応じて検査対象プログラムを選択的にスタブ化する.スタブコード·検証コード，その他，検査にのみ必要なコードは全てァスぺグト側に記述し，検査対象プログラムには一切手を加えない.これにより，ソースコード改変によるリグレッションの発生と検査時の状態爆発問題の軽減を試みる.%In this paper, we propose a practical method for software model checking using AOP (Aspect Oriented Programming). The proposed method provides selective code insertion/replacement for each test case. We do not make any changes in the original program. Code required only at testing, such as stub or assertion, is implemented on the aspect side. The method contributes to reducing regression and state explosion.