WACATE-Magazine 第3号発行

ワカテエンジニア向けのワークショップ「WACATE」が月刊誌を発行しています。ついこの間第3号がでました。

WACATE-Magazine

テスト関連で有名な方のコラムや、ワカテのコラムなど盛りだくさんですね。

原因結果グラフの勉強会 宿題を解いてみよう

昨日、勉強会があって、原因結果グラフを作成する宿題が出ました。そのうちの1問はこちら。

JR乗車券類の誤購入の場合の取扱方

第293条
1 旅客が、誤つてその希望する乗車券、急行券又は特別車両券と異なる乗車券、急行券又は特別車両券を購入した場合で、その誤購入の事由が駅名の同一・類似その他やむを得ないと認められ、かつ、係員がその事由を認めたときは、正当な乗車券、急行券又は特別車両券に変更の取扱いをする。
ただし、指定急行券及び指定特別車両券については、この取扱いをしない。

2 前項の場合は、既に収受した旅客運賃、急行料金又は特別車両料金と正当な旅客運賃、急行料金又は特別車両料金とを比較し、不足額は収受し、過剰額は払いもどしをする。

今回の勉強会で学んだ、

仕様をわかりやすい言い方に変換する

仕様に印をつけて、ノードを洗い出す

結果から探してみる

中間ノードは観測可能なものはいっしょくたにしない

といったところに注意してみたい。

「乗車券、急行券又は特別車両券」・・・これはA,B,orC＝AorBorCという意味のはず。なので、同じような表現である「旅客運賃、急行料金又は特別車両料金」も同じ。

僕が作ってみた解答はこちら。

で、今回の勉強会では登場しなかったのですが、制約条件を付けてデシジョンテーブルにしてみるとこちら。

でも、よく見ると「差額がゼロ円という」ケースがテストされていない。。。どこで間違えたかしら。