3软件测试方法概论.pptx

;第2章 回顾;第3章 软件测试的方法;方法论和具体方法;测试领域;测试方法 @SWEBOK 3.0;具体方法或技术;;其它方法 @world;3.1 基于直觉和经验的方法;3.1.1 ALAC测试和随机测试;3.1.2 错误猜测法;3.2 基于输入域的测试方法;3.2.1 等价类划分方法;确定等价类的方法;在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下，可以确立一个有效等价类和一个无效等价类。 在输入条件是一个布尔量的情况下，可确定一个有效等价类和一个无效等价类;确定等价类的方式 (3);等价类测试用例-Example;根据等价类创建测试用例的步骤;练习;练习;练习;3.2.2 边界值分析方法;确定边界值的方法;确定边界值的方法（2）;正常值（有效类）: X1 = 123123 边界值: X2 = 12345 边界值: X3 = 1234567 边界值: X4 = 1 边界值: X5 = 0 无效类的值: X6 = -123123 无效类的值: X7 = asdasd 其它?;BVA 示例3;二进制;ASCII Table;字符编辑域;一些特殊的边界值;3.3 基于组合技术和组合优化的方法;3.3.1 判定表方法;判定表元素;判定表方法步骤;判定表 示例1;因果图法;（2）因果图法的步骤 分析软件规格说明描述中，哪些是原因 (即输入条件或输入条件的等价类)，哪些是结果 (即输出条件)，并给每个原因和结果赋予一个标识符。 分析软件规格说明描述中的语义，找出原因与结果，原因与原因之间对应的是什么关系? 根据这些关系，画出因果图。 ;（2）因果图法的步骤 由于语法或环境限制，有些原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号标明约束或限制条件。 把因果图转换成判定表。 把判定表的每一列拿出来作为依据，设计测试用例。;（3）因果图中的符号和说明;（4）因果图中约束符号和说明;示例;(1) 分析这一段说明，列出原因和结果原因: 1. 售货机有零钱找 2. 投入1元硬币 3. 投入5角硬币 4. 押下橙汁按钮 5. 押下啤酒按钮 建立中间结点，表示处理中间状态11. 投入1元硬币且押下饮料按钮12. 押下〖橙汁〗或〖啤酒〗的按钮13. 应当找5角零钱并且售货机有零钱找14. 钱已付清; 结果： 21. 售货机〖零钱找完〗灯亮 22. 退还1元硬币 23. 退还5角硬币 24. 送出橙汁饮料 25. 送出啤酒饮料(2) 画出因果图。所有原因结点列在左 边，所有结果结点列在右边。 (3) 由于 2 与 3 ，4 与 5 不能同时发生， 分别加上约束条件E。(4) 因果图 (5) 转换成判定表; ; ;练习;(1) 分析这一段说明，列出原因和结果原因: C1.第一列字符是A C2.第一列字符是B C3.第二列字符是一个数字 建立中间结点，表示处理中间状态 11.第一列字符是A或B 结果：E1. 修改文件 E2. 输出信息L E3. 输出信息M;; 判定表;3.4 基于逻辑覆盖的方法;逻辑覆盖 vs. 路径覆盖;代码：语句覆盖;;;3.4.1 判定覆盖;示例：绘制控制图;示例：设计测试用例;3.4.2 条件覆盖;示例：列出所有条件;示例：覆盖所有条件;;示例：覆盖判定/条件;3.4.4 条件组合测试;;;问题;修正条件/判定覆盖;示例;3.4.5 基本路径覆盖;二、基本路径测试法;二、基本路径测试法;二、基本路径测试法;二、基本路径测试法;常见结构的控制流图;流图的画法;流图的画法;4、环路复杂度 环形复杂度也称为圈复杂度，它是一种为程序逻辑复杂度提供定量尺度的软件度量。 从程序的环形复杂度可导出基本路径集合中独立路径条数。 独立路径是指程序中至少引入了一个新的处理语句集合或一个新条件的程序通路。采用流图的术语，即独