Ch03软件测试方法软件测试方法和技术朱少民详解.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;3.3.2 因果图法;恒等-关系：果 j 取决于因 i。因出现，则果也出现。 非-关系：只有当因 i 不存在时，果 j 才出现。;因果图法－示例（1）;? k ? maxint ? k ? maxint N ? 0 N ? 0 ;1;3.3.3 两两组合（Pairwise）方法;Pairwise测试工具;3.3.4 正交实验法;为什么使用正交试验法？;正交实验设计方法;实例;小结;3.4 基于逻辑覆盖的方法;逻辑覆盖 vs. 路径覆盖;代码：语句覆盖;;;3.4.1 判定覆盖;示例：绘制控制图;示例：设计测试用例;3.4.2 条件覆盖;示例：列出所有条件;示例：覆盖所有条件;;示例：覆盖判定/条件;3.4.4 条件组合测试;;;问题;修正条件/判定覆盖;示例;3.4.5 基本路径覆盖;基本路径覆盖的设计过程;示例 – 源代码;示例 – 流程图;基本路径测试:流程图简化;流程图的圈复杂度;流程图复杂度－例子;确定线性独立的路径集合; Path1: 1-2-3-6-7-9-10-1-11;测试用例覆盖集合中每条路径;小结;作业;小结：方法的灵活运用;目标: 在循环内部及边界上执行测试;循环测试－ 2;循环测试 - 3;3.5 基于缺陷模式的测试;检测步骤;3.6 基于模型的测试方法;什么是MBT？;;MBT 示例;MBT 架构;MBT 工具;3.6.1 功能图法;状态迁移图 ;如何设计测试用例？;3.6.2 模糊测试方法;3.7 形式化方法;3.7.1 形式化方法;示例;形式化三部曲;形式化的具体方法;3.7.2 形式化验证;形式化验证的一些具体方法;3.7.3 扩展有限状态机方法;EFSM示例-1;EFSM示例-2;来源: nach Spillner, Linz: Basiswissen Softwaretest, 2005;;;EFSM工具 - FSME;补充：基于用户场景的测试;也称作基于用户场景测试(user scenario testing) 分析用户会是怎样与系统打交道的，以及用户典型行为分析 根据不同的特性区分不同的用户群体、用户角色 用例描述了参与者（包括用户与系统）之间的相互作用，并从这些交互产生一个从用户的角度所期望和能观察到的结果。 每个用例都有测试前置条件(precondition)和后置条件(postcondition)： 为使应用情况能够顺利运行，必须满足前置条件。 后置条件是在用例执行完成后能观察到的结果和系统的结束状态。 ; ;111;;作业;Thank you