13.07.2015 Views

Control Flow Testing - Software Engineering: Dependability

Control Flow Testing - Software Engineering: Dependability

Control Flow Testing - Software Engineering: Dependability

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Control</strong> <strong>Flow</strong> <strong>Testing</strong>Simple Condition Coverage<strong>Software</strong> Quality Assurance – Dynamic Test© Prof. Dr. Liggesmeyer• If the test cases 1 and 16 werechosen a complete branch coveragewould have been achieved• As the example shows there are testcases which fulfill the simplecondition coverage without ensuringa branch coverage• The simple condition coverage doesnot ensure the branch coverageA B C D A||B C||D (A||B)&&(C||D)1 F F F F F F F2 F F F T3 F F T F4 F F T T5 F T F F6 F T F T7 F T T F8 F T T T9 T F F F10 T F F T11 T F T F12 T F T T13 T T F F14 T T F T15 T T T F16 T T T T T T T21

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!