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

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（中編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み 厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 本記事は、前編、中編、後編の3部構成です。いまお読みのページは中編です。 自動改札機の制御は1000件くらいのテスト さて、次は間違えない自動改札機の話です。ここからソフトウェアの話になります。 1つは運賃計算。この切符はこの駅で降りられるのか、というもの。そしてもう1つは自動改札の制御。ランプを光らせるとか、切符を回収するとかです。 まずはその

[muchonov]

これ賃金＝経路長と見立てれば巡回セールスマン問題の変型なのだな。大変だ。

[anepan]

「時間かかっても全部テストした方が安心じゃん！」って安易に考えてたがちょっとレベルが低かったかもしれん

[nilab]

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

[prisira]

中編/後編が現実に参考にしやすい話でとてとて為になる。

[otiai10]

“それでもまだ10の26乗くらい残ります。”

[warud]

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

[hiroomi]

「バグがすり抜けてしまうこともありますが、それはどうしてなのか、納得できるんですね。」重い一言。

[fijixfiji]

10^40だと

[Yeshi]

めっちゃ興味深い

[Untouchable]

実際にテストを行うパターンを網羅的なものから手順に従い絞り込んで作ることで、テストされていないパターンがなんなのか明確化される

[yuuichi-fuse]

すげーな。パターンの絞り込みで絞りすぎたり絞れなかったりするのが自分。。

[mentum]

運賃計算の何が大変か？／関東の全部の運賃パターンを計算してみると10の40乗通りくらい／運賃計算の網羅的パターンをどうやって作る？／テストできていないのがどこなのか、分かっている

[takepierrot]

組み合わせ爆発のお姉さんの話を思い出したわ。あれ結局何の役に立つんだと思ってたが、こういうところで使われているんだろうな。よくわからんけど。

[arikui]

[]

[letsspeak]

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

[symphonicworks]

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

[tsukamotch]

この考え方はWebでビッグデータとか言ってる適当な連中に見習って欲しい

[myrmecoleon]

すべての組み合わせからありえないパターンを除き，さらに代替できるパターン，圧縮できるパターン，妥当性から削るパターンを除外か。こんなことしてるんだなあ。

[burnworks]

『そもそも関東の全部の運賃パターンを計算してみると10の40乗通りくらい。』

[isaisstillalive]

テストパターンを記号化して網羅性を上げる

[aretokore]

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

[Nobeee]

すごいデバック。

[mattarin]

絞り込んで1000万パターン・・・

[khtno73]

「網羅的なものから絞り込んでいくことのいいところは、テストできていないのがどこなのか、分かっているということです。(中略)バグがすり抜けてしまうこともありますが、それはどうしてなのか、納得できる」

[sin4xe1]

アボガドロもびっくり

[tomo31415926563]

すごい！

[torazuka]

ふむふむ。"網羅的なものから絞り込んでいくことのいいところは、テストできていないのがどこなのか、分かっているということ" "なぜこのテストをやっていなかったか、という理由が分かる"

[raitu]

改札機「関東の全部の運賃パターンを計算してみると10の40乗通りくらい」なのでそれをどうテストするかって話

[sophizm]

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

[airj12]

しびれるわー「網羅的なものから絞り込んでいくことのいいところは、テストできていないのがどこなのか、分かっているということ」

[takuwz]

聞くだけでもテストが憂鬱になるな。妥当な絞り込みか。