Changes between Version 9 and Version 10 of Developer/Coverage/Theory

Timestamp:

09/10/09 23:48:59 (15 years ago)

Author:

GlennHumphrey

Comment:

Added example explanations

Developer/Coverage/Theory

@@ -16 +16 @@
  *  '''Object Coverage''' - Has each line of generated assembly been executed?
 
-In order to illustrate what is covered by each of the different criteria, consider the following simple example
+In order to illustrate what is covered by each of the different criteria, consider the following example showing the source code for a simple if statement along with its generated pseudo-code instructions.
 
-{{{
-if (x || y)
-  do something
-}}}
-
-along with its psuedo object code
-
-{{{
-cmp x, 0
+{| border="1" style="margin: 1em auto 1em auto;text-align: left;"
+|+
+|-
+|'''Block''' || '''Source Code''' || '''Block''' || '''Object Pseudo-code'''
+|-
+| A || if (x OR y) || A1 || cmp x, 0
 branch if FALSE to do something
-cmp y, 0
+|-
+| || || A2 || cmp y, 0
 branch if TRUE around do something
-do something instructions
-}}}
+|-
+| B || do something || B|| do something instructions
+|-
+|}
 = Statement Coverage =
 
 
-Statement coverage verifies that each line of source code in a source file is represented by generated assembly and that that assembly code is exercised.
+Statement Coverage requires that each line of source code must be executed.  In our example, a single test case that allows the if statement to evaluate to TRUE will achieve 100% Statement Coverage.
 = Decision Coverage =
 
 
-TBD
+Decision Coverage requires that each control structure evaluate to both TRUE and FALSE.  In our example, two test cases are required to achieve 100% Decision Coverage.  One case must allow the if statement to evaluate to TRUE and the other case must allow the if statement to evaluate to FALSE.
 = MC/DC =
 
 
-This is also known as [http://en.wikipedia.org/wiki/Modified_Condition/Decision_Coverage Modified Condition/Decision Coverage].
+[http://en.wikipedia.org/wiki/Modified_Condition/Decision_Coverage Modified Condition/Decision Coverage] requires that every condition in a decision taken on all possible outcomes at least once? Has each condition been shown to affect that decision outcome independently?
 = Object Coverage =
 
 
-TBD
+Object Coverage requires that each line of generated assembly been executed.  In our example, only a test case where x is FALSE and y is TRUE will achieve 100% Object Coverage.
 = Criteria Relationships =