Ch3软件测试方法STMT概论.ppt

朱少民 Kerry Zhu;第2章回顾;第3章 软件测试的方法;方法论和具体方法;黑盒子和白盒子;静态的和动态的;自动测试和手工测试;3.1白盒测试方法;白盒测试方法;白盒测试方法;3.1.1 语句覆盖;3.1.1 语句覆盖;程序流程图;3.1.2 判定覆盖;3.1.2 判定覆盖;3.1.3 条件覆盖;条件测试;条件测试的示例;;3.1.5 条件组合测试;;;3.1.6 路径测试;3.1.7 基本路径测试;示例 – 源代码;示例 – 流程图;;基本路径测试:控制流图;基本路径测试:控制流图;控制流图的环路复杂度;流程图复杂度－例子;确定线性独立的路径集合; Path1: 1-2-3-6-7-9-10-1-11;基本路径覆盖法实例;score[i]!=-1 and n250;测试用例覆盖集合中每条路径;目标: 在循环内部及边界上执行测试;循环测试－ 2;循环测试－ 3;白盒测试应用策略;白盒测试应用策略;白盒测试应用策略;3.2 黑盒测试方法;黑盒测试方法;3.2.1 等价类划分方法;3.2.1 等价类划分方法;确定等价类的方法;在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下，可以确立一个有效等价类和一个无效等价类。 在输入条件是一个布尔量的情况下，可确定一个有效等价类和一个无效等价类;确定等价类的方式 (3);等价类测试用例-Example;根据等价类创建测试用例的步骤;等价类划分法实例1;等价类划分法实例2;3.2.2 边界值分析方法;确定边界值的方法;确定边界值的方法;确定边界值的方法（2）;正常值（有效类）: X1 = 123123 边界值: X2 = 12345 边界值: X3 = 1234567 无效类的值: X6 = -123123 无效类的值: X7 = asdasd 3、某网页中“上传”控件支持上传大小不超过4M的附件，采用边界值法设计该功能的测试用例。;BVA 示例;二进制;ASCII Table;字符编辑域;一些特殊的边界值;3.2.3 判定表方法;判定表元素;判定表方法步骤;3.2.4 因果图法;3.2.4 因果图法;3.2.4 因果图法;因果图法实例; 场景法;场景法;;场景法;场景法;场景法实例;;;构造场景;构造场景/条件表;生成测试用例;为什么要采用正交试验法？;3.2.5 正交实验法;实例1;实例2;正交表L9 (34);;将因子、状态映射到正交表中;3.2.7 错误推测法;黑盒测试策略;黑盒测试策略;黑盒测试与白盒测试特??比较;3.3 静态测试和动态测试;3.4 主动测试和被动测试;3.5 形式化测试方法;3.5.1 形式化方法;形式化的具体方法;3.5.2 形式化验证;形式化验证的一些具体方法;3.5.3 基于模型的软件测试;MBT的优缺点;软件测试模型;检测步骤;3.5.4 扩展有限状态机方法;EFSM示例-1;EFSM示例-2;EFSM工具 - FSME;3.6 基于风险的测试;风险度量;风险测试步骤;3.7 模糊测试方法;3.8 ALAC测试和随机测试方法;Q A