软件工程实用教程 第2版 普通高等教育十一五 国家级规划教材 教学课件 作者 郭宁 第7 章 软件测试技术.ppt

《软件工程实用教程 第2版 普通高等教育十一五 国家级规划教材 教学课件 作者 郭宁 第7 章 软件测试技术.ppt》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、第7章软件测试技术本章学习内容：1．明确软件测试目的和原则2．掌握软件测试步骤3．掌握设计测试用例的方法4．掌握黑盒测试和白盒测试的方法5．掌握软件调试策略第7章软件测试技术7.1软件测试概述7.1.1软件测试目的GrenfordJ.Myers认为测试的目的是：软件测试是为了发现错误而执行程序的过程；测试是为了证明程序有错，而不是证明程序没有错误；一个好的测试用例是在于它能发现至今未发现的错误；一个成功的测试是发现了至今未发现的错误的测试。第7章软件测试技术7.1.2软件测试原则应早并不断地进行测试

2、程序员应尽可能避免检查自己的程序测试用例应当包括合理的输入条件和不合理的输入条件测试用例应包括输入数据和预期的输出结果两部分全面检查每个测试结果严格按照测试计划来测试充分注意测试中的集群现象注意遵守“经济性”的原则第7章软件测试技术7.1.3测试步骤制定测试计划。该计划被批准后转向第二步；设计测试用例。该用例被批准后转向第三步；如果满足“启动准则”，那么执行测试；撰写测试报告；消除软件缺陷。如果满足“完成准则”，那么正常结束测试。第7章软件测试技术7.2软件测试技术7.2.1测试用例设计1．定义测试

3、索引，测试环境，测试输入，测试操作，预期结果，评价标准2．使用测试用例的好处第7章软件测试技术7.2.2黑盒测试方法黑盒测试也称功能测试或数据驱动测试，它是在已知产品所应具有的功能，通过测试来检测每个功能是否都能正常使用。1．等价类划分法（1）等价类：有效等价类、无效等价类（2）划分等价类的方法在输入条件规定了取值范围或值的个数的情况下，则可以确立一个有效等价类和两个无效等价类。在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下，可确立一个有效等价类和一个无效等价类。第7章软件测试技术

4、在输入条件是一个布尔量的情况下，可确定一个有效等价类和一个无效等价类。在规定了输入数据的一组值（假定n个），并且程序要对每一个输入值分别处理的情况下，可确立n个有效等价类和一个无效等价类。在规定了输入数据必须遵守的规则的情况下，可确立一个有效等价类（符合规则）和若干个无效等价类。在确知已划分的等价类中各元素在程序处理中的方式不同的情况下，则应再将该等价类进一步的划分为更小的等价类。第7章软件测试技术（3）设计测试用例：为每一个等价类规定一个唯一的编号；设计一个新的测试用例，使其尽可能多地覆盖尚未被覆

5、盖地有效等价类，重复这一步，直到所有的有效等价类都被覆盖为止；设计一个新的测试用例，使其覆盖一个尚未被覆盖的无效等价类，重复这一步，直到所有的无效等价类都被覆盖为止。第7章软件测试技术2．边界值分析法（1）边界值分析方法的考虑（2）基于边界值分析方法选择测试用例的原则1）如果输入条件规定了值的范围，则应取刚达到这个范围的边界的值，以及刚刚超越这个范围边界的值作为测试输入数据。2）如果输入条件规定了值的个数，则用最大个数，最小个数，比最小个数少1，比最大个数多1的数作为测试数据。第7章软件测试技术3）

6、根据规格说明的每个输出条件，使用前面的原则1）。4）根据规格说明的每个输出条件，应用前面的原则2）。5）如果程序的规格说明给出的输入域或输出域是有序集合，则应选取集合的第一个元素和最后一个元素作为测试用例。6）如果程序中使用了一个内部数据结构，则应当选择这个内部数据结构的边界上的值作为测试用例。7）分析规格说明，找出其它可能的边界条件。第7章软件测试技术3．错误推测法错误推测法是基于经验和直觉推测程序中所有可能存在的各种错误，从而有针对性的设计测试用例的方法。第7章软件测试技术4．因果图方法(1)分

7、析软件规格说明描述中，哪些是原因(即输入条件或输入条件的等价类)，哪些是结果(即输出条件)，并给每个原因和结果赋予一个标识符。(2)分析软件规格说明描述中的语义，找出原因与结果之间、原因与原因之间对应的关系，根据这些关系，画出因果图。(3)由于语法或环境限制，有些原因与原因之间，原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。(4)把因果图转换为判定表。(5)把判定表的每一列拿出来作为依据,设计测试用例第7章软件测试技术7.2.3白盒测试方法白盒测试也

8、称结构测试或逻辑驱动测试。在使用白盒测试方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，对所有逻辑路径进行测试，得出测试数据。1．逻辑覆盖法：以程序内部的逻辑结构为基础的测试用例设计技术。（1）语句覆盖（2）判定覆盖（3）条件覆盖A=2orx>1结束开始a>1andb=0输出a,b,xX=x+1X=x/a第7章软件测试技术（4）判定--条件覆盖（5）条件组合覆盖2．基本路径法（1）程序的控制流图：描述程序控制流的一种图示方法。（2）程序环境复杂性：McCa