netail.net

_ ワイン ▲

ボジョレー・ヌーヴォー解禁日(毎年11月第三週木曜日)なので．今回はジョルジュ・ブデュッフ，ボジョレー・ヴィラージュ・ヌーヴォー2002を購入．

やっぱり分類はライトボディらしい．味としては，一部で「水っぽい」とか言われてしまったが，後味さっぱりのさわやか風味．フルボディのような重さが好きなので，解禁記念という理由がなかったら特に飲む気も起きないなぁ……．

_ wonder-net ▲

Wonder-Net のラジオプログラムを聴く．ここ最近，ラジオプログラムを聴けるのが木曜とか金曜になってなんかまたすぐに次の更新が来る，という感じがする．

_ ワイン ▲

ルイ・ジャド，ジョセフ・ドルーアンのボジョレー・ヌーボーを飲む．

ジョセフ・ドルーアンのほうが酸味が強くて好み．ちょっと渋すぎの気もするけど．

でも人によってけっこう好みは分かれた．

_ LotR ▲

The Lord of the Rings ルール等10/22 のアップデートを確認．エラッタ・Elven-steed に Ride (Keep Rider) +6 が加わった．微妙．FAQ・「最大ダメージ」の効果が二つあっても効果は変化なし． （ＧＭが認めるなら Extraordinary Success の他の選択肢を 選んでも良い）・「応急手当」は１戦闘あるいは負傷ごとに １回しかできない．ルールもそろそろ安定してきた感がある．

_ Calendar ▲

Vector に紹介記事が掲載されるとのことで，作者からの一言を書いてほしいというのが届いた．200字程度なので，締め切り早いし，さっさと書くことにする．

_ ワイン ▲

ボジョレー・ヴィラージュ・ヌーヴォーを飲む．去年のに比べて美味しい．

フランク・サンカン家自家葡萄園のもの．作者の写真が載ってる裏のラベルが微妙に素敵．

_ [論文] プログラム変換を使ったスライシング ▲

M. P. Ward, H. Zedan, and T. Hardcastle:

Conditioned Semantic Slicing via Abstraction and Refinement in FermaT.

Proceedings of 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), pp.178-187, March 2005.

スライス基点として選択された変数集合に影響を与える文以外を削除する．if-(cond)-then-else を ((cond and then) or (not cond and else)) に置き換えるとか，入力時に，いくつかの変数の値域を指定することでその値を簡約化するといった変換操作をして出力を決定している様子．

_ [論文] クラスのフィーチャ固有／インフラ担当の分類 ▲

Orla Greevy and Stephane Ducasse: Characterizing the Functional Roles of Classes and Methods by Analyzing Feature Traces.

Proceedings of 6th Workshop on Object-Oriented Reengineering 2005.

ユーザが起動できる操作（主に，GUIから実行する各メニューの操作など）ひとつひとつを feature と呼び，それぞれについて実行履歴を取った結果を feature traces と呼ぶ．

feature traces に登場するクラス群を分析したとき，１つのfeatureにしか登場しないものを single feature，複数に登場するものを group feature，半分以上のfeatureに登場するものを infrastructural と分類することで，クラス群を分類して理解しようとしている．

feature の集合が，プログラムの全機能を完全にカバーしなくても，feature location 的な使い方には十分だろう，と書いている．また，手法自体は単純なので，スケーラビリティは高そう．

fan-in analysis で呼び出し元が多いものをアスペクトにしよう，という発想の研究に似ている気がする．

また，著者の人のページにあるほかの文献の abstract とかを見てたら，Latent Semantic Indexing (LSI) を適用したとか，他にも色々分析して論文を書いてる様子．

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

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

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

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

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