第51回　SEA関西プロセス分科会のご案内

自動改札機ソフトウェアの品質向上の取組み
 〜厳密な仕様、漏らさないテストを目指して〜

講師

主催　：ソフトウェア技術者協会 関西支部 プロセス分科会

日時　：2013年04月19日(金) 18:30～21:00 (18:00 開場)

会場　：

大阪市立大学文化交流センター
　　〒530-0001　大阪市北区梅田1-2-2-600
　　大阪駅前第２ビル６階　大セミナー室
　　Tel　06-6344-5425　/　Fax　06-6344-5524
　　アクセス

内容　：

鉄道の自動改札機に搭載されているソフトウェアの信頼性を高めるために、開発現場ではこれまでにいくつもの取組みを実施してきました。
たとえば、ICカードを改札機にタッチしたときの乗車駅・降車駅・定期券の経路などの組合せのパターンは10の40乗を超えますが、運賃計算ソフトウェアのテストではそこから「不具合は漏らさないが実行可能な規模のテストパターン」への絞り込みを自動的に行っています。また、形式仕様記述言語を利用して、現状の仕様書の問題点を明らかにしました。
本講演では、自動改札機の概要およびこれらのソフトウェアの信頼性を高めるための取組みを紹介いたします。

講師紹介