【改^2】原因結果グラフ デシジョンテーブル作成
原因結果グラフからデシジョンテーブルを作成する、の巻。その3。
==
(1) 原因と結果の洗い出し
(2) 原因結果グラフ作成
(3) 原因結果グラフ修正
では、まずは前回作成したグラフは以下のとおり。
煩雑さをなくすために原因にあたる6つの条件を①~⑥とする。
途中の手順は何度も書いているので省略しちゃう。受信に関するデシジョンテーブルと一時拒否に関するデシジョンテーブルはこれ。
んで、何度も直している拒否に関するデシジョンテーブルは以下のとおり、中間ノードaを中継して作成。
同一のテストケースや集約できるものは集約するとこんな感じ。
3度目の正直。これであってる、、、はず。
正直言うと、中間ノードaに関するデシジョンテーブルと拒否に関するデシジョンテーブルを合成するロジックがまだ納得度50%くらい。(⑥、a)=(F、T)の割り付け方が他にもあるんだけれど、なぜこれでいいのか。。。
マイヤーズの本に沿ったやり方だと、やはりテストケースも違うものになるのだろうか。。。
| 固定リンク
この記事へのコメントは終了しました。

コメント
> 3度目の正直。これであってる、、、はず。
はい。正解です。お疲れさまでした。
> 正直言うと、中間ノードaに関するデシジョンテーブルと
> 拒否に関するデシジョンテーブルを合成するロジックが
> まだ納得度50%くらい。
> (⑥、a)=(F、T)の割り付け方が他にもあるんだけれど、
> なぜこれでいいのか。。。
> マイヤーズの本に沿ったやり方だと、やはり
> テストケースも違うものになるのだろうか。。。
結論から言うと、できあがる表は1種類ではありません。
他の割り付け方ですべての論理展開式(各ノードで作成
した真理値表)が網羅されていればOKです。
私は、そのために、JaSST資料、
http://www.jasst.jp/archives/jasst07e/pdf/A5.pdf
の、37ページにあるカバレッジ表というのを作成しています。
それから、マイヤーズ本のやり方は私には分かりませんでした。
(どうもうまくいきませんでした)
また、「ソフトウェア設計の基礎(大木幹雄、日本理工出版会)」にも
原因結果グラフの解き方が載っているそうなのですが、
その方法でも違う結果になるそうです。
投稿: あきやま | 2007年3月19日 (月) 07:11
>あきやまさん
コメントありがとうございます。何度もお付き合いありがとうございます~。^^
> 結論から言うと、できあがる表は1種類ではありません。
> 他の割り付け方ですべての論理展開式(各ノードで作成
> した真理値表)が網羅されていればOKです。
なるほど。試しにこのグラフで別の割り付け方の結果を見比べて見ます。
> 私は、そのために、JaSST資料、
> http://www.jasst.jp/archives/jasst07e/pdf/A5.pdf
> の、37ページにあるカバレッジ表というのを作成しています。
カバレッジ表もまだ謎(汗)なんですが、テストケースがいきなり8個となっているのがどうしてなんだろう?と思いました。
マイヤーズのやりかたは時間を見て挑戦はしてみます。できるかどうかは不明ですが。
投稿: softest | 2007年3月19日 (月) 16:20