3-软件测试方法-STMT-2014.pptx

幻灯片 1;第2章 回顾;第3章 软件测试的方法;方法论和具体方法;测试领域;测试方法 @SWEBOK 3.;具体方法或技术;过去常提“黑盒和白盒”方法;其它方法 @world;3.1 基于直觉和经验的方法;3.1.1 ALAC测试和随机;3.1.2 错误猜测法;3.2 基于输入域的测试方法;3.2.1 等价类划分方法;确定等价类的方法;确定等价类的方法（2）;确定等价类的方式 (3);等价类测试用例-Example;根据等价类创建测试用例的步骤;3.2.2 边界值分析方法;确定边界值的方法;确定边界值的方法（2）;BVA 示例2;BVA 示例3;二进制;ASCII Table;字符编辑域;一些特殊的边界值;3.3 基于组合技术和组合优化;3.3.1 判定表方法;判定表元素;判定表方法步骤;判定表 示例1;判定表示例2;3.3.2 因果图法;因果图的基本符合;因果图法－示例（1）;因果图法－示例（2）;因果图法－示例（3）;3.3.3 两两组合（Pair;Pairwise测试工具;3.3.4 正交实验法;为什么使用正交试验法？;正交实验设计方法;实例;小结;3.4 基于逻辑覆盖的方法;逻辑覆盖 vs. 路径覆盖;代码：语句覆盖;幻灯片 50;幻灯片 51;3.4.1 判定覆盖;示例：绘制控制图;示例：设计测试用例;3.4.2 条件覆盖;示例：列出所有条件;幻灯片 57;3.4.3 判定条件覆盖;幻灯片 59;3.4.4 条件组合测试;示例 (1);示例 (2);问题;修正条件/判定覆盖;示例;3.4.5 基本路径覆盖;基本路径覆盖的设计过程;示例 – 源代码;示例 – 流程图;基本路径测试:流程图简化;流程图的圈复杂度;流程图复杂度－例子;确定线性独立的路径集合;示例：基本路径测试用例;测试用例覆盖集合中每条路径;小结;作业;小结：方法的灵活运用;循环测试－ 1;循环测试－ 2;循环测试 - 3;3.5 基于缺陷模式的测试;检测步骤;3.6 基于模型的测试方法;什么是MBT？;MBT方法;幻灯片 87;幻灯片 88;MBT 工具;3.6.1 功能图法;状态迁移图;如何设计测试用例？;3.6.2 模糊测试方法;3.7 形式化方法;3.7.1 形式化方法;示例;形式化三部曲;形式化的具体方法;3.7.2 形式化验证;形式化验证的一些具体方法;3.7.3 扩展有限状态机方法;EFSM示例-1;EFSM示例-2;示例：状态图;状态表;幻灯片 106;EFSM工具 - FSME;补充：基于用户场景的测试;幻灯片 109;用例测试;幻灯片 111;基于场景的测试方法;作业;幻灯片 114