netail.net
自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．
最近のお知らせ (古いものはこちら)
2004-11-16 古い日記からの変換データ [長年日記] ▲
_ [論文]モデルとコードの対応調査 ▲
Alexander Egyed:Resolving Uncertainties during Trace Analysis.Proceedings of the 12th FSE (FSE2004), pp.3-12,Oct.31-Nov.6, 2004, Newport Beach, CA, USA.
Trace Analysis って何だろうと思っていたら，実行履歴の解析ではなくて，モデルとソースコードの対応（いわゆる追跡性）の解析だった．
モデルとコードの対応を included/shared/excluded で記述して，Footprint Graph というものでrefine していくらしい．"M is F" 以外に "M isAtLeast F" や "M isAtMost F" のように持ってる知識を適度に定式化して入力として与えるらしい．
今のところ，こちらの研究との関連は特にないようなので，置いておく．
[ツッコミを入れる]
[TrackBack URL: http://netail.net/tb.rb/20041116]
