自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡

はじめに 「分かりやすいコードを書く」、「コードと一緒にテストも書く」等はソフトウェア開発において大切なことです。しかしそれと同じくらい大切なことして「分かりやすいコミットメッセージを書く」があります。これはあまり着目されていなく、見過ごされていることです。 今回は、コミットメッセージの分かりやすさの大切さ、そして、分かりやすくするための書き方を説明します。 コミットメッセージとその大切さ バージョン管理システムとコミット 現在、ほとんど全てのソフトウェア開発ではSubversionやGitなどのバージョン管理システムを使っています。バージョン管理システムを使うことによるメリットというのは、ソフトウェアの変更が記録されていくことにあります。 具体的なメリットは3つあります。 ソフトウェアの調査がしやすくなることです。現時点でのコードと、そして変更の履歴とを組み合わせることで、それらから非常

Orangeは統計の設計をビジュアル的に行うことが出来るソフトウェア。 OrangeはWindows/Mac OSX/Linux用のオープンソース・ソフトウェア。マーケティングやシステムの解析を行う際にはデータを並べ替えたりグルーピングしたりしてそこから何らかの法則を見いだしていく。その結果は表であったりグラフとして現される。 設計画面 数字を眺めているだけでは分からなかった法則がビジュアル化することによって見いだせる可能性がある。そのためには様々な角度から抽出したデータを組み合わせなければならない。その補助となるソフトウェアがOrangeだ。 Orangeはデータを様々な統計的手法および解析を通じて分析し、グラフに表示するソフトウェアだ。面白いのは各解析機能がコンポーネント化されており、ドラッグアンドドロップとインプットとアウトプットを結びつけることで関連性を定義できる点だろう。 コンポ

ドライバのインストール時などに失敗したり、あるいはそもそもどのドライバをインストールすればわからないまま放置してしまった場合、デバイスマネージャでは「？」というマークで表示されてしまうわけですが、そもそも一体どのドライバが必要なのか探し出してくれるのがこのフリーソフト「Unknown Device Identifier」です。 ダウンロードと使い方などは以下から。 Unknown Device Identifier - Freeware Download http://www.zhangduo.com/udi.html 上記ページにてリンクをクリックしてダウンロードします ダウンロードしたらクリックしてインストーラを実行 「Next」をクリック 上にチェックを入れて「Next」をクリック 「Next」をクリック 「Next」をクリック 「Next」をクリック 「Next」をクリック 「In

Windows上からディスクをパーティションごと全部バックアップ可能なのがこのフリーソフト「EASEUS Todo Backup」です。Windows 2000/XP/Vista、さらにはWindows Server 2000/2003/2008にも対応しており、ブータブルCDの作成も可能。FAT12/FAT16/FAT32/NTFSに対応し、IDE/SATA/SCSI/USB外付けHDD/Firewire外付けHDDもサポート、理論上は最大1.5TBまで認識できるようになっています。 また、バックアップはセクタ単位でのフルバックアップも選択可能となっており、Windowsが起動したままの状態でバックアップ可能です。さらには圧縮率やパスワード、指定サイズごとの分割、コメント入力による管理、MBRの復元、ディスクコピーによるクローン化、バックアップしたイメージファイルのチェック機能、イメージ

写真データを拡大すると、どうしても画像が粗くなってしまいます。特に、解像度が低い画像を拡大し過ぎると、昔のテレビゲームのドット絵みたいになりますよね。そんな時は、画像を拡大してもエッジを滑らかに見せてくれる『SmillaEnlarger』がオススメです。 『SmillaEnlarge』rは、拡大した時にギザギザになってしまう部分を人工的に補完して、拡大しても画像のイメージをそのままに、それっぽい感じで表示してくれるのです。 画像の拡大したい部分を選択ボックスで囲んだら、あとはズームスライダを使ってどれくらい拡大するかを決めるだけです。選択部分には、シャープやディザ加工やノイズなど、様々な画像補正をすることもできます。補正適用後の状態はプレビュー画面で随時確認できますので、ためらわず直感でどんどん補正してみましょう。おかしなことになったら、また元に戻せばいいのです。 補正し終わったら「Cal

「Nero」と言えばその能力に定評のあるCD/DVDライティングソフトで、通常版は定価が10080円(税込)となっていますが、その有料版と同じライティングエンジンを搭載しているにも関わらず、期間制限なしの無料版「Nero 9 Essentials」が登場しました。Windows Vista/XP及びそれらの64ビット版で動作します。もともと「Nero Essentials」シリーズはOEM版として各メーカーのPCやドライブなどに付属しているソフトで、この「Nero 9 Essentials」も2009年初旬発売予定だったのですが、こうやって無料でリリースされることになった、というわけです。 そのため、シンプルな機能でありながらも実際に使ってみるとかなり強力で、CDやDVDへのデータ書き込み・ディスクコピー・ディスクの消去・ディスクの解析が基本機能となっており、単純にCD・DVDを焼くだけな

