原因結果グラフを解剖 - 制約記号

原因結果グラフを解剖 - AND/ORなど

引き続き、制約条件を表すグラフをチェック。制約とはありえない組合せを表現するための表記で、ソフトウェアテストではとても重要。

EXCLUSIVE OR（EXC、排他的）

排他的EXCは、原因ノードのうち「T」になれるのはひとつだけ。「NHKを見るか、フジテレビを見るか、それともテレビを見ないか」。

INCLUDE（INC、包含）

包含INCは、原因ノードのうち、少なくともどれかが「T」でなければならない。「自動販売機の、コーヒーを押そうか、お茶を押そうか、それとも両方押しちゃおうか」。

ONE（ONE、一方のみ）

ONE制約は、原因ノードのうち、どれかひとつだけが「T」でなければならない。「じゃんけんの結果は、勝ちか、負けか、あるいはあいこ」。

REQUIRE（REQ、必要）

REQ制約は、原因ノードが「T」ならば、かならず結果も「T」にならなければならない。「充電がなくなれば、携帯電話はつながらない」。ちょっと違うか。

この他にも、隠蔽（M）があるらしいのだが、お目にかかったことがない。どういうときに使う制約なんだろう。