软件质量保证与测试 第三章 软件测试方法讲解.pptx

软件测试方法和技术 第3章 软件测试的方法 第3章 软件测试的方法 3.1 基于直觉和经验的方法 3.2 基于输入域的方法 3.3 基于组合及其优化的技术 3.4 基于逻辑覆盖的方法 3.5 基于故障模式的测试方法 3.6 基于模型的测试方法 3.7 形式化方法 黑盒测试和白盒测试方法 Ad-hoc和ALAC法 错误推测法 等价类划分法 边界值分析法 判定表方法 因果图法 正交试验法 功能图法 语句覆盖 判定覆盖 条件覆盖 判定条件覆盖 条件组合覆盖 基本路径覆盖 黑盒测试方法 白盒测试方法 白盒测试的优、缺点 白盒测试的优点有： 1）迫使测试人员去仔细思考软件的实现 2）可以检测代码中的每条分支和路径 3）揭示隐藏在代码中的错误 4）对代码的测试比较彻底 5）最优化 白盒测试的缺点有： 1）昂贵 2）无法检测代码中遗漏的路径和数据敏感性错误 3）不验证规格的正确性 4 黑盒测试的优、缺点 黑盒测试的优点有： 1）比较简单，不需要了解程序内部的代码及实现； 2）与软件的内部实现无关； 3）从用户角度出发，能很容易的知道用户会用到哪些功能，会遇到哪些问题； 4）基于软件开发文档，所以也能知道软件实现了文档中的哪些功能； 5）在做软件自动化测试时较为方便。 黑盒测试的缺点有： 1）不可能覆盖所有的代码，覆盖率较低，大概只能达到总代码量的30%； 2）自动化测试的复用性较低。 5 3.1 基于直觉和经验的方法 3.1.1 Ad-hoc测试方法和ALAC测试 3.1.2 错误推测法 基于直觉和经验推测程序中所有可能存在的各种错误，从而有针对性地设计测试用例。 3.1.1 Ad-hoc测试和ALAC测试 Ad-hoc 原意是指 “特定的，一次性的”，这里指“随机的，自由的”测试。强调测试人员根据自己的经验，不受测试用例的束缚，放开思路、灵活的对软件进行功能和性能抽查。 随机测试可以作为严格意义上的测试方法的一种补充手段，有时能发现一些隐藏比较深的缺陷，可以达到出人意料的效果。 8 ALAC，是Act-like-a-customer（像客户那样做）的简写， 该方法是一种基于客户使用产品的知识开发出来的测试方法，它的出发点是著名的Pareto 80/20规律。 3.1.1 Ad-hoc测试和ALAC测试 3.1.2 错误推测法 错误推测法是测试者根据经验、知识和直觉来发现软件错误，来推测程序中可能存在的各种错误，从而有针对性的进行测试。 发现程序经常出现的错误的方法： 单元测试中发现的模块错误； 产品的以前版本曾经发现的错误； 输入数据为0或字符为空； 当软件要求输入时(比如在文本框中),不是没有输入正确的信息，而是根本没有输入任何内容，单单按了Enter键； … … 3.2 基于输入域的测试方法 3.2.1 等价类划分法 3.2.2 边界值分析法 3.2.1 等价类划分方法 等价类是某个输入域的子集，在该子集中每个输入数据的作用是等效的。将输入数据分成若干个子集，从每个子集选取一个代表性的数据作为测试用例。 分为有效等价类和无效等价类。 在分析需求规格说明 的基础上划分等价类， 列出等价类表。 确定等价类的六条原则 （1）在输入条件规定了取值范围或值的个数的情况下，则可以确立一个有效等价类和两个无效等价类。 value 例： 输入值是学生成绩，范围是0～100。 有效等价类：① 0≤成绩≤100 无效等价类：① 成绩0，② 成绩100 （2）在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下，可以确立一个有效等价类和一个无效等价类。 not member of set member of set 确定等价类的六条原则 例：程序的输入条件是x=10 有效等价类：① x=10 无效等价类：① x10 （3）在输入条件是一个布尔量的情况下，可确定一个有效等价类和一个无效等价类。 Boolean Non-Boolean 例：程序的输入条件是BOOL x=true 有效等价类：① x=true 无效等价类：① x=false 确定等价类的六条原则 （4）在规定了输入数据的一组值(假定n个)，并且程序要对每一个输入值分别处理的情况下，可确立n个有效等价类和一个无效等价类。 确定等价类的六条原则 例：输入条件说明学历可为:专科、本科、硕士、博士四种之一。 有效等价类：①专科、②本科、③硕士、④博士 无效等价类：①其它任何学历 （5）在规定了输入数据必须遵守的规则的情况下，可确立一个有效等价类(符合规则)和若干个无效等价类(从不同角度违反规则)。 例：校内电话号码拨外线为9开头 有效等价类：① 9＋外线号码 无效等价类：① 非9开头＋