Cause-effect graphing

More documents

Recommendations

Info

Fault propagation The generation algorithms ensure that certain types of faults are propagated to the root node Does not propagate N6 v true N6 v true N4 ^ true fault false N4 v true false 28
Fault propagation The generation algorithms ensure that certain types of faults are propagated to the root node Does propagate N6 v false N6 v true N4 ^ false fault false N4 v false false 29
Page 1 and 2: Test and Verification Lecture 4 Cau
Page 3 and 4: Cause-effect graphing A.k.a. Depe
Page 5 and 6: Notation C implies Ef C Ef Not C
Page 7 and 8: Notation Exclusive: either C1 or C
Page 9 and 10: Notation Ef1 masks Ef2 Example:
Page 11 and 12: Example Causes C1: Purchas
Page 13 and 14: Example E C1 C2 Ef1 C3 C4 v Ef2 C5
Page 15 and 16: DT from CE graph CEGDT Input: Ca
Page 17 and 18: Heuristics C1 Or node Desired sta
Page 19 and 20: Heuristics C1 And node Desired st
Page 21 and 22: Predicates Boolean expressions B
Page 23 and 24: Fault model Boolean operator fault
Page 25 and 26: Fault model Not guaranteed to be
Page 27: Generating We left out this part
Page 31: White box Program based predicate

Cause-effect graphing

Create successful ePaper yourself

Delete template?

Save as template?