第7章第7章软件测试内容和学时7.1软件测试概述软件产品最大的成本是检测软件错误、修正软件错误的成本。在整个软件开发中：测试工作量占--30%到40%软件测试信息流软件配置111abdT1,T2,T3,T4b,d有非数字字符(13)(4)执行结果与(2)结果相比针对第3～8列设计测试用例如下:出该三角形是等边三角形、等204aceT1,T2,T3,T4c,e软件测试不等于程序测试软件测试应贯穿于软件定义与开发的整个期间；假T1独立路径：至少沿一条新的边移动的路径12－输出错误信息S。据美国一家公司统计，查出的软件错误中，属于需求分析和软件设计的错误约占64%，属于程序编写的错误仅占36%。(3)4;5;6一般例:某城市电话号码由三部分组成地区码：空白或3位数字要求约束当a出现，ABX路径条件分支A>1,B≠0开发前期出现错误的扩展软件开发各过程需保持的正确性软件开发面临的实际问题分析员的描述：描述项目为一层，三个掉杆。分析员的描述对系统认识不正确，出现偏差完成的设计设计员理解程序员做出的产品现场的安装用户原来的设想软件测试的对象软件测试不等于程序测试软件测试应贯穿于软件定义与开发的整个期间；据美国一家公司统计，查出的软件错误中，属于需求分析和软件设计的错误约占64%，属于程序编写的错误仅占36%。程序编写的许多错误是“先天的”。测试应遵循原则？例：程序Triangle，输入三个整数，表示一个三角形的三个边长，该程序产生一个结果，指出该三角形是等边三角形、等腰三角形还是不等边三角形。输入数据预期结果(1)6;6;6等边(2)8;8;4等腰(3)4;5;6一般还应输入非法数据：0;7;9-7;3;5a;2;7等软件错误分类功能错(需求分析错误)软件结构错数据错编码错软件集成错测试定义与测试执行错误静态测试:基本特征是在对软件进行分析、检查和测试而不实际运行被测试的软件。静态测试约可找出30～70%的逻辑设计错误.对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错.软件测试技术软件错误分类测试的方法与技术白盒测试黑盒测试专门环境和应用测试例:输入三条边长用黑盒测试可采用的测试用例数:(设字长16位)216X216X216≈3X1014执行时间:设测试一次需1ms共需一万年.穷尽测试结论：不论黑盒还是白盒测试都不能进行穷尽测试,所以软件测试不可能发现程序中存在的所有错误,因此需精心设计测试方案,力争尽可能少的次数,测出尽可能多的错误.逻辑覆盖法例:PROCEDURESAMPAL(A，B：REAL；VARX：REAL);BEGINIF(A>1)AND(B=0)THENX:=X/AIF(A=2)OR(X>1)THENX:=X+1END;（1）语句覆盖边界值分析设计测试用例原则(A=2)OR(X>1)例:程序中定义一数组，其元素下标的下界是0，上界是100，则应选择达到这个数组下标边界的值，如0与100作为测试用例。唯一约束原因a,b必有,是大多数算法的基础，循环测试的目的是检查循环结构的有效性。借助程序控制流图设计测试出该三角形是等边三角形、等例:一个输入文件可有1～255个记录则可分别设计有:(包含)有一个成立010abdT1,T2,T3,T4b,d多于3位数字(7)（5）分别循环（n-l)次、n次、n＋l次。（5）注意测试中出现的错误群集现象，若发现错误数目较多，则可能残存的错误数目也较多，这种错误出现的群集现象，已为许多程序测试实践所证实；(1)形成等价类表，每一等价类规定一个唯一的编号12－输出错误信息S。(A>1)AND(B=0)如果规格说明有误则无法发现使每个判定的每个条件的可能取值至少执行一次测试用例通过满足的覆盖ABX路径条件分支103abeT1,T2,T3,T4b,e211abeT1,T2,T3,T4b,e两个测试用例覆盖了四个条件八种可能取值。未覆盖c、d分支，不满足判定覆盖的要求.条件覆盖不一定包含判定覆盖判定覆盖也不一定包含条件覆盖选取足够多的测试用例，使判断中的每个条件的所有可能取值至少执行一次，同时每个判断本身的所有可能判断结果至少执行一次.测试用例通过满足的覆盖ABX路径条件分支204aceT1,T2,T3,T4c,e211abdT1,T2,T3,T4b,dA>1,B=0A>1,B≠0A≯1,B=0A≯1,B≠0A=2,X>1A=2,X≯1A≠2,X>1A≠2,X≯1测试用例通过满足的覆盖ABX路径条件分支203aceT1,T2,T3,T4c,e211abeT1,T2,T3,T