第3讲-软件测试方法.pptVIP

顾进广, Ph.D., Professor;第2章回顾;第3章 软件测试的方法;方法论和具体方法;黑盒子和白盒子;静态的和动态的;自动测试和手工测试;3.1白盒测试方法;白盒测试方法;3.1.1 语句覆盖;3.1.2 判定覆盖;分支测试 - example;分支测试 - continued;3.1.3 条件覆盖;条件测试;条件测试 (2);条件测试 的示例;;3.1.5 条件组合测试;;;3.1.6 路径测试;3.1.7 基本路径测试;示例 – 源代码;示例 – 流程图;基本路径测试:流程图简化;流程图的圈复杂度;流程图复杂度－例子;确定线性独立的路径集合; Path1: 1-2-3-6-7-9-10-1-11;测试用例覆盖集合中每条路径;目标: 在循环内部及边界上执行测试;循环测试－ 2;循环测试－ 3;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.2.3 判定表方法;判定表元素;判定表方法步骤;3.2.4 因果图法;因果图法－示例（1）;? k ? maxint ? k ? maxint N ? 0 N ? 0 ;1;为什么要采用正交试验法？;3.2.5 正交实验法;实例;3.2.6 功能图法;状态迁移图 ;如何设计测试用例？;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