1) Control Flow

Statement Coverage: To write test cases such that every statement is executed at least once, it is a weak criteria, it will not test the validity of logical operators

Decision (Branch) Coverage: Decision Coverage (also called Branch Coverage) states that test cases must be written such that each decision has a True and False outcome at least once, Decision Coverage emphasizes that each branch direction must be executed at least once, It usually satisfies Statement Coverage

Condition Coverage: Condition Coverage technique states that test cases must be written such that every condition in a decision takes all possible outcomes at least once, Condition Coverage technique may not cover all decision outcomes


Decision/Condition Coverage: Decision/Condition coverage technique states that each condition should take on all possible outcomes at least once and each decision must take on all possible outcomes at least once


Multiple Condition Coverage: Multiple Condition coverage technique states that test cases must be written such that all possible combinations of conditions in each decision are taken at least once

Loop Coverage: Loop coverage technique states that test cases must be written to test the loop counters

2) Data Flow

All Definitions
All Predicates Uses
All Computation Uses
All P-uses/some C-uses
All Uses



Walkthrough - Main purpose: understanding

• Author guides the group through a document, so all understand the same thing, concensus on changes to make

Review - Main purpose: decision-making

• Group discusses document and makes a decision about the content, e.g. how something should be done, go or no-go decision

Inspection - Main purpose: find defects

• Formal individual and group checking, using sources and standards, according to detailed and specific rules
• Inspection is a well-defined process