分散ソフトウェア用のアスペクト指向テスティングフレームワーク