netail.net

_ [近況] プリンタ使い過ぎ？による故障 ▲

購入してから6年ぐらい経過したと思われる FujiXerox DocuPrint C2220 がいよいよ壊れたっぽい（両面印刷で紙詰まり多発，カラー印刷で謎の縞模様がでる）です．いよいよ買い替える直前なので，ちょっと出力集計レポートを印刷させてみたところ，これまでの出力枚数累計は193,301枚（232,200ページ）でした．

事務書類の印刷に数年（84000枚程度）使用して，それ以降も学生部屋で論文印刷に使用され続けていたので，やはり使い過ぎによる寿命でしょうか……．

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

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

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

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

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

_ [VolumeDeskbar][お知らせ] Volume Deskbar 1.1.2 リリース ▲

ホットキーでミュート切り替えができるようになりました．先月にこの要望出してくださった方，お待たせしておりました．

例によって，32ビット版のみの提供です．64ビットの Explorer には32ビットでコンパイルした DLL はリンクできないので，64ビット版OSでは使えません．Delphi の 64ビットコンパイラが出るのを信じて待っていてください．Visual C++ や C# を使っての COM プログラミングのやり方とかの知識がちょっと足りてませんので，言語またいでの新バージョン開発というのはできてません．

２年ぶりの更新なんですけど，残念ながらそれだけの更新です．いくつか他にもトラブル報告はいただいていますが，手元での状況再現がうまくいかなくて，どこに問題があるのかが把握できていない状態です．そのうちログ記録バージョンとか作るかもしれません．