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

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

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

    • 記事へのコメント328件

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

    2012/09/25 リンク

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

    2012/09/24 リンク

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

    2012/09/24 リンク

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

    2012/09/24 リンク

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

    2012/09/24 リンク

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

    2012/09/24 リンク

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

    2012/09/24 リンク

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

    2012/09/24 リンク

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

    2012/09/24 リンク

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

    2012/09/24 リンク

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

    2019/02/26 リンク

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

    2019/02/12 リンク

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

    2017/01/16 リンク

    その他
    prototechno
    prototechno 10の40乗の運賃パターン！

    2016/09/06 リンク

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

    2016/02/14 リンク

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

    2015/07/04 リンク

    その他
    rmomu
    rmomu ほんとにすごいよなー･･･

    2015/06/03 リンク

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

    2014/08/28 リンク

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

    2014/01/29 リンク

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

    2013/10/21 リンク

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

    2013/04/11 リンク

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

    2013/04/11 リンク

    その他
    iRoha168
    iRoha168 学ぶべき箇所が多い。

    2013/01/23 リンク

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

    2013/01/14 リンク

    その他
    lackofxx
    lackofxx 参考になる。

    2012/12/28 リンク

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

    2012/12/27 リンク

    その他
    sskb
    sskb あとで読む。

    2012/12/25 リンク

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

    2012/12/05 リンク

    その他
    agrisearch
    agrisearch 2012/9/24

    2012/12/04 リンク

    その他
    s-yazaki
    s-yazaki あとでじっくりよむ。

    2012/11/25 リンク

    その他
    yahoocojp2
    yahoocojp2 そのうち

    2012/11/22 リンク

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

    2012/11/21 リンク

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

    2012/11/20 リンク

    その他
    t_kazuh
    t_kazuh ためになるなー

    2012/11/17 リンク

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

    2012/10/14 リンク

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

    2012/10/05 リンク

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

    2012/10/05 リンク

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

    2012/10/05 リンク

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

    2012/10/03 リンク

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

    2012/09/28 リンク

    その他

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

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

    関連記事

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

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

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

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

    同じサイトの新着

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

    いま人気の記事

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

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

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

    新着記事 - テクノロジー

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

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

    はてなブックマーク

    公式Twitter

    はてなのサービス

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