netail.net
自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．
最近のお知らせ (古いものはこちら)
2003-07-23 古い日記からの変換データ ▲
_ 論文 ▲
次ネタの準備に向けた論文読み．Daniel Jackson and Alan Fekete:``Lightweight Analysis of Object Interactions'',Proceedings of TACS 2001
オブジェクトの Interaction を扱うために，宣言的な記法を使って，オブジェクトに関する必要最小限の制約を書きましょう，というもの．
全部が全部形式的にやるんじゃなくて，必要なところだけで，っていうあたりは実用性を考えている．宣言的記法で，インタラクションの状態遷移の制約を書いて，反例を探すことで Violation の可能性を見つけようというのはなかなか大したもののように思える．オブジェクトの状態ではなくインタラクションの状態であるという点は特に．
抽象的に書けるぶん，具体的なものを書きたいときには使えなかったりしそうなところは苦しいが，悪くないような気がする．refer 用リストに入れておこう．
_ Java ▲
Core Java Technologies Tech Tips, July 22, 2003 に Taglet (javadocコメント中の @hoge ) の使い方が載ってた．
基本は com.sun.tools.doclets.Taglet を implement したクラスを作って， javadoc -taglet オプションで渡すらしい．
Taglet は，
(1) static register(Map) で map に自分の名前 (@hoge なら hoge) に自分のインスタンスを関連付けて，
(2) どこに記述されるかをinField, inMethod, ... というメソッドで boolean を返すようにして，
(3) もし行内展開するなら isInlineTag でtrue を返すようにして，
(4) HTML 記述を生成するtoString() （単体と配列を引数に取る２種類）を実装する．
けっこう簡単に書けるっぽいので，機会があれば使ってみたいところ．
もう一つ，javac をソースコードから呼び出す方法も載ってた．
こっちは，com.sun.tools.javac.Main.compile(new String[] {sourceFile}); を呼び出すという，シンプルなインタフェースになっている．逆に遊ぶところもなさそうではある．
_ activemail ▲
ルータがパケット落とすなんてありえない（だってコネクション張ってるんだし）ので，やはり名前取得のタイムアウトが原因だった．ってことで Norton Internet Security のファイアウォール設定を変更したら問題は解決した．
_ activemail ▲
activemail 側のサーバは，送信側にホスト名か何かを取りに来てるっぽいのだが，ルータは何も返さないはずなのでタイムアウト待ってるような感じ．あやしいなぁ．ログ吐き用のホスト名だったりしたら嫌だなぁ．
_ XVCL ▲
Java コードに適用している例を見たところ，やはり予測は間違ってなかったらしい．
"frame" という単位が基本の意味的まとまりを表現していて，その中身のテキストの途中には "break" を挿んでおくことができる．
"break" には，別のファイルで "insert" を定義しておくとその break に収めるべき別のコード片を書いておける．
で，出力ファイル名の指定と adapt タグを使って，必要な frame を選択して，それらを合成する．
insert-before, insert-after というbreak の前後にコード片を入れる指定子や，変数，ループなどを使った記述ができる．たとえばクラス名をパラメータで与えて変数の型を指定するとかいった，いわゆるコードジェネレータでのGenericsの代替などがそれなりに簡単にできる．
利点は，言語を問わず，任意のテキストが扱えるところ．欠点もそこにあって，構文木の構造などに注意を払わないので，コードを合成するまではコンパイルが通るかどうかまったく分からない．
2005-07-23 ▲
_ [AspectJ]執筆したAspectJ入門記事の公開場所（宣伝） ▲
今日オープンした，オンライン出版サイト: ぶっくらぼうで公開されています．
アカウントを登録すると，購入前に，立ち読み（時間制限つきで表示すること）が可能なようです．
2008-07-23 ▲
_ [近況] WODA 2008 参加メモ ▲
WODA 2008に発表付き添いで参加してきました．このワークショップには初参加だったので，ちょっとしたメモだけ残しておきます．
WODA は，mini-conference 形式というか，発表＋質疑応答で，最後にちょっとディスカッション時間があることを除けば普通に発表するだけのタイプのワークショップでした．これまで ICSE 併設だったのが今回から ISSTA 併設になったのは，ワークショップ自体の規模が小さいこと，動的解析とテストまわりの話の相性がいいこと，といった理由があったそうです．
参加人数は最初の時点で24人，数えた中では31人のタイミングがありました．投稿は23本で11本採録でした．発表ネタとしては，プログラム理解，最適化，テスト関係，Specification Mining，Fault Localization など，動的解析でソフトウェア工学寄りな話が多かったように思います．ワークショップの名前の通り，動的解析やってる有名な人が一通り含まれているので，発表する場としては良さそうなワークショップだと思います．
