netail.net
自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．
最近のお知らせ (古いものはこちら)
2004-11-29 古い日記からの変換データ [長年日記] ▲
_ [論文]実行履歴からのシナリオ抽出 ▲
Glenn Ammons, Rastislav Bodik, James R. Larus:Mining Specifications.Proceedings of POPL 2002.
実行履歴として引数の値の情報を含めた関数呼び出し列を持ってきておいて，抽出したい特定の関数だけをシナリオとして残して，そこからオートマトンを生成する．
オートマトン学習のコストを下げるためにシナリオの長さをある程度で切る必要があったり，関係のあるメソッド呼び出しだけを使うためにフロー解析を使ったりしているらしい．
オートマトン抽出した結果の使い道が verification となっていて，論文での評価実験でも各プログラムからのオートマトン生成結果で検証を行っている．実行履歴はプログラムの入力に依存するので，設計時の情報に比べると，生成されたオートマトンは情報の一部が落ちている可能性があるのだが…．用途としては verification よりは設計時のオートマトンとの比較によるトレーサビリティの確保などのほうが面白そう．
[ツッコミを入れる]
[TrackBack URL: http://netail.net/tb.rb/20041129]
