第三章软件工程基础3.4、软件测试1.什么是软件测试软件测试是在软件投入生产性运行之前，对软件需求分析、设计规格说明和编码的最终复审，是软件质量保证的关键步骤。如果给软件测试下定义的话，可以这样讲：软件测试是为了发现错误而执行程序的过程
第三章 软件工程基础 3.4、软件测试 1.什么是软件测试 软件测试是在软件投入生产性运行之前，对软件需求分析、设计规格说明和 编码的最终复审，是软件质量保证的关键步骤。如果给软件测试下定义的话，可 以这样讲：软件测试是为了发现错误而执行程序的过程
第三章软件工程基础2.软件测试的自的和准则！（1）软件测试的目的：测试是程序的执行过程，自的在于发现错误；一个好的测试用例在于能发现至今未发现的错误；一个成功的测试是发现了至今未发现的错误的测试。尽可能地多发现程序中的错误，不能也不可能证明程序没有错误
第三章 软件工程基础 2. 软件测试的目的和准则 （1）软件测试的目的： • 测试是程序的执行过程，目的在于发现错误； • 一个好的测试用例在于能发现至今未发现的错误； • 一个成功的测试是发现了至今未发现的错误的测试。 尽可能地多发现程序中的错误，不能也不可能证明程序没有错误
第三章软件工程基础（2）软件测试的准则·所有测试都应追溯到需求·严格执行测试计划，排除测试的随意性；·充分注意测试中的群集现象；程序员应避免检查自己的程序；穷举测试不可能；出错统计和最终分析报告，为维护提·妥善保存测试计划、测试用例、供方便
第三章 软件工程基础 （2）软件测试的准则： • 所有测试都应追溯到需求； • 严格执行测试计划，排除测试的随意性； • 充分注意测试中的群集现象； • 程序员应避免检查自己的程序； • 穷举测试不可能； • 妥善保存测试计划、测试用例、出错统计和最终分析报告，为维护提 供方便
第三章软件工程基础4.2软件测试技术与方法静态测试法是否需执行被测软件动态测试法软件测试方法白盒测试根据功能黑盒测试
第三章 软件工程基础 4.2 软件测试技术与方法
第三章软件工程基础一、静态测试与动态测试（一）静态测试方法静态测试一般指人工评审软件文档或程序，以便发现错误静态测试包括：代码检查、静态结构分析、代码质量度量等。般能有效的检查出30~70%的逻辑设计和编码错误（二）动态测试方法即上机测试，为了发现错误而执行程序的过程关键点：设计高效、合理的测试用例
第三章 软件工程基础 一、静态测试与动态测试 （一） 静态测试方法 静态测试一般指人工评审软件文档或程序，以便发现错误。 静态测试包括：代码检查、静态结构分析、代码质量度量等。 一般能有效的检查出30~70%的逻辑设计和编码错误 （二）动态测试方法 即上机测试，为了发现错误而执行程序的过程 关键点：设计高效、合理的测试用例
第三章软件工程基础（一）白盒测试（看得见程序内部，因此是测试内部结构和流程（1）根据软件产品的内部工作过程，检查内部成分，以确认每种内部操作符合设计规格要求。（2）基本原则：每一个独立路径至少执行一次所有判断的每一个分支至少执行一次保证所测模块每一个循序都在边界条件和一般条件下各执行一次验证所有内部数据结构的有效性
第三章 软件工程基础 （一）白盒测试（看得见程序内部，因此是测试内部结构和流程） （1）根据软件产品的内部工作过程，检查内部成分，以确认每种内部操作符合设计规 格要求。 （2）基本原则：
第三章软件工程基础基本路径测试（3）主要方法有逻辑覆盖系列以程序内部的逻辑结构为基础的测试用例设计技术语句覆盖路径覆盖逻辑覆盖测试判定覆盖条件爱盖判断-条件覆盖
第三章 软件工程基础 （3）主要方法有逻辑覆盖、基本路径测试
第三章软件工程基础（3）逻辑覆盖之“语句覆盖选择足够测试用例，使得程序中的每一个语句至少执行一次begin用例输入（i，）输出(5，小×)输入(5. 5)测试用例1(5. 5. 5)(5, 10)(5,10,10)测试用例2i2=语句覆盖是逻辑覆盖中基本的覆盖输出j.xend
第三章 软件工程基础 （3）逻辑覆盖之“语句覆盖” —选择足够测试用例，使得程序中的每一个语句至少执行一次 语句覆盖是逻辑覆盖中基本的覆盖
第三章软件工程基础（3）逻辑覆盖之“路径覆盖选择足够测试用例，使得程序所有可能的路径至少执行一次测试用例通过路径【（A=4，B=1，X=3），（输出略）](ace)TA>landB=(abd)【（A=1,B=l,X=1)，（输出略))(abe)【（A=3，B=2，X=1），（输出略）]FX-XIAb(acd)【（A=2，B=1，X=I)，（输出略）】TA>3andB=1全部四条路径：ace，abd，abe,acdX=XIAFd
第三章 软件工程基础 （3）逻辑覆盖之“路径覆盖” —选择足够测试用例，使得程序所有可能的路径至少执行一次 全部四条路径：ace，abd, abe, acd
第三章软件工程基础（3）逻辑覆盖之“判定覆盖（分支覆盖）使设计的测试用例保证程序中每个判定的分支（T或F）至少经历一次Start(路径：ab)测试用例1:a=1,b=1(路径：acd)测试用例2:a=-1,b=-1测试用例3:a=2,b=-1(路径：ace)>0&&b>0缺点：a5"停为样就下itestingEnd
第三章 软件工程基础 （3）逻辑覆盖之“判定覆盖”（分支覆盖） —使设计的测试用例保证程序中每个判定的分支（T或F）至少经历一次 缺点： 若判断中存在多个联立条件，仅保 证判断的真假值容易导致某些单个条件的 错误不易被发现 判断“x5” 测试用例1: a=1, b=1 (路径：ab) 测试用例2: a=-1, b=-1 (路径：acd) 测试用例3: a=2, b=-1 (路径：ace)