netail.net

自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．

2004-12-09 古い日記からの変換データ [長年日記] ▲

プログラム依存グラフをもとにサマリ情報を生成する処理がほぼ完成．for, while, try, if, などの制御構造＋メソッド呼び出し，フィールド参照などのテストデータを与えてサマリを生成してみたら，ほぼ結果は正しいみたい．目視確認なのがいけてないが．

JUnit とかで自動化できればいいのだが……．まだソースコードとの対応関係の取得を実装すればisDataDepends(L1, L2) のようにしてテスト関数を実装できるようになる…かも？