《软件测试方法和技术》课件 Ch3-软件测试方法 .pptx

软件测试方法和技术;第2章 回顾;PowerPoint 演示文稿;方法论和具体方法;黑盒测试方法和白盒测试;过去常提“黑盒和白盒”方法;方法论：测试方法;SWBOK对测试方法的分类;PowerPoint 演示文稿;3.1.1 ALAC测试和随机;3.1.2 错误猜测法;PowerPoint 演示文稿;3.2.1 等价类划分方法;等价类划分方法应用示例;练习;3.2.2 边界值分析方法;示例1;示例2;一些特殊的边界值;一些特殊的边界值 –续;练习;PowerPoint 演示文稿;3.3.1 判定表方法;判定表方法术语及应用;判定表组合优化讨论;判定表方法示例;3.3.2 因果图方法;因果图的基本符号;条件之间的关系;示例;因果图方法设计工具;3.3.3 Pairwise方;5. Pairwise具体示例;Pairwise处理更复杂的情;Pairwise方法来自于经验;Pairwise方法来自于经验;Pairwise方法工具;Pairwise工具推荐:AC;3.3.4 正交实验法;正交实验法示例;正交表生成工具;小结;PowerPoint 演示文稿;结构化测试方法;逻辑覆盖 vs. 路径覆盖;（代码行）语句覆盖;语句覆盖不能发现的问题;3.4.1 判定/分支覆盖;3.4.2 条件覆盖;示例：列出所有条件;示例续：覆盖所有条件;3.4.3 判定-条件覆盖;3.4.4 条件组合测试;组合覆盖 vs 路径覆盖;问题;修正条件/判定覆盖（MC/DC;3.4.5 基本路径覆盖;基本路径覆盖的设计过程;示例 – 从源代码到流程图;流程图简化;计算圈复杂度;圈复杂度计算示例;确定独立路径集合;示例：基本路径测试用例;逻辑覆盖小结;拓展;PowerPoint 演示文稿;3.5.1 常见的缺陷模式;3.5.2 DPBT的自动化实;PowerPoint 演示文稿;PowerPoint 演示文稿;什么是MBT？;MBT基本原理（实施过程）;PowerPoint 演示文稿;常见的MBT方法;3.6.1 功能图法;状态迁移图;如何设计测试用例？;3.6.2 模糊测试方法;几种不同模糊器的构造;American fuzzy ;变异测试;变异测试的方法与流程;PowerPoint 演示文稿;3.7.1 形式化方法;示例;形式化三部曲;形式化的具体方法;3.7.2 形式化验证;形式化验证的一些具体方法;有限状态机;示例：状态图;状态图转化为树结构、生成测试用;状态图工具：Spec Expl;示例：ATS4_AppMode;补充：基于场景的测试方法;示例：基于场景的测试;练习：列出测试场景和数据;事件流图;基于场景的测试方法 – 示例;基于场景的测试方法 – 示例（;基于场景的测试方法 – 示例（;PowerPoint ???示文稿;PowerPoint 演示文稿;本章小结;思考题;作业一;PowerPoint 演示文稿