文档介绍：第 3 章软件测试的方法和技术
软件测试方法概述
白盒测试
黑盒测试
测试用例设计
软件测试方法概述
软件测试的种类大致可分为人工测试和基于计算机的测试。而基于计算机的测试又可分为黑盒测试和白盒测试。

黑盒测试是根据软件产品的功能设计规格,在计算机上进行测试,以证实每个已经实现的功能是否符合要求。黑盒测试意味着测试要在软件的接口处进行。

白盒测试是根据软件产品的内部工作过程,在计算机上进行测试,以证实每种内部操作是否符合设计规格要求,所有内部成分是否已经过检查。白盒测试把测试对象看做一个打开的盒子,允许测试人员利用程序内部的逻辑结构及有关信息,设计或选择测试用例,对程序所有逻辑路径进行测试。通过在不同点检查程序的状态,确定实际的状态是否与预期的状态一致。
白盒测试
白盒测试也称为结构测试或逻辑驱动测试,前提是知道产品内部工作过程,可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行,按照程序内部的结构测试程序,检验程序中的每条通路是否都能够按预定要求正确工作,而不管产品的功能,主要用于软件验证。
白盒测试方法又可分为静态测试和动态测试。静态测试是一种不通过执行程序而进行测试的技术,其关键功能是检查软件的表示和描述是否一致,没有冲突或者没有歧义。它瞄准的是纠正软件系统在描述、表示和规格上的错误,是任何进一步测试的前提。而动态测试需要软件的执行,当软件系统在模拟的或真实的环境中执行之前、之中和之后,对软件系统行为的分析是动态测试的主要特点。它显示了一个系统在检查状态下是正确还是不正确。
白盒测试的动态测试要根据程序的控制结构设计测试用例,其原则是:
(1)保证一个模块中的所有独立路径至少被使用一次;
(2)对所有逻辑值均需测试true和false;
(3)在上下边界及可操作范围内运行所有循环;
(4)检查内部数据结构以确保其有效性。
下面将介绍几种实用的白盒测试用例设计方法,包括程序插桩、逻辑覆盖、基本路径测试等。
程序插桩
在软件动态测试中,程序插桩是一种基本的测试手段,有着广泛的应用。

程序插桩方法是借助往被测程序中插入操作,来实现测试目的的方法。
如果我们想要了解一个程序在某次运行中所有可执行语句被覆盖的情况,或是每个语句的实际执行次数,最好的办法是利用插桩技术。这里仅以计算整数X和整数Y的最大公约数程序为例,说明插桩方法的要点。图3-3给出了这一程序的流程图。
图3-3 插桩后求最大公约数程序的流程图
设计插桩程序时需要考虑的问题包括:
①探测哪些信息;
②在程序的什么部位设置探测点;
③需要设置多少个探测点。