netail.net

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

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

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

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

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