netail.net

_ 日記CGI ▲

日記と掲示板の最新コメントだけを見る部分だけ別に構築．

日記側は，XML化してコメントの扱いも変える予定なのであまり意味はないが，いちおう．

_ [授業] ゼミ ▲

３人発表で，みんなUSBメモリを持ってきてた（１人はMP3プレーヤだったけど）．メディアとしては，フロッピーよりも一般的になってきた感がある．

来週は学科の各研究室の研究内容紹介らしいので研究室には来なくていいよーという告知を出して，あとはあんまり指摘することもなくあっさり終了．

今回登場した謎の訳語は，利害関係者の意味でのstakeholder → 弁護士．辞書の１つに，係争物保管人という意味の後ろに「（普通, 弁護士）」と書かれていた．そこから出てきたのかもしれないが．不思議．

_ ほうじ茶 ▲

研究室で余っていたほうじ茶450g（ちょっと賞味期限が近い）をもらった．OUCCの人でほしい人にあげようかと思うけれど，450gは普通のお茶缶に入らないのでどうしたものやら．

_ [論文] デザインパターンを使っても欠陥が入りにくくなったりはしないみたい ▲

Vokac, M.: Defect frequency and design patterns: an empirical study of industrial code.

IEEE Transactions on Software Engineering, Vol.30, No.12, pp.904-917, Dec. 2004.

ざくっと目を通しただけだが，デザインパターンは良い設計の再利用で，良い設計ならバグが入り込みにくいはず，本当にバグが少ないかどうか調べてみよう，という調査を行った論文．

対象システムは１つなので，さすがにあまり強い結果でもなく，デザインパターンによっても傾向が違って，実はあまり影響なさそう？ということが分かった，くらいか．

_ Nitobe Memorial Garden ▲

滞在してるところから本当に近距離（歩いて５分くらい？）にあったので，行ってきた．良い庭園だったので，秋の紅葉シーズンになったらまた行くかも．

_ [ツール] bddbddb 使ってみました ▲

解析ツールは，joeq_core として別途配布されているので，bddbddb-full.jar だけ取ってきても Java 解析はできません．基本的に cvs を使って bddbddb と関連パッケージを一式 Eclipse に取り込んでから使うという形式が正しいみたいです．

Java バイトコードを解析ツールに食わせるとコールグラフと bdd ファイルが生成されます．コールグラフ自体，多態性を解決できる範囲で解決されているので，これ単体でもけっこう便利そうな印象．

出力された bdd ファイルに対して points-to set analyzis の datalog ファイルを与えるとそれなりに動作します．ただし，bddbddb が依存するパッケージ javabdd をちゃんと用意することと，例として配布されてる datalog ファイルそのままだと微妙なエラーが出たりするというところは，ちょっと厄介です．

また，bdd １個はリレーション（リレーショナル代数でいうところのリレーション）を表現しており，bdd エンコードされたものを tuple のリストに変換して，tuple に入ってる整数値が意味する中身を map ファイルから探してくることで，中身のデコードができます．ただし，context-sensitive な解析結果などは，コンテキストの数が多すぎてデコードできませんが．何に使うかちゃんと決めて，できる限り datalog で処理をして，最後にデコードしないと役に立たないようです．

この辺の使い方については，あとで文書としてちゃんとまとめます．

ちなみに，メモリは512MBくらいは割り当てないと，厳しいようです．でも，小規模なプログラム（ライブラリ含めてメソッド数１万程度）ならノートPCでも数分で処理が終わるので，そんなに負荷は高くないといえるかもしれません．処理用の別PCがほしくなるくらいには負荷がかかりますが．