2013-02-14 [長年日記]

_ [つくる][etc] 大大大規模テスト(1040通り)

デブサミ行ってきた。聞いた講座は1つ。自動改札機の運賃計算プログラムのデバッグ手法 ~10の40乗のパターンをいかにテストするか
テスト件数が爆発しているぞさあどうするのお話。
  • 裏向けたら表向けて出てくる
  • 紙の切符は0.6秒で出てくる
  • ICカード(Suicaとか)は0.2秒で全処理を終える必要がある
  • 料金は各種割引を考慮して最安を選ぶ
  • 5路線目は考えなくていい
  • 大阪圏では相互乗り入れが少なかったので自動改札が作り易かった
  • 首都圏の駅は3000個もある。マジ?
  • ICカードのせいで相互乗り入れ増える→件数爆発
  • 大勢で切符持って歩きまくるは都市伝説じゃなかった
  • でもそれだとテスト件数がO(102)。疲れるから。
  • ICカードのふりをするテスト用の装置を作っても件数はO(103)
  • そもそもテストケース作成に属人性があった
  • 廃するべく、機械的に全パターン作った→1040 むり。しぬ
  • 不要なケース削る。その過程で「削った理由」をはっきりさせることで残りのケース(を通した結果)に自信がつく?(これ肝でした)
  • 107くらいになった
  • それでも全部実行すると2w - 2months かかる。(テストを機械でぶん回してこんなにかかるのか聞きたかった)
  • ケース数が多すぎて各ケースの正例を作れない。→別のアルゴリズム&別部隊&別言語で、対照用のプログラムをもう1つ作った(C++とJavaだった)→出力が一致すれば(たぶん)正解扱い、食い違ったら調べる。まあ両方間違っていることもあるだろう。
  • やってみるととんでもない「そのテストケース無理!思いつかん!!!!」みたいなのは出てくる
  • 仕様を仕様記述専用言語で書き直すとページ数が3割くらい増えた
    →仕様にもかなりの暗黙知が含まれていたことが発覚
  • 全ての言葉を定義し直して書き直すことで仕様書がロジカルになってよかった(副作用)
おまけ:<sup>のタグを初めて使った。
テスト実行方法&結果データ照合方法とかも聞けばよかったなー。

検索キーワード:

記事

  • 2019-09-09
    • 1. [Internet]Signin with Googleの制限
    • 2. [自転車]ブレーキパッド交換
  • 2019-08-31
    • 1. [ubuntu]ubuntu18.04のノートPCがサスペンドから復帰しない
  • 2019-08-17
    • 1. [Internet]bye, Yahoo
  • 2019-08-16
    • 1. [Emacs]straight.elに乗り換え。
  • 2019-08-15
    • 1. [社会][Internet]IT社会とニュース

カテゴリ

Amazon | Android | apache | Arduino | bash | bluetooth | Books | CakePHP | CakePHP3 | Chrome | CSS | Docker | Eclipse | Emacs | etc | Firefox | Flask | Gadget | git | Gnome | Google | Heroku | HTML | Internet | iPhone | IS01 | IS03 | Java | JavaScript | json | Kotlin | LINE | magento | mysql | nginx | nodejs | Oops | PC | Perl | php | Python | Qt | Ruby | ruby | Shell | tdiary | twitter | ubuntu | unix | Web | Windows | windows | WindowsMobile | WX5 | YAML | zsh | ここか | そば | つくる | つり | できごと | アクアリウム | ギター | セキュリティ | プリンタ | ベース | ボクシング | ポエム | マネー | メシ | ラズパイ | 仕事 | 作家 | 壮絶 | 妄想 | 忘れる | 料理 | | 暑い | 痛い | 社会 | 自転車 | | 車輪 | | 野球 | 銭湯 | 音楽 |

全部 : / 今日 :

近頃

links

profile

もっとヒゲ伸ばしたい。