2013/02/14 デブサミ2013【14-B-3】自動改札機の運賃計算プログラムのデバッグ手法 ～10の40乗のパターンをいかにテストするか～ #devsumiB

どみにをん525 @Dominion525

改札機のアレの話。 #devsumiB

Takahiro HAMAGUCHI @tk_hamaguchi

【14-B-3】自動改札機の運賃計算プログラムのデバッグ手法 ～10の40乗のパターンをいかにテストするか～ #devsumi #devsumiB

SUE @SUE_44512

自動改札のデバッグ手法 #devsumiB

くまもん @fuekuma

わくわく #devsumiB

安心沢ガブ美 @gab_km

この話は僕向きだと思って選んでみた。 #devsumiB

どみにをん525 @Dominion525

まず、開発機の構造の話だけど、この辺で面白い。 #devsumiB

佐野友則 @sorano_tarou

自動改札機の構造面白い #devsumiB

マナブ @manabu013

スライドめくるの早いw　#devsumiB

くまもん @fuekuma

改札機ってハイテクだったんだな #devsumiB

Takahiro HAMAGUCHI @tk_hamaguchi

自動改札機って切符を表裏逆に入れても大小混合で入れてもちゃんと整列する仕組みがあったのかΣ #devsumi #devsumiB

くまもん @fuekuma

「運賃計算のパターン数は10^40 通り」 多い #devsumiB

Takahiro HAMAGUCHI @tk_hamaguchi

人手で改札の試験をしている時は数１００件のテスト程度が限界だった。昨今は改札機の内部基盤をPCに接続するしくみを開発し、エミュレータを使って同じ時間で10,000件くらい試験することができるようになった。 #devsumi #devsumiB

yjnk @yjnk

運賃計算のイヤさを共有してほしいスライドw #devsumiB

F23 @FKU

運賃計算、壮大なテストのお話たまらんな #devsumi #devsumiB

マナブ @manabu013

好きじゃないとできない仕事だなこれw　#devsumiB

安心沢ガブ美 @gab_km

この組み合わせはヤバいな…(しろめ #devsumiB

deesuke @deesuke

状態とループ、その他制約条件が盛り沢山の運賃最安ルート探索。 #devsumib

佐野友則 @sorano_tarou

鬼門だらけだなw鉄道の運賃計算 #devsumiB

爲房新太朗 @stamefusa

運賃計算、10の40乗の経路から最安値を出さないといけない上に、乗継があると乗継割引も考慮しないといけない… #devsumiB

くまもん @fuekuma

スペシャルルールwww #devsumiB

さすらいのレビュー屋 @mori_ryuji

#devsumiB 典型的同値分割

安心沢ガブ美 @gab_km

10^40 パターンを3種類の絞り込みで 10^6 ～ 10^8 まで減らす。 #devsumiB

Takeshi Shinoda @takeshinoda

乗り換えパターンを作って当てはめて、テストケースを絞り込んでケース数を減らしていく…でも数百万とかいうてる… #devsumiB

くまもん @fuekuma

実際の事例は面白いなぁ #devsumiB

爲房新太朗 @stamefusa

西船橋は鬼門の駅www #devsumiB