1. 1 testing18 Software Testing Functional, MCC, Dataflow Testing, Cause-Effect Graphing

2. 2 testing18 condition123456 0< hTttFTT h<80TTFtTT 40< hFTTfxx 0 < wTTxxTF w < 100TTxxFT outputn.e. h/w wag Solution

3. 3 testing18 Multiple Condition Coverage u For each decision –test case for true and test case for false –same as C1 u For each complex (involves logical operators) decision –test case for each combination of T/F for each relational operator –A || B requires TT, TF, FT, FF –Lazy evaluation => TX, FT, FF

4. 4 testing18 TTYP Task – MCC u Generate the test sets to achieve multiple condition coverage for the “if a>=b+c || b>=a+c || c>=a+b” decision in the triangle problem

5. 5 testing18 Data flow coverage u Def x is a node where x is defined (given a value) u Use x is a node where the value of x is used in an expression or a decision –C use is in a computation –P use is in a decision (predicate) u A def-free path is a path from a definition to a use that does not include another definition of that variable.

6. 6 testing18 dcu - from every def to a c-use u c-use (computation) u if a variable is defined in node A and there are computational uses in node B and D, the dcu coverages requires an def-free path segment of either ABC or ACD

7. 7 testing18 dpu - from every def to a p-use u p-use (predicate) u if a variable is defined in node A and it is used in a decision in C, the dpu coverage requires two def-free paths, one with segment of A...CD and one with A...CE

8. 8 testing18 du - from every def to every use u if a variable is defined in node A and there are computational uses in node B and D, the du coverage requires a def-free path from node A to node B and a def-free path from node A to node D

9. 9 testing18 TTYP task u Generate test case sets for triangle problem –dpu –dcu –du

10. 10 testing18 Cause-Effect Graphing u Identify the basic conditions: b1, b2 (aka causes, atomic conditions) u Identify the effects as boolean expressions of the conditions u Identify combinations of the boolean expressions

11. 11 testing18 Classic Example - boiler u Boiler should shut down if –Water level is below 20,000 lb –Water level is above 120,000 lb –Degraded mode and steam meter fails (Degraded mode if water pump has failed or pump monitor has failed)

12. 12 testing18 Conditions for boiler u B1 – water below 20,000 lbs u B2 – water above 120,000 lbs u B3 – water pump has failed u B4 – pump monitor has failed u B5 – steam meter has failed u E1 – shut the boiler u E1 = (B1 or B2 or (B5 (B3 or B4))

13. 13 testing18 Tuesday, Apr 11 u OO testing –Pressman 372-375,410-423 –SOS ch 13 u PreLecture quiz –functional, mcc, data-flow,