タグ

2012年9月24日のブックマーク (2件)

  • 鼠と竜のゲーム(1) 家宅捜索:Press Enter■:エンジニアライフ

    ふつーのプログラマです。主に企業内Webシステムの要件定義から保守まで何でもやってる、ふつーのプログラマです。 あなたはもう結末を知っている――T市立図書館システムにまつわる拙速な逮捕劇、そしてクロラ氏が最終的に名誉を回復したいきさつを。だが、あなたは発端――この事件の遠因となった1人の男の不可解な暗躍の理由を知らない。それは、彼が棲息する企業が、企業倫理を軽視し、技術よりも利益を追求した結果によるものだ。ましてその裏話――あるベンチャー企業の生き残りを賭けた物語となれば、なおさら知りようもない。 倉敷タカシにとって、5月25日の朝が普段と異なると考える理由は何ひとつなかった。いつもの平日のように、午前7時ジャストに鳴り響いた目覚まし時計の電子音で目覚めたタカシは、5分ほどまどろんだ後、いさぎよくベッドから起き出した。 手早く洗顔をすませると、玄関先のポストに新聞を取りに行く。もうすぐ6月

    鼠と竜のゲーム(1) 家宅捜索:Press Enter■:エンジニアライフ
    aokcub
    aokcub 2012/09/24
  • 自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(前編)

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

    自動改札機の運賃計算プログラムはいかにデバッグされているのか? 10の40乗という運賃パターンのテスト方法を開発者が解説(前編)