netail.net

_ OCAML ▲

O'CAML という ML の拡張言語のオブジェクト指向版が話題になってたので見てみる．ML 大好きな人間にとってはいい言語かも．今度使ってみることにする．http://www.ocaml.org/

_ 読書 ▲

コリン・ウィルスン「賢者の石」を読破．ストーリーの展開としては一部安易な気がする部分もあったけど，主人公の未来に対する展望と不安とがないまぜになったエンディングはけっこう好みだった．目に見えない脅威とか，ラヴクラフトとかとの微妙な関連もうまく使っていて，全体としてはいい出来だったような気がする．ちょっと，前半の話が退屈だったけど．

_ 本 ▲

クリプトノミコン 2, 3, 4，Java プラットフォームパフォーマンス，Middle-Earth Role Playing，指輪物語の原書を購入．

_ スレッド ▲

JDK における ThreadLocal が，スレッドごとにローカルな値のコピーを生成するためのクラスであることに初めて気付いた．今まで自前で HashMap.get(Thread.currentThread) やってたのはいわゆる車輪の再発明だったらしい．

ついでに，スレッド関係のデザインパターンのサイトも発見．http://www.cs.wustl.edu/~schmidt/patterns-ace.html

_ paste ▲

暇つぶしに「UNIX コマンド ポケットリファレンス」を読んでいたら，「行を連結する（改行を任意の文字列で置き換える）」paste コマンドの存在を初めて知った．

あと，知らなかったのは cmp, comm （ファイルの差分計算）くらいか．実際には awk や sed も使ってないといえば使っていないのだが．

_ 住基ネット ▲

豊中市の広報を見てたら，住基カードというのがもらえるらしい．名前だけ or 名前＋住所＋写真という，市民IDカードみたいなものらしい．使えるようになるまでは時間がかかりそうだけど，身分証明のためだけに免許証取る人は減りそう．

_ [論文]実行経歴の特徴抽出 ▲

M. J. Harrold, G. Rothermel, K. Sayre, R. Wu, L. Yi:An Empirical Investigation of the Relationship Between Fault-Revealing Test Behavior and Differences in Program Spectra.Journal of Software Testing, Verification, and ReliabilityVol.10, No.3, pp.171-194, September, 2000.

プログラムの実行系列から，どのパスを通ったか，各ブランチでどの経路を何回ずつ選んだか，といった実行系列の特徴を取り出そうという試み．

なんか振る舞いが少しでも違うプログラムだとけっこう違う値には変わるみたい．ただ，変わったからといってどうだというのか，というのがある．使用法としては，実験的にソフトウェアのバグがどの特徴と関連するかを調べるということになるのだろうか．

いまいち役立つのかどうか不明．

_ [論文]実行パスへのＩＤ割り当て ▲

The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem.Proceedings of the 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE97), pp.432-449, Zurich, Switzerland, September, 1997.

2000年問題に対処するために（それ以外にも使えるが）各テストケースがプログラムの実行パスのどこを通ったかプロファイルする，という話．

実行パスの各分岐点に，それが二分決定木であるかのように，選んだ経路に応じた数値加算を埋め込んで，終点まで到着した時点でパスのIDが得られるようにする．

あとは，テストケースごとに数値が出てくるので，それをスペクトルのように並べて比較したりとかして問題のパスを特定したりする．

_ [論文]依存関係のテスト容易性への影響 ▲

Stefan Jungmayr:Identifying Test-Critical Dependencies.Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), pp.404-413,Montreal, Quebec, Canada, 2002.

テストを難しくする要素として，コンポーネント間の依存関係があるが，ある依存関係を取り除いたときの依存関係のメトリクスの減少度合いを比較し，減少が大きいものを Test-Critical な依存関係として認識しよう，というもの．

依存関係のメトリクスとしては，この論文では各コンポーネントが直接あるいは推移的に依存するコンポーネントの平均個数 ACD を使っている．

実際，ACDを減少させる度合いで上位の１０％くらいの依存関係を取り除くと ACD の値は半分くらいまで落ちたりする．このような依存関係の要因は，主にデザイン上の悪い決定，GUI上でのウィンドウ間の遷移の実装，などだったらしい．ACD は結合度メトリクスCBOなどとは相関が少なく，CBOは実はテスト容易性とは関係があまりないのでは，とも言っている．

設計時に，このようなテスト容易性にかかわる依存関係を考慮して，設計を考え直すことで，テスト容易性を少しは向上できるかもしれない．

_ モクモクファームの酵母入り地ビール ▲

をお土産にもらったので飲んでみた．ボトル330mlなので１人で軽く飲むのにいい感じで，けっこうおいしい．

ワインもビールも好きだけどワインオープナーも栓抜きもない家なので，栓は強引にこじ開け．

_ [近況] ワークショップのプログラム ▲

AOASIA2 プログラムが出てるようです．基調講演＋発表12件＋Panelという構成なようです．おかげさまで，10分プレゼン時間もらってます．

今回，プレゼンは人にお任せモードなので，その期間のうちに休憩時間に人に見せられるくらいのデモが準備できないかなぁと考えてます．しかし，そろそろ院試後の卒論に向けての方針とか，M1の人のネタのことも少しは考えておかないといけないので，時間がどれだけ開発に割けるか微妙なところ．