等价类划分方法把所有可能的输入数据 (即程序的输入域) 划分成若干部分，然后从每一部分中选取少数有代表性的数据做 测试用例。使用等价类划分方法设计测试用例要经历划分等价类 (列出等价类表) 和确立测试用例两个步骤。
等价类划分是一种典型的黑盒测试方法。等价类划分方法完全不考虑被测程序的内部结构，只依据程序的规格说明来设计测试用例。
黑盒测试把测试对象当作看不见内部细节的“黑盒”，在完全不考虑被测程序内部结构和处理过程的情况下，仅仅依据程序功能的需求规格设计测试用例，并推断测试结果的正确性。
黑盒测试也称为功能测试或数据驱动测试，要求导出执行被测程序所有功能需求的输入条件集，生成测试用例集，实现功能覆盖。功能覆盖主要是需求覆盖，即通过设计一定的测试用例，对每个功能需求点进行测试。根据软件产品需求规格说明中的功能设计规格进行测试，以证实每个实现了的功能是否符合规格要求。
白盒测试按照程序内部逻辑结构和编码结构来设计测试数据并完成测试，是一种典型的动态测试方法，又称为结构测试或逻辑驱动测试。白盒测试直接分析源代码，确定测试内容和测试方法，应该覆盖全部代码、分支、路径和条件。
Halstead 复杂度（Maurice H. Halstead, 1977）是软件科学提出的第一个计算机软件的分析“定律”，用以确定计算机软件开发中的一些定量规律。
Halstead 复杂度采用一组基本的度量值，这些度量值通常在程序源代码产生之后直接得到，或者在设计完成之后进行估算。
软件生命周期测试概述以及15项测试要素的解释。
