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

2012/09/23 280 users オムロンソーシアルソリューションズ Publickey

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（中編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み　厳密な仕様、もらさないテストを目指して」... 続きを読む

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

2012/09/23 312 users オムロンソーシアルソリューションズ Publickey

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み　厳密な仕様、もらさないテストを目指して」... 続きを読む

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

2012/09/23 2346 users 改札 運賃 自動改札 一瞬 路線

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運... 続きを読む

同一の仕様からプログラムを2つ開発し結果を自動で照合する取組みが有効なドメインは？：森崎修司の「どうやってはかるの？」：ITmedia オルタナティブ・ブログ

2012/08/23 20 users オムロン 森崎修司 Tech-On 運賃計算 ドメイン

非常に高い信頼性が求められ、入力、出力ともに組合せが多く、機械的に結果を照合できる。そして、コストもなんとか確保できる。鉄道の自動改札機の運賃計算で同じ仕様から別チームで2つのプログラムを開発して、それぞれの結果を照合しているそうです。Tech-onの記事（10の40乗通りの運賃パターンにどう対応する？---オムロンの自動改札機用組み込みソフト）として掲載されています。 2つのチームで、異なる方針... 続きを読む