JaSST資料にあるカバレッジ表に近づいている？

ブログのデザインを変更したらコメントできなくなってしまった。。。ので記事としてアップ。

==

前の記事でコメントがあったとおり、#2は不要となる。それを確認するためにチェックリストをくっつけてみた。

論理展開式をどのテストケースがカバーしているかをチェックしてみた。なんだか、JaSSTの原因結果グラフのところのカバレッジ表に似てきた気もするが、気にしなーい。＾＾

#2がカバーしている論理展開式は他のテストケースによってカバーされていることがわかる。が、同時に#1でも同じことが言えるように見える。ただし、違うところは、もし#1をテストケースに含めないとすると、（年俸1000万円以上、セ・リーグ所属）＝（T、F）という論理展開式のカバー数が1になってしまう点だ。（#2をテストケースに含めない場合はそういったことはない）

どちらをテストケースに含めない、としてもいいが、#2のほうがベター、といったところか。かな。