软件测试方法和技术Ch3-软件测试方法-STMT.pptVIP

2. Determine the cyclomatic complexity of the resultant flow graph Note: can be determined without developing a flow graph count all conditional statements in a component ? compound conditions count as 2 (number of Boolean operators + 2) 3. Determine a basis set of linearly independent paths equal to cyclomatic complexity number identify predicate nodes as an aid in derivation of test cases 3.7 模糊测试方法 模糊测试（Fuzz testing）方法，简单的说，就是构造大量的随机数据作为系统的输入，从而检验系统在各种数据情况下是否会出现问题 模糊测试方法可模拟黑客对系统发动攻击测试，完成安全性测试，并能应用于服务器的容错性测试 参考网站： /~bart/fuzz/fuzz.html /projects/taof/ /dfuz 书中两个示例 3.8 ALAC测试和随机测试方法 ALAC，是Act-like-a-customer（象客户那样做）的简写，ALAC测试方法是一种基于客户使用产品的知识开发出来的测试方法，它的出发点是著名的Pareto 80/20规律 3.8 ALAC测试和随机测试方法 随机测试来源于一个概率统计的思想 与模糊测试相近 是否自动化 测试量 总结 白盒测试 语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、 条件组合覆盖、路径覆盖、基本路径测试法 黑盒测试 等价类划分法、边界值分析法、判定表方法、 因果图法、正交试验法、功能图法、错误推测法 静态测试 动态测试 主动测试 被动测试 形式化测试 基于风险的测试 模糊测试 ALAC测试 随机测试 单元测试 功能测试 容错性测试和安全性测试 总结 白盒测试 黑盒测试 静态测试 静态白盒测试 对源程序代码的语法检查、扫描、评审等 静态黑盒测试 对需求文档、需求规格说明书的审查活动，一些非技术性文档的测试 动态测试 动态白盒测试 在单元测试中，一边运行代码，一边对结果进行检查、验证和调试 动态黑盒测试 在运行程序时，通过数据驱动对软件进行功能测试，从用户角度验证软件的各项功能 3.2.4 因果图法 多种输入条件的组合，产生多种结果设计测试用例。 设计方法： 分析软件规格说明文档描述的哪些是原因（输入条件），哪些是结果（输出条件），给每个原因和结果赋予一个标示符 找出原因与结果，原因与原因之间的对应关系，画出因果图 在因果图上标上哪些不可能发生的因果关系，表明约束或限制条件 根据因果图，创建判定表，将复杂的逻辑关系和多种条件组合很具体明确的表示出来 把判定表的每一行作为依据设计测试用例。 产品规格说明书包含以下要求： 第一列字符必须是A或B 第二列字符必须是一个数字 若第一列字符不正确，则输出L 若第二列字符不正确，则输出M 如果第一、二列都正确，则修改文件 因果图法－示例 1 编号 原因Cause 编号 结果Effect C1 第一列字符为A E1 修改文件 C2 第一列字符为B E2 输出L C3 第二列字符是一个数字 E3 输出M 因果图法－示例 1 编号 原因Cause 编号 结果Effect C1 第一列字符为A E1 修改文件 C2 第一列字符为B E2 输出L C3 第二列字符是一个数字 E3 输出M C1 C2 l1 or E2 not E1 C3 and E3 not 因果图法－示例 1 C1 C2 l1 or E2 not E1 C3 and E3 not 序号 1 2 3 4 5 6 原因 C1 1 0 0 1 0 0 C2 0 1 0 0 1 0 C3 1 1 1 0 0 0 结果 E1 1 1 0 0 0 0 E2 0 0 1 0 0 0 E3 0 0 0 1 1 1 因果图法－示例 2 有效等价类: 输入条件 等价类 abs(N) N ? 0, N ? 0 maxint ? k ? maxint, ? k maxint 测试用例: maxint N result maxint N result 55 10 55 100 0 0 54 10 error 100 -1 1 56 10 55