软件工程教学资料-软件工程-第7章.pptVIP

第7章 软件测试;;7.1 软件测试的理论基础;7.1.2 软件测试的发展历程 ;7.1.3 软件测试的目的和目标;测试的目的或定义： 1.?测试是为了发现程序中的错误而执行程序的过程； 2.?好的测试方案是极可能发现迄今为止尚未发现的错误的测试方案； 3.?成功的测试是发现了至今为止尚未发现的错误的测试。;软件缺陷的生命周期;7.1.4 软件测试的原则; 软件测试的方法可以从宏观和微观两个方面看：从宏观看，软件测试方法也就是讨论软件测试的方法论。从微观看，软件测试方法就是软件测试过程中所使用的具体的测试方法。 ;7.2.1 静态测试和动态测试 ;2．动态测试 动态测试是使被测代码在相对真实环境下运行，从多角度观察程序运行时能体现的功能、逻辑、行为、结构等行为，以发现其中的错误现象。; 黑盒测试是基于功能的测试，只关心软件的功能，而不考虑其内部结构，也叫功能测试；白盒测试只关心软件内部逻辑结构，测试覆盖率，是由逻辑驱动的测试。为了较快得到测试效果，通常先进行功能测试，达到所有功能后，为确定软件的可靠性进行必要的覆盖测试。 ; 白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。;（1）逻辑覆盖 逻辑覆盖是以程序内部的逻辑结构为基础的测试用例设计技术，属白盒测试。最彻底的白盒测试是覆盖程序中的每一条路径，但是由于程序中含有循环，要执行每一条路径是不可能的。因此我们只是希望采用的测试用例覆盖程序内部逻辑的程度尽量高些。为了衡量测试的覆盖程度，需要建立一些作为测试彻底度的定量衡量标准。 目前常用的覆盖标准是： 语句覆盖；判定覆盖；条件覆盖； 判定/条件覆盖；条件组合覆盖。 ;a.语句覆盖 语句覆盖就是设计若干个测试用例，运行所测的程序，使得每一可执行语句至少执行一次。 b.判定覆盖 判定覆盖就是设计若干个测试用例，使程序中的每个判断至少出现一次“真值”和一次“假值”，即程序中的每个分支都至少执行一次。 c.条件覆盖 条件覆盖是指利用若干个测试用例，使被测试的程序中，对应每个判断中每个条件的所有可能情况均至少执行一次。;d.判定/条件覆盖 判定/条件覆盖就是设计足够多的测试用例，使得程序中每个判断条件的所有可能的结果至少取到一次，又使每次判断的每个分支至少通过一次。 e.条件组合覆盖 解决上述问题的新标准是条件组合覆盖。条件组合覆盖就是设计足够多的测试用例，使得每个判断的所有可能的条件取值组合至少执行一次。;（2）基本路径覆盖 逻辑覆盖测试主要关注的是程序内部的逻辑结构，最彻底的测试就是覆盖程序中的每一条路径，但在实际应用中，一个不太复杂的程序，要覆盖的路径数都是一个庞大的数目，而要执行每一条路径更是不可能的。因此我们希望通过一定的方法将要覆盖的路径数压缩到一个有限的范围内，通过合理地选择一组穿过程序的测试路径，以实现达到某种测试度量，而确保程序中每一个语句都执行一次。 ;a.控制流图 控制流图是用来考察测试路径的有用工具。控制流图是程序控制结构的图形表示，实际上就是一种简化了的流程图。其基本元素是结点和控制流。;b.路径的选取 所谓路径测试，就是对控制流图中每一条可能的程序执行路径至少测试一次，如果程序中含有循环，则每个循环至少执行一次。; 黑盒测试也称功能测试，它是通过测试来检测每个功能是否都能正常使用。 在测试中，把程序看作一个不能打开的黑盒子，在完全不考虑程序内部结构和内部特性的情况下，在程序接口进行测试，它只检查程序功能是否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数据而产生正确的输出信息。 黑盒测试着眼于程序外部结构，不考虑内部逻辑结构，主要针对软件界面和软件功能进行测试。 ;（1）等价类划分 等价类划分是一种典型的黑盒测试方法。其基本思想是将程序的输入区域划分为若干个等价类，用每个等价类中的一个具有代表性的输入数据作为测试数据。 在划分等价类时，我们可以将之划分为两类: a.有效等价类：是指对程序的规格说明是合理的、有意义的输入数据所构成的集合。有效等价类可以是一个，也可以是多个。利用它可以检验程序是否实现了程序的规格说明预先规定的功能和性能。 b.无效等价类：是指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。无效等价