Chris Johnson, Index

---

Static Testing Techniques

• Walkthroughs and code inspections:
  - peer review by other engineers.
  
  
• Fagan inspections:
  - review of design documents.
  
  
• Symbolic execution:
  - use term-rewriting on code;
  - does code match specification?
  
  
• Metrics:
  - lots (eg cyclomatic complexity);
  - most very debatable...

---