711 软件测试的概念.PPT

（1）有效性测试 制定测试计划，运用黑盒法，验证软件特性是否与需求符合。 7.5 软件测试策略 前面简述了设计测试方法的各种技术。对每种方法而言，均有自身特长,一般的做法是，用黑盒法设计基本的测试方案，再利用白盒法补充一些必要的测试方案。所有测试过程都应采用综合测试策略；即先作静态分析，再作动态测试。并事先制订测试计划。具体地说，可用以下策略结合各种方法： (1) 在任何情况下都应该使用边界值分析的方法。 (2) 必要时用等价划分法补充测试方案。 (3) 必要时用错误推测法补充测试方案。 (4) 如果在程序的功能说明中含有输入条件的组合，最好在一开始就用因果图法，然后再按以上(1)、(2)、(3)步聚进行。 (5) 对照程序逻辑，检查已设计出的设计方案。可以根据对程序可靠性的要求采用不同的逻辑覆盖标准，如果现有测试方案的逻辑覆盖程度没达到要求的覆盖标准，则应再补充一些测试方案。 图7.7 测试步骤 大型软件系统通常由若干个子系统组成，每个子系统又由许多模块组成。大型软件系统的测试步骤基本由以下四个步骤组成：单元测试、集成测试(组装测试)、确认测试和系统测试，如图7.7所示 单元测试又称模块测试、逻辑测试或结构测试。 单元测试的目的: 发现各模块内部可能存在的各种差错。 测试的方法: 一般采用白盒法，以路径覆盖为最佳准则，且系统内多个模块可以并行地进行测试。 测试策略包括：单元测试设计测试用例要测试哪几方面的问题，针对这几方面问题各自测试什么内容，测试的具体步骤及实用测试策略。 7.5.1 单元测试 1、测试内容 模块 模块接口 局部数据结构 重要执行路径 错误处理 边界测试 I/O 参数值的个数、类型、次序、格式是否正确，I/O文件属性、操作是否正确等。 数据说明是否正确、一致，变量及其初值定义是否正确等。 检查“错误处理程序”本身的错误。 边界条件常包括循环边界，最大最小值、控制流中等于、大于、小于的比较值等。 重要路径通常是指完成模块功能的主要路径，一般是控制结构。 7.5.1 单元测试 Myers提出了接口测试要点： (1) 实际参数与形式参数的个数是否相等。 (2) 实际参数与形式参数的属性是否匹配。 (3) 实际参数与形式参数的单位是否匹配。 (4) 调用其他模块时所给实际参数的个数是否与被调模块的形参数个数相等。 (5) 调用其他模块时所给实际参数的属性是否与被调模块的形参属性匹配。 1) 模块接口 7.5.1 单元测试 (6) 调用其他模块时所给实际参数的单位是否与被调模块的 形参单位匹配。 (7) 调用内部函数所用参数的个数、属性和次序是否正确。 (8) 是否存在与当前入口点无关的参数引用。 (9) 输入是否仅改变了形式参数。 (10) 全程变量在各模块中的定义是否一致。 (11) 常数是否当作变量传送。 7.5.1 单元测试 若一个模块需要完成外部的输入或输出时，还应检查下述各点： (1) 文件属性是否正确。 (2) OPEN/CLOSE语句是否正确。 (3) 格式说明与I/O语句是否匹配。 (4) 缓冲器大小与记录长度是否匹配。 (5) 文件是否先打开后使用。 (6) 文件结束的条件是否处理过。 (7) I/O的错误是否处理过。 (8) 输出信息中是否有正文的错误。 7.5.1 单元测试 2) 局部数据结构 检查局部数据结构是为了保证临时存储在模块内的数据在程序执行过程中完整、正确。局部数据结构往往是错误的根源。应仔细设计测试用例，力求发现下面几类错误： (1) 不正确或不一致的说明。 (2) 错误的初始化或错误的缺省值。 (3) 拼写错或截短的变量名。 (4) 不一致的数据类型。 (5) 上溢、下溢和地址错误。 除了局部数据结构外，如有可能，单元测试期间还应考虑全局数据(例如c语言的全局变量)对模块的影响。 7.5.1 单元测试 3) 重要的执行路径 在模块中应对每一条独立的执行路径进行测试，单元测试的基本任务是保证模块中每条语句至少执行一次。此时，设计测试用例是为了发现因错误计算、不正确的比较和不适当的控制流造成的错误。此时，基本路径测试和循环测试是最常用、最有效的测试技术。 　计算中常见的错误如下： (1) 算术运算优先次序不正确或理解错误。 (2) 运算方式不正确。 (3) 初始化不正确。 (4) 精度不够。 (5) 表达式的符号表示错误。 7.5.1 单元测试 　比较判断与控制流常常紧密相关，常见错误有： (1) 不同的数据类型比较。 (2) 逻辑运算不正确或优先次序错误。 (3)