Cause-effect graphing

More documents

Recommendations

Info

CEG and Predicate testing Relationship among causes can be seen as predicates Effects can be used to generate oracle BOR-CSET vs. CEGDT BOR-CSET slightly less <strong>effect</strong>ive BOR-CSET significantly smaller test sets 30
White box Program based predicate test generation In practice it is hard to find input which exercises the chosen combinations 31
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 and 28: Generating We left out this part
Page 29: Fault propagation The generation a

Cause-effect graphing

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?