«前月 最新 翌月» 追記

netail.net

自作フリーソフトや,ゲームに関する雑記を公開してます.
日記はソフトウェア工学の論文ネタが中心です.

最近のお知らせ (古いものはこちら)


2009-11-10 [長年日記]

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

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

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


2009-11-21 [長年日記]

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

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

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

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

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


2009-11-29 [長年日記]

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

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

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

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

本日のツッコミ(全1件) [ツッコミを入れる]

_ ryo [本当に素晴らしいソフトなので64ビットに対応することを期待しています。 頑張って下さい!]