检验需求分析文档与用户要求是否一致：检验所有参加项目人员对需求分析文档和

用户要求的理解是否正确。

(2)设计阶段

检验设计

(概要设计和详细设计)是否与需求分析文档一致；设计的结构化程序及每个

模块是否合理；检验每个模块是否符合系统规范要求；检验模块与系统间的组合，特别

重要的输入及边界条件下的组合。

(3)编码阶段

逐行地阅读、校验书面程序是否正确，以便发现代码中的错误，及对计算机环境规范

方面的差错。

1.2 动态测试

“

”

“

动态测试 也就是要经过程序运行测试用例而进行的测试，所以动态测试常称 程序

”

“

” “

”

测试 。程序测试通常有 黑盒测试 和 白盒测试 之分。如果软件产品具备的功能已经知道，

测试软件产品的每一个功能是否达到了预期的要求，这种测试称为黑盒测试；如果知道

“

软件程序的内部活动方式，测试程序内部活动是否符合设计要求，这种测试称为 白盒测

”

试 。

黑盒测试

(Black-Box Testing)又称功能测试，数据驱动测试(Data Driving 

Testing)或基于规格说明的测试。在进行黑盒测试时，仅把软件当作一个黑盒，只需知道

程序输出和输入之间的关系或者程序的功能。因此，黑盒测试是从用户的观点出发的测试。

它是从软件需求出发，根据软件需求规格说明设计测试用例，并根据测试用例的要求运

行被测程序的测试方法。它较少关心程序内部的实现过程，侧重于程序的执行结果，将被

测程序看成是不可见的黑盒子，因此被称为黑盒测试。黑盒测试着重于验证软件功能和性

能的正确性，其典型测试项目包括功能测试、性能测试、边界测试、强度测试等。

白盒测试

(White—Box Testing)又称结构测试，逻辑驱动测试或基于程序的测试。采

用这一测试方法，测试者必须看到被测的源程序，分析程序的内部结构，并根据其内部

构造设计测试用例。白盒测试是一种按照程序内部的逻辑结构和编码结构设计并执行测试

用例的测试方法。采用这种测试方法，测试者需要掌握被测程序的内部结构。白盒测试通

常根据覆盖准则设计测试用例，使程序中的每个语句、每个条件分支、每个控制路径都在

程序测试中受到检验。白盒测试需要运行程序，并能在运行过程中跟踪程序的执行路径。

黑盒测试是以用户的角度来看待软件的质量，从输入数据与输出数据的对应关系，

也就是根据程序外部表现特性进行的测试，而不考虑程序内部的逻辑结构和工作状况。黑

盒测试技术依赖软件的规格说明书，假设软件的规格说明书是正确的，通过划分程序的

3