Cause-Effect Graphing uses a model of the logical relationships between causes and effects for the component. Each cause is expressed as a condition, which is either true of false (i.e. a Boolean) on an input, or combination of inputs, to the component. Each effect is expressed as a Boolean expression representing an outcome, or a combination of outcomes, for the component having occurred.
The model is typically represented as a Boolean graph relating the derived input and output Boolean expressions using the Boolean operators: AND, OR, NAND, NOR, NOT. From this graph, or otherwise, a decision (binary truth) table representing the logical relationships between causes and effects is produced.Test cases shall be designed to exercise rules, which define the relationship between the component's inputs and outputs, where each rule corresponds to a unique possible combination of inputs to the component that have been expressed as Booleans.
For each test case the following shall be identified:
- Boolean state (i.e. true or false) for each cause- Boolean state for each effect.