netail.net
自作フリーソフトや,ゲームに関する雑記を公開してます.
日記はソフトウェア工学の論文ネタが中心です.
最近のお知らせ (古いものはこちら)
2004-05-18 古い日記からの変換データ [長年日記] ▲
_ Eclipse ▲
コールグラフ構築を手抜きできないかなーと調べていたらCall Hierarchy Plugin なんてものがあるらしい.
@ITで紹介されていたのでちょっとびっくり.http://www.atmarkit.co.jp/fjava/javatips/009eclipse006.html
_ 論文 ▲
輪講で説明された論文.
Brian Demsky, Martin Rinard:Role-Based Exploration of Object-Oriented Programs.ICSE 2002.
オブジェクトの役割(Role)は「どのオブジェクトから参照されていて,どのオブジェクトを参照しているか」によって決まるだろう,という仮定に基づいて,動的解析の結果からRole の変化を見つけ,状態遷移図を構築する.
アイディアは面白い.類似したアプローチに,メソッド呼び出しの前後を仮に状態とみなして有限オートマトンを構築する,というものがあるが,こちらはオブジェクト間の関係を用いている.
同一のクラスでも,利用されているコンテキストによってRole が区別されることになるので,色々なクラスから利用されるタイプのライブラリ的なクラスを取り扱う場合に意味がありそう.