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

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

[kskgr3434]

自動改札　デバッグ

[y-mat2006]

まさに組み合わせ爆発

[gyogyo6]

一方ロシアは均一料金にした。(かどうかは知らない)

[silverscythe]

そもそもは大元の鉄道関連の仕組み全体がクソわかりづらいのでなんとかしていただきたい

[mujin]

おねえさあああん案件。想像するだに気が遠くなるね。駅、路線、定期、方向、時刻を考慮したセールスマン問題かー。

[premyth]

改札機にスイカ当てると、おそらく前の人の残金情報が表示されてビビるのは自分だけなのだろうか

[kalmalogy]

凄いけど、何人やめたのか想像を絶する感じのプロジェクトに見える

[mkusunok]

これは超面白い！こんな風に実務で形式検証が使われ始めてるとは

[inurota]

素晴らしく面白い。読んでよく分かるのは、実装してる人間じゃない「品質管理部門」なんてものがウォーターフォールにテストしてもまったく無意味だということ。

[betelgeuse]

『お客様には検証用のも合わせて2つソフトウェアを作るから費用を2倍にしてくれとも言えないので』　品質とチェック内容を示す部分は請求されてない＝経理系の人には伝わっていないのか。

[nilab]

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

[MyPLB]

ブクマ少ないと思ったらhttpsだった/Suicaタグで見つけた過去のブクマhttp://b.hatena.ne.jp/entry/d.hatena.ne.jp/kuippa/20100205/1265389603suicaは実はたまに落ちている - 紅茶屋くいっぱのあれこれ日記

[r_yo]

テストの網羅性を上げること、それをどうやって効率的にこなすかを考えていてたどり着いた記事。 テスト用のソフトウェアを別の方法でもう一つ作るというのはかなり特殊な例だとは思うが、応用できることもあるかも

[prototechno]

10の40乗の運賃パターン！

[natroun]

自動改札機のデバッグの話。めちゃめちゃ面白い。とか書いてるけど、もしかすると読んだことあったりするかも。まあそれはそれで悪いことではない。

[uturi]

確かに乗継とか考えるとテストパターンは膨大だな……。ツールを使いつつも力技で解決したり、こういう巨大プロジェクトの中身が知れるのはありがたい。

[rmomu]

ほんとにすごいよなー･･･

[ochi320]

おねえさ～ん…て思ったけどガイシュツだた。現実解としてレンダー結果とリストのマッチング便利だけど時々その比較を人の目でやらんとダメって人がいて戦慄する。昔の上司とか上司とか上司。

[uhe_uhe_uhe]

とても良いテストネタ（例えになる）

[suna_zu]

形式言語ってなんだ。自動改札機のハードウエアの解説あり。ソフトのアップデートが主導だった時代。

[uruloki]

前中後編。/乗り継ぎ割引が本気でえぐい。/形式仕様記述の話はよくわかる。自然言語だと行間に隠れて見えない仕様が多すぎる。

[kojitya]

さっきの記事のつながりで読んだけど、こういう難しさがあったんですね。勉強になりました。

[iRoha168]

学ぶべき箇所が多い。

[Wacky]

止まる原因の多くはやはり搬送部なんですね。なので搬送部は以前にくらべ改良してシンプルになっています

[lackofxx]

参考になる。

[netoresama]

一方ロシアは鉄道を定額にした、ってのは嘘だけど地方分権にするとこういうコストは増えていくよね

[sskb]

あとで読む。

[TakayukiN627]

関東の全部の運賃パターンを計算してみると10の40乗通りくらい／日本語の仕様書を形式仕様記述言語にすると9400行になったのですが、そのうち1400行は日本語の仕様書に書かれていなかった用語の定義などでした

[agrisearch]

2012/9/24

[s-yazaki]

あとでじっくりよむ。

[yahoocojp2]

そのうち

[warud]

自動改札機のテスト (1/3)

[kuguhism17]

実機用は簡易計算、検証用は規則通りやってダブルチェック。技術者は鉄道会社の運送約款担当者並の知識がいるのか！？：）

[t_kazuh]

ためになるなー

[hush_in]

自動改札が故障で止まったりしないようにすることも大事です。ひとつでも止まるとお客さまがたまってしまいます。ただ、止まる原因の多くはやはり搬送部なんですね。なので搬送部は以前にくらべ改良してシンプルにな

[tana005]

たぶん、これは凄い情報なのだろう。

[umiusi45]

「運賃計算の仕事をしている部署はみんなずっとこの仕事をやっている人ばっかりで、やはり属人性があって、運賃計算のルールがややこしすぎて新人がはいってこない。これが現状の悩みとなっています。」

[kzhvsonic]

自動改札のシステムってオムロンなのかー。 / 自動改札になる前の新宿駅改札懐かしい……子供の頃通ったよ。/ てことで、後でじっくり読む。

[nekoaqua]

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

[saz_go]

自動改札機のはなしが超おもしろい