CEGTestのメニュー一覧。データのクリア、エクスポート/インポート機能など。
原因結果グラフを作成するためのツール一覧。ノードの配置や制約の配置など。
原因結果グラフを作成する領域。
各操作に対応したガイダンス・インフォメーション・警告などを表示。メッセージが表示された状態でクリックすると、メッセージが消えます。
作成した原因結果グラフを元にして、論理関係を網羅するテスト条件をマトリクス表示したもの。各ノードの位置・論理関係の深さに応じて並べ替えが行われる。
行方向 | ノード。 |
列方向 | テスト条件。 |
T | ノードが真である。 |
t | 論理上ノードが真でならざるを得ない(該当する真偽の組合せが論理式にない)。 |
F | ノードが偽である。 |
f | 論理上ノードが偽でならざるを得ない(該当する真偽の組合せが論理式にない)。 |
M | MASK制約により真偽が決定できない。 |
I | 原因側のノードが真偽不明のため真偽が決定できない。 |
ダブルクリックすると非表示となります。また、ドラッグすることで移動することができます。
作成した原因結果グラフを元にして、網羅すべき論理式をリスト表示したもの。各ノードの位置・論理関係の深さに応じて並べ替えが行われる。
行方向 | 論理式と対応する真偽値。 |
列方向 | ノード。 |
T | ノードが真である。 |
F | ノードが偽である。 |
# | このテスト条件が、対応する論理式を網羅していて、かつ唯一。 |
x | このテスト条件が、対応する論理式を網羅していて、かつ唯一ではない。 |
ダブルクリックすると非表示となります。また、ドラッグすることで移動することができます。