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

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み 厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 本記事は、前編、中編、後編の3部構成です。お読みのページは後編です。 大規模なテストをどうやって実行しているか 続いて、大規模なテストについて。 1000万件のテストパターンを作っても、それぞれのテスト結果の正解を人手で作っていたら追いつきません。なので、別々に運賃計算ソフトウェアを作って、その答えを突き合わせてチェックしよう、という話です。 例

[itochan]

もらえばいいじゃん。それだけの「高品質」なのだから。　＞でもお客様には検証用のも合わせて2つソフトウェアを作るから費用を2倍にしてくれとも言えないので、　／　これ微妙にJRを恨んでる文章ですね

[azumi_s]

デバック超重要なのにやっぱりそこが軽んじられるんだよなー。この例ですらも。

[kz78]

"でもお客様には検証用のも合わせて2つソフトウェアを作るから費用を2倍にしてくれとも言えないので、頑張って作るしかないです。" 理詰めなのかと思ったら、割と根性論だ

[MxHaltfors]

やめれ。 > 「同じ乗り継ぎでもこっちの方向は10円割引だけれど逆方向だと20円割引とか、どういう経緯でできたのか分かりませんが」

[jccommunications]

面白い記事だが、根性論も一部にあり。引用：お客様には検証用のも合わせて2つソフトウェアを作るから費用を2倍にしてくれとも言えないので、頑張って作るしかないです。

[nilab]

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

[securecat]

これだけちゃんとこういうことやってますっていうなら、予算も倍にしてもらえばいいのにね

[rna]

全パターンのテストケースを書けないので別アルゴリズムで検証用テストプログラムを書く。VDM++による仕様記述。

[betelgeuse]

@kyanny 似た話がありますね 『テスト対象となる実機用の運賃ソフトウェアと、検証用の運賃ソフトウェアは別のチーム、別のアルゴリズム、別のプログラミング言語で作ります』

[warud]

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

[crosscrow]

うわあって思ってしまったけど、確かに合理的だ。

[Untouchable]

別のチームが作った実機用と検証用ソフトウェアの結果を付きあわせ。検証用の方はアルゴリズミックに計算を行う／コンピュータで検証可能な仕様書か…

[benelux]

via Read it Later

[yuuichi-fuse]

*形式使用言語*にしびれる。すげーなこれ。今の場所に適用したら凄く幸せになれそうだけど知識も手も足りない。

[mentum]

大規模なテストをどうやって実行しているか／基になるデータベースも間違っている可能性があるので、検証用は別に手入力／仕様書を形式仕様記述言語で書く／仕様書テストでは、日本語での問題を見つけられた

[snjx]

大規模ソフトの開発に関するとてもエキサイティングなレポート。すべてのステップで間違う可能性を考慮している！ すばらしい。

[f_oggy]

形式仕様記述かー。上流工程の品質を上げようとするとそういう方向にいくよね、やっぱ。

[tototti]

別言語、別アルゴリズムで２つ作り、結果を突き合わせると・・・・。

[t_f_m]

"仕様書そのものを実行して計算できたらいいな" / 定理証明系のことを思い出した

[kdmsnr]

VDM++

[su_zu_ki_1010]

テストパターンの絞り込みは大切。また、検証用のソフトウェアを作っているというのはそこまでやっているのか、と感心した。

[nacrie]

同値を確保するツール開発と、仕様書の形式言語化のお話。前者はうちのプロジェクトでも取り組んでていい感じだったのでパッケージ化したりって話も。後者はロジックの裏の業務知識をどこまでカバーできるかが肝

[inulab]

とりあえず頑張る。但し給料は上がらない。

[deep-sound]

形式仕様記述言語 vdm++

[jun_okuno]

"日本語の仕様書を形式仕様記述言語にすると9400行になったのですが、そのうち1400行は日本語の仕様書に書かれていなかった用語の定義などでした。"

[myrmecoleon]

実運用用と検証用を別に作って付け合わせて，違ってたのは人手でチェックして検証。検証用はデータベース入力からすべてまったく別に作ってるのか。。。／最後に必要なのは「やろうという強い意志」。

[r-west]

Quickcheckとかの論理の自動チェックって、小さい粒度の自明な実装だと、テストとテスト対象が同じになるか、十分性に欠ける確認しかできないジレンマ

[shields-pikes]

地獄のテスト。だから消費税を二段階で増税するのは辞めてあげて……。税率の変更って、まあ国内では仕事を生み出すことにはなるけど、無駄な作業で国際競争力は落ちるよね。

[burnworks]

『実験的なプロジェクトとして、仕様書を形式仕様記述言語で記述することに取り組みました。これによって仕様書が分かりやすくなったり、あるいは仕様書の問題点が見つけられればいいかなと。』

[ks1234_1234]

オムロン

[asakura-t]

定義は大事だよね。

[isaisstillalive]

検証用に、時間無制限で確実にルート計算するツールを別に用意。仕様書を自然言語からspec化する

[hitoriyokozuna]

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） - 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日...

[mattarin]

「別々に運賃計算ソフトウェアを作って、その答えを突き合わせてチェック」ｗ