Cause-effect graphing

More documents

Recommendations

Info

Testing criteria BOR: Boolean operator BRO: Boolean and relational operator BRE: Boolean and relational expression 26
Generating We left out this part Generating BOR, BRO and BRE adequate test sets 27
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: Fault model Not guaranteed to be
Page 29 and 30: Fault propagation The generation a
Page 31: White box Program based predicate

Cause-effect graphing

Create successful ePaper yourself

Delete template?

Save as template?