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

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

テクノロジー カテゴリーの変更を依頼 記事元:www.publickey1.jp
適切な情報に変更
2296users がブックマーク コメント 328
    共有

    • 記事へのコメント328件

    • 注目コメント
    • 新着コメント
    その他
    kskgr3434
    自動改札　デバッグ

    その他
    y-mat2006
    まさに組み合わせ爆発

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

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

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

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

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

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

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

    その他
    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
    自動改札機のはなしが超おもしろい

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック！
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

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

    自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト...

    ブックマークしたユーザー

    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    同時期にブックマークされた記事

    いま人気の記事 - 企業メディア

    企業メディアをもっと読む

    はてなブックマーク

    公式Twitter

    はてなのサービス

    • App Storeからダウンロード
    • Google Playで手に入れよう
    Copyright © 2005-2025 Hatena. All Rights Reserved.