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