netail.net

_ [論文] AOASIA2006関連その３：アスペクトの影響の解析 ▲

アスペクトを持ってきたらその影響がすぐ調べられる，というような開発支援環境ができたらうれしいなぁ，というようなことを Guenter Kniesel は言っていました．

アスペクトの影響を調べるというのでは，ワークショップのほうでは，アスペクトのウィービング後に成り立っているべき振る舞いを検証する COW （Shinotsuka, S. et al.: An Extensible Contract Verifier for AspectJ）が該当しているかと思います．私はなぜか weaver の実装が正しいことを検証するためのツールだと勘違いしていたのですが……．

うまく発展させれば，「ポイントカットが変なところにもマッチしている」とか，「アスペクト貼り付ける先のメソッドが，元々思っていたような振る舞いをしてなかった」というようなエラーを回避できるんではないかと思います．あんまりちゃんと論文読んでないんで嘘書いてるかもしれませんが．

アスペクトのウィービング前後で特定の性質が保存されていることを検証できるかどうか，というあたりの問題は，ウィービングもプログラム改変操作の一種だと考えれば，たとえばリファクタリング作業の結果プログラムを壊してないか調べるとかいった方面への適用（「動いてるコードは怖くて触れない」問題の軽減とか）もできそうで，実は大事なところなのかもしれない，と思います．道は遠そうなんですけど，まあ，何か思いつくようなら次回の AOSD あたりで誰かを捕まえます :)