Complexity of Software

• Commercial software contains errors

• • The problem is complexity
  • Software testing can demonstrate the presence of bugs but cannot demonstrate their absence
  • • As we find problems and fix them, we raise our confidence that the software performs as it should
    • But we can never guarantee that all bugs have been removed