«前の日記(2009-11-10) 最新 次の日記(2009-11-29)» 編集

netail.net

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

最近のお知らせ (古いものはこちら)


2009-11-21 [長年日記]

_ [近況] ASEから帰ってきました

主目的はワークショップ開催だったんですが,ASEも全参加してから帰ってきました.

ASEは,形式手法またはツール系,というイメージがあったんですが,今年は,テストと欠陥検出が多かった気がします.2日目の基調講演の人が「Instrumentation-based Verification」という,完全な検証ではなく,モデルのある一定のカバレッジ範囲だけを検証するという方式を説明してました.モデル上でテストしてるだけとも言えなくはないですが,形式的検証よりも現実的なアプローチという印象はありました.

また,欠陥検出のほうは,ライブラリのメソッド呼び出し順序の誤りを検出しようというネタが,静的解析・動的解析それぞれの手法が採録されています.わりと長いこと研究されてるネタではありますが,Tao Xie とか Andreas Zeller のグループが着実に成果を積み重ねている気がします.

今回の収穫:動的解析において,あるオブジェクトの使用方法が "typical" であるかどうか,というのを調べるのに,1プログラムで発見した使用方法が,別のプログラムでも発見できるか,というのを調べている研究がありました.この評価方式は使えそうです.

お名前:
E-mail:
右の画像に書かれている文字列を入力してください:
コメント: