大部分软件开发项目依靠结合代码检查、结构测试和功能测试来识别软件设计缺陷。尽管这些软件测试技术非常重要，而且能发现大多数软件开发BUG，但它们无法检查出当今复杂软件开发系统中的许多共性错误。这里介绍如何避免那些隐蔽然而常见的错误，并介绍的几个软件缺陷识别技巧帮助软件开发工程师发现软件中隐藏的错误。

结构测试或白盒测试能有效地发现代码中的逻辑、控制流、计算和数据错误。这项测试要求对软件的内部工作能够一览无遗(因此称为"白盒"或"玻璃盒")，以便了解软件结构的详细情况。它检查每个条件表达式、数学操作、输入和输出。由于需要测试的细节众多，结构测试每次检查一个软件单元，通常为一个函数或类。

代码审查也使用与实现缺陷和潜在BUG查找同样复杂的技术。与白盒测试一样，审查通常针对软件开发的各个单元进行，因为一个有效的审查过程要求的是集中而详尽的检查。

与审查和白盒测试不同，软件功能测试或黑盒测试假设对软件的实现一无所知，它测试由受控输入所驱动的输出。功能测试由测试人员或开发人员所编写的测试过程组成，它们规定了一组特定程序输入对应的预期程序输出。测试运行之后，测试人员将实际输出与预期输出进行比较，查找BUG。黑盒测试可以有效地找出未能实现的需求、接口BUG、性能BUG和程序最常用功能中的错误。

虽然将这些软件测试技术结合起来可以找出隐藏在一个特定软件程序中的大部分错误，但它们也有局限。代码审查和白盒测试每次只针对一小部分代码，忽视了系统的其它部分。黑盒测试通常将系统作为一个整体来处理，忽视了实现的细节。一些重要的BUG只有在集中考察它们在整个系统内相互作用时的细节才能被发现；传统的方法无法可靠地找出这些BUG。必须整体地检查软件系统，查找具体BUG的特定原因。由于详尽彻底地分析程序中的每个细节和它与代码中所有其它部分之间的相互作用通常是不大可能的，因此分析应该针对程序中已经知道可能导致BUG的特定方面。