netail.net
自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．
最近のお知らせ (古いものはこちら)
2005-06-01 ▲
_ [論文][ツール] 静的解析でテストケースを生成 ▲
Christoph Csallner, Yannis Smaragdakis: Check 'n' Crash: Combining Static Checking and Testing. Proceedings of International Conference on Software Engineering 2005, pp.422-431, May 2005. 配列の範囲外の値を参照するとか，null参照を使ってしまうとかいった問題が起きる可能性を静的に検出して，そのクラッシュするような条件（CounterExample）をJUitのソースとして生成して，実際に走らせてクラッシュするかどうかをチェックする（クラッシュしなければ false positive）とかいう話らしい．
手続き単位だけで解析し，他のメソッドの返り値の範囲などは気にしないようなので，手軽に使えるツールなのかも……と思ったが，必要だった時間がけっこう長い（5KLOCで1.5分，18KLOCで26分）ので不安．CnCという名前でツール自体は公開されているらしいので，暇があったらつついてみるのもいいかも．
2006-06-01 ▲
_ [近況] セーターをまだ着たり着なかったり ▲
この学部では，必要なソフト一式（マイクロソフトのOfficeや開発環境，SQLサーバとかAdobe AcrobatとかSSHクライアントとか）が用意されたサーバにリモートデスクトップで接続して使うということができるようで，けっこう面白い．使う側としてはインストールの手間がないし，管理側もメディア類を貸し出したりとかの管理をしなくていいので楽なのかもしれない．また，人の出入りが多いせいか，ドキュメント類とサポートデスクがちゃんと用意されている．
研究室の特定の部屋に入るための非接触型の鍵（fob）をなくして$20のデポジットを失ったので，少し反省して大学の本屋でちゃんとしたキーホルダー（key chain）を$10で購入してきた．UBCと大学名が入ってるだけで値段がけっこう上がるみたいで，コーヒー用マグカップなんかはUBCロゴ入りだと，$20したりする（スーパーで，同じタイプの「Vancouver」マークのものを$7で見つけた）．さすが記念品．
