第3章软件测试的方法和技术幻灯片课件.ppt

以下是各种测试方法选择的综合策略，可供读者在实际应用过程中参考。 ① 首先进行等价类划分，包括输入条件和输出条件的等价划分，将无限测试变成有限测试，这是减少工作量和提高测试效率最有效的方法。 ② 在任何情况下都必须使用边界值分析方法。经验表明，用这种方法设计出的测试用例发现程序错误的能力最强。 ③ 可以用错误推测法追加一些测试用例，这需要依靠测试工程师的智慧和经验。 ④ 对照程序逻辑，检查已设计出的测试用例的逻辑覆盖程度。如果没有达到要求的覆盖标准，应当再补充足够的测试用例。 ⑤ 如果程序的功能说明中含有输入条件的组合情况，则一开始就可选用因果图法和判定表驱动法。 ⑥ 对于参数配置类的软件，要用正交试验法选择较少的组合方式达到最佳效果。 ⑦ 功能图法也是很好的测试用例设计方法，我们可以通过不同时期条件的有效性设计不同的测试数据。 ⑧ 对于业务流清晰的系统，可以利用场景法贯穿整个测试案例过程，在案例中综合使用各种测试方法。 3.3.5 场景法 现在的软件几乎都是用事件触发来控制流程的，事件触发时的情景便形成了场景，而同一事件不同的触发顺序和处理结果就形成事件流。这种在软件设计方面的思想也可以引入到软件测试中，可以比较生动地描绘出事件触发时的情景，有利于测试设计者设计测试用例，同时使测试用例更容易理解和执行。 用例场景用来描述流经用例的路径，从用例开始到结束遍历这条路径上所有基本流和备选流。 1．基本流和备选流 如图3-14所示，图中经过用例的每条路径都用基本流和备选流来表示，直黑线表示基本流，是经过用例的最简单的路径。备选流用不同的色彩表示，一个备选流可能从基本流开始，在某个特定条件下执行，然后重新加入基本流中（如备选流1和3）；也可能起源于另一个备选流（如备选流2），或者终止用例而不再重新加入到某个流（如备选流2和4）。 图3-14 基本流和备选流 2．ATM例子 （1）例子描述 图3-15所示是ATM例子的流程示意图。 图3-15 ATM流程示意图 （2）场景设计 表3-8所示是生成的场景。 （3）用例设计 对于这7个场景中的每一个场景都需要确定测试用例。可以采用矩阵或决策表来确定和管理测试用例。下面显示了一种通用格式，其中各行代表各个测试用例，而各列则代表测试用例的信息。本示例中，对于每个测试用例，存在一个测试用例ID、条件（或说明）、测试用例中涉及的所有数据元素（作为输入或已经存在于数据库中）以及预期结果。 3．基本路径测试法步骤 基本路径测试法适用于模块的详细设计及源程序，其主要步骤如下。 ① 以详细设计或源代码作为基础，导出程序的控制流图。 ② 计算得到的控制流图G的环路复杂性V（G）。 ③ 确定线性无关的路径的基本集。 ④ 生成测试用例，确保基本路径集中每条路径的执行。 3.2.4 程序的静态测试 1．源程序静态分析 在静态结构分析中，测试者通过使用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图、子程序表、宏和函数参数表等各类图形图表，可以清晰地标识整个软件系统的组成结构，使其便于阅读与理解，然后可以通过分析这些图表，检查软件有没有存在缺陷或错误。 通常采用以下一些方法进行源程序的静态分析。 （1）生成各种引用表 ① 标号交叉引用表 ② 变量交叉引用表 ③ 子程序（宏、函数）引用表 ④ 等价表 ⑤ 常数表 （2）错误静态分析 错误静态分析主要用于确定在源程序中是否有某类错误或“危险”结构。 ① 类型和单位分析 ② 引用分析 ③ 表达式分析 ④ 接口分析 2．人工测试 静态分析中进行人工测试的主要方法有桌前检查、代码审查和走查。经验表明，使用这种方法能够有效地发现30%～70%的逻辑设计和编码错误。 （1）桌前检查 由程序员自己检查自己编写的程序。程序员在程序通过编译之后，进行单元测试设计之前，对源程序代码进行分析、检验，并补充相关的文档，目的是发现程序中的错误。 （2）代码审查 代码审查是由若干程序员和测试员组成一个审查小组，通过阅读、讨论和争议，对程序进行静态分析的过程。 代码审查分两步。第一步，小组负责人提前把设计规格说明书、控制流程图、程序文本及有关要求、规范等分发