« 2009年1月 | トップページ | 2009年4月 »

WACATE-Magazine 第3号発行

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

Wacatemagazine003


WACATE-Magazine

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

| | コメント (0) | トラックバック (0)

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

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

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

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

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

今回の勉強会で学んだ、

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

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

  • 結果から探してみる

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

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

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

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

    Jr_2

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

    Jrdt_2


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


    | | コメント (2) | トラックバック (1)

    « 2009年1月 | トップページ | 2009年4月 »