自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編）
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡
電車の運賃計算、首都圏では10の40乗通りのパターンに。自動改札機のテストはどうする？：森崎修司の「どうやってはかるの？」：オルタナティブ・ブログ
ソフトウェアテストシンポジウム2011関西の基調講演「妨げない・止まらない・間違えない自動改札機の開発」（オムロンソーシアルソリューションズ 幡山 五郎氏）にご講演いただきました。非常に難しい内容を明快にご説明くださっていて、たいへん興味深くお話を伺うことができました。講演資料もプレゼンテーション（お話）も非常にわかりやすいものでした。 首都圏の鉄道では運賃計算のための経路が10の40乗を超えるそうです。その内訳は、単純に乗り降りの駅の間の運賃を計算するだけでなく、定期券の併用を考慮し、定期券の前後で通常の運賃を支払う場合や、乗り継ぎでいったん改札を出た後で時間をおかずに別の改札を通った場合に割引がある場合（首都圏では同一駅で東京メトロから都営に乗換えるような場合、関西では東梅田、梅田、西梅田へ乗換えるような場合）のように、かなり複雑なパターンを考慮する必要があるそうです。 運賃計算が正し
Ideone.com
776A776e772n776A776e772nISHvvoDvvp7vvafvvoDvvp7vvachIe++gO++nu+9p+++gO++nu+9pyEh776A776e772n776A776e772nISHvvoDvvp7vvafvvoDvvp7vvachIe++gO++nu+9p+++gO++nu+9pyEh776A776e772n776A776e772nISHvvoDvvp7vvafvvoDvvp7vvachIe++gO++nu+9p+++gO++nu+9pyEh77287720776Y772y772q7729Ie++gO++nu+9p++9su+9qu+9vSEhCu++gO++nu+9p+++gO++nu+9pyEh776A776e772n776A776e772nISHvvoDvvp7vvafvvoDvvp7vvachIe++gO++nu+9p+++gO++nu+9pyEh
あるプログラム言語で最も使用されているキーがよくわかるヒートマップ
素人の目から見るとプログラム言語なんてどれも同じじゃないの？と思ってしまうのですが、これがなかなか奥が深い。言語によって使用する文字や記号が大きく違っていることがよく分かるヒートマップです。英語なので「E」の頻度が高いのは当然として、「ははぁ、あの命令をよく書くからここが赤いんだな……」とニヤニヤするといいのではないでしょうか。 出現頻度を調べるためのソースコードは、Githubから取られたものなのだそうです。 Javascript Shell Java C C++ Ruby Python PHP Perl ObjC Lisp こちらのサイトで同じヒートマップを作成することができます。ただし、日本語のキータイピングは認識しないので気をつけてください。 Keyboard Heatmap | Realtime heatmap visualization of text character di
米Intel、並列プログラミングのためのC/C++言語拡張「Cilk Plus」をオープンソース化。GCCへの実装も開始 | OSDN Magazine
米Intelが並列プログラムを容易にする言語拡張「Intel Cilk Plus」をオープンソース化し、またGCCへの実装が「cilkplus」ブランチで開始されたと発表した。x86_32およびx86_64アーキテクチャでテスト済みというLinux向けランタイムのソースコードも公開されている。 Cilk PlusはIntelが2010年に発表したC/C++向けの言語拡張。1990年代にマサチューセッツ工科大学で開発されたC言語拡張「Cilk」がベースで、プログラムの並列化を容易に実装できるキーワードや関数群が含まれる。Intelは2009年にCilk技術ベンダーのCilk Artsを買収し、Cilkの権利や技術を手に入れている。Cilk PlusはすでにIntelがリリースする「Intel Compiler」に搭載されているが、GCCなどほかのC/C++コンパイラではサポートされていなかっ
バグを放置したら逮捕？ 話題の「ウイルス作成罪」の改正刑法が成立 - はてなニュース
これまで処罰が困難だったコンピューターウイルスを使った犯罪を取り締まるための改正刑法が、6月17日（金）の参議院本会議で可決、成立しました。はてなブックマークでは以前から同改正案の内容に注目が集まっています。この改正案の成立の経緯と、議論の的になった問題点を紹介します。 ▽ コンピューターウイルス作成罪を新設 改正刑法が成立 :日本経済新聞 ▽ 法務省：情報処理の高度化等に対処するための刑法等の一部を改正する法律案 改正刑法の正式名称は「情報処理の高度化等に対処するための刑法等の一部を改正する法律」です。改正案は5月31日の衆議院で可決されており、6月17日の参議院での可決により成立しました。 この改正では、ウイルス（不正指令電磁的記録）の作成者に対して3年以下の懲役または50万円以下の罰金を課します。ウイルスの定義に触れている該当の条文を引用します。 第百六十八条の二 正当な理由がないの
プログラミング言語「ほむほむ」 - ( ꒪⌓꒪) ゆるよろ日記
なんか、極めると「ほむほむ」だけで会話できるみたいですね? 俺はまだそこまでの域には至ってないんですが、「ほむほむ」だけでプログラミングできたらステキですよね? そこで、ちょっと草植えときますね型言語 Grassを元にして以前作ったプログラミング言語「天使ちゃんマジ天使」とか 「ブブゼラ」をベースに、 またまたネタ言語を作りました。 Grassの文法と異なる点は以下のとおり。 wがほむ スペース・タブにはさまれた"ほむ"がW vは改行 wを出力するプログラム: ほむ ほむほむ ほむほむほむほむ xを出力するプログラム: ほむ ほむほむほむ ほむほむほむほむ ほむほむほむ ほむ "Hello, world!"を出力するプログラム ほむ ほむ ほむ ほむほむほむほむ ほむ ほむほむほむほむほむほむ ほむほむほむほむほむ ほむ ほむほむほむほむほむ ほむほむほむほむ ほむほむほむほむ ほむほむほ
大変だ！法務大臣いわく「バグ放置」がウイルス提供罪として適用するらしいぞ : はちま起稿
大変だ！法務大臣いわく「バグ放置」がウイルス提供罪として適用するらしいぞ 2011年05月29日01:10 ネット コメント( 28 ) Twitter はてなBM 凄い時代になったでしょう？ 1 名前： ◆YKPE/zzQbM ＠ゆきぺφ ★[sage] 投稿日：2011/05/28(土) 23:27:55.20 ID:??? http://news.livedoor.com/article/detail/5593093/ あるAnonymous Coward 曰く、 セキュリティホールmemo経由、高木浩光＠自宅の日記から。 第177回国会 衆議院法務委員会 平成23年5月27日午前の質疑応答で、バグの放置も 不正指令電磁的記録提供罪が成立するとの法務大臣答弁がありました。 大口委員：その説明がない場合を問題にしているわけでございますけども……。 まあ、そういう事例もある
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「MS11-022」適用後のPowerPoint不具合に対する修正プログラム公開 
バグの無いプログラムを作ることは可能ですか？…