16 Comparing QA Techniques Flashcards
Types of QA Alternatives
Formal Verification
Defect Prevention
Testing
Inspection
Fault tolerance
Failure Containment
Formal Verification
Positive Confirmation/Correctness.
On design/Code with formal spec.
Low/No defect situations.
Practicality: high cost to benfits.
Human intensive, rigorous training. (therefore, high up-front cost)
Defect Prevention:
Most effective if causes known.
Good at pervasive problems.
Low cost, due to downstream damage.
Issue: “if causes”, and up-front cost.
Inspection:
Good throughtout dev. process.
Works on many software artifacts.
Conceptual/static faults
High fault density situations.
- non-blocking
- experience to efficiency.
Human intensive, varied cost.
Fault Tolerance (FT)
Dynamic problems (must be rare)
High cost & reliability (low defect)
Technique problems (independent NVP)
Process/technology intensive.
Failure Containment
Similiar to FT, but even more so.
Rare conditions related to accidents.
Extremely high cost.
- apply only when safety matters.
Many specialized techniques.
Process/technology intensive.
In practice, a QA Engineer needs an :
integrated/combined strategy & automated tool support.