CSSやJavaScriptが多用されるようになり、一般的なオーサリングツールでは求めるデザインが容易にはうまくいかなくなっている。そのため技術者の場合は手打ちでHTMLを描く人も多いはずだ。だが、面倒なのは確かだ。 各種エディタで利用可能 もっとシンプルにタグ入力を行いたい、そう考える方に使ってみて欲しいのがZen-codingだ。 今回紹介するオープンソース・ソフトウェアはZen-coding、各種エディタと連携するHTML/CSS補完ライブラリだ。 Zen-codingは単なる入力補完ではない。その書き方が変わっていて、div#headerと書けば、<div id="header"></div>に展開される。もちろんクラスの場合はドットでつなげば良い。複数のクラス指定も可能になっている。詳しくは下記のチュートリアル動画を参考にされたい。なおTextMateで試したところ、一部うまくい

ハードディスクを丸ごとイメージとしてバックアップし、何かあった際にはそっくりそのまま復元(リストア)することができるイメージバックアップ系のソフトはいろいろとありますが、この「ShadowProtect」のおそるべき特徴はハードウェアのメーカーや機種に依存しない復元が可能であるという点。独自のHIR(Hardware Independent Restore)機能によって、ハードウェアの異なる物理システム間(P2P)、物理システムから仮想環境(P2V)、仮想環境から物理システム(V2P)、仮想システム間(V2V)への復元が可能となっており、パソコンを買い換えて今までの環境をすばやく丸ごと移動させたい、という場合にはめちゃくちゃ便利です。 しかもバックアップの動作は他ソフトと比較してもかなり高速な方で、電源を落とさずWindowsが起動しているそのままの状態ですぐにバックアップが可能。フルバッ

ドットインストール代表のライフハックブログ

音楽は聴いて楽しむ他に、自分で歌って楽しむこともできる。カラオケはブームが去ったとは言え、未だに人気がある。行き慣れている人もそうでない人も、カラオケに行くとなるとひっそりと自宅で練習しているのではないだろうか。 音楽ファイルをリアルタイムで変換する ボーカルが入った状態で練習すると、それにつられて歌えるので何となくうまく歌えている気分になる。だがいざカラオケになると歌いだしやテンポが合わなかったりする。いざその場になって慌てないよう、BestPracticeを使って練習しよう。 今回紹介するオープンソース・ソフトウェアはBestPractice、通常の曲からボーカル部分を消すことができるソフトウェアだ。 BestPracticeは手持ちのMP3、WAVやCDを再生することができる。そしてリアルタイムにボーカル部分と思わしき帯域を弱めることができる。これを使えばカラオケと似たような音楽の中

ドットインストール代表のライフハックブログ

各種メディアコーデック・フィルター・スプリッター、さらに各種ツールや再生用のプレイヤーとして「Media Player Classic - Homecinema」などをまとめて一気にインストールでき、ネットからダウンロードできるいろいろなムービー・音楽・Flashのほとんどがこれひとつで再生できるというすさまじいフリーソフトがこの「Windows Essentials Codec Pack」（公式の略称はそれぞれの頭文字を取って「WECP」）です。公式サイトによると、ネット中のファイルの99％が再生できるようになるそうです。 単純に各種コーデックをインストールするだけでなく、自動更新チェックによるオートアップデートも可能で、常に最新の状態に保つことが可能というのが最大の特徴。スパイウェアやアドウェア、ウイルスなどが含まれていないことを保証しており、GPLライセンスの元でオープンソースソフト

削除してゴミ箱からも消してしまったファイルを「ブラウズ」「サーチ」「サーフェース・スキャン（クラスタスキャン）」の3種類の方法で復元できるというかなり強力なフリーソフト、それが「Pandora Recovery」です。特に最後のクラスタスキャンはかなり強力で、MFTレコードが再使用されてしまっているようなファイルや、再フォーマットされてしまったメディア、ファイルアロケーションテーブルが損傷していたり失われていても復元可能です。 さらに、Windows2000以降のNTFS5で採用されたファイルやフォルダの暗号化機能であるEFS(Encrypting File System)や、ADS(Alternate Data Stream)と呼ばれている代替データストリームの復元も可能です。ファイルシステムはFAT16・FAT32・NTFS・NTFS5・NTFS/EFSに対応しており、Windows

Windows XP/Vista/2003/2008 Server上のInternet Explorer 6/7/8 Beta 2、Mozilla Firefox 2.0/3.0/3.1 Beta 2で動作するフリーソフトで、HTTP/HTTPSのリクエストヘッダ表示、HTTPの圧縮率表示、ページ内の各要素の読み込み時間のチャート化、ステータスコードやレスポンスサイズの表示、フィルタリング、さらにはこれら一連の通信をログファイルに記録することなども可能です。 時間はミリセカンド単位で表示が可能となっており、まさにHTTPデバッガと言っても差し支えないレベルなので、「ページの読み込みが遅い原因を知りたい」とか「ちゃんとサーバの設定が反映されているかどうかを確認したい」「ウェブアプリの動作チェックがしたい」という場合に役立ちます。この種類のソフトにありがちな日本語の文字コードが解釈できないとい