第五软件测试

第一部分传统的软件工程方法第二章系统 分析 定性数据统计分析pdf销售业绩分析模板建筑结构震害分析销售进度分析表京东商城竞争战略分析 第三章需求分析第四章软件 设计 领导形象设计圆作业设计ao工艺污水处理厂设计附属工程施工组织设计清扫机器人结构设计 第五章编码与测试第五章编码与测试5·1程序编码5·2测试的基本概念5·3两种测试类型5·4白盒测试方法的用例设计5·5黑盒测试方法的用例设计5·6软件的测试步骤5·7调试与排错5·8软件可靠性5·9本章重点5·1程序编码基本任务：将软件设计的结果翻译成计算机可以“理解”的形成——使用某种语言描述的程序。程序的质量主要取决于软件设计的质量，程序设计语言的特性和编码途径也对程序的可靠性、可读性、可测试性和可维护性产生深远的影响。5·1·1程序设计语言的选择项目的应用领域(附表)系统用户的要求可以得到的软件工具工程规模软件可移植性要求软件开发人员的知识水平、心理因素程序设计语言及应用领域参考表LISPPROLOG汇编语言CAda汇编语言AdaFORTRANPASCALCOBOL可选语言智能软件科学工程计算和模拟系统软件实时软件商用数据处理类型5·1·2编码风格编码风格（程序设计风格、编程风格），是指导人们编写出逻辑简明清晰、易读易懂程序的基本原则。包括：1、源程序文档化：2、数据说明：对数据添加说明。3、语句结构：结构化、库函数、可读性。4、输入/输出（I/O）：友好、方便使用。5·1·2编码风格—源程序文档化为了提高程序的可维护性，源代码也需要实现文档化（内部文档编制）。包括：1、符号名的命名：2、程序注释：序言、功能等。3、 标准 excel标准偏差excel标准偏差函数exl标准差函数国标检验抽样标准表免费下载红头文件格式标准下载 的书写格式：分层缩进的写法显示嵌套结构层次。5·1·2编码风格—源程序文档化if(…){if(…){…}else{…}}else{…}if(…){if(…){…}else{…}}else{…}5·2软件测试的基本概念软件测试是软件开发工作的最后一个环节。由于人认识客观事物的主观性，难免在开发的软件产品中产生错误。为了给用户交付一个高质量的软件系统，必须对开发的系统进行严格的测试，以便尽可能多的发现错误。软件测试是保证软件质量,提高软件可靠性的关键。5·2·1基本概念软件产品最大的成本是检测软件错误、修正软件错误的成本。在整个软件开发中：测试工作量≥40%(1)预防错误:几乎不可实现(2)发现错误:软件测试目的找错5·2·1基本概念5·2·2测试的目的与地位G.J.Myers在<软件测试技巧>中认为:“程序测试是为了发现错误而执行程序的过程.”E.W.Dijkstra指出:“程序测试能证明错误的存在,但不能证明错误不存在.”测试的目的是发现程序中的错误,是为了证明程序有错,而不是证明程序无错.把证明程序无错当作测试目的不仅是不正确的,完全做不到的，而且对做好测试没有任何益处，甚至是十分有害的.软件测试要设法使软件发生故障,暴露软件错误测试的“成功”与“失败”能够发现错误的测试是成功的测试，否则是失败的测试。“测试的目的是说明程序正确地执行它应有的功能”也是错误的.例：程序Triangle，输入三个整数，表示一个三角形的三个边长，该程序产生一个结果，指出该三角形是等边三角形、等腰三角形还是不等边三角形。为说明其能正确执行它的功能，可使用“测试用例”(3,4,5),(5,5,6),(6,6,6),程序都能给出正确结果，是否就可认为程序是正确的？5·2·3测试与调试(排错)测试(test)调试(debug)以已知条件开始,使用预先定义的程序,有预知的结果以不可知内部条件开始,结果一般不可预见有计划被动的由独立的测试组，在不了解软件设计的条件下完成由程序作者进行发现错误找出错误位置，排除5·2·4测试阶段工作步骤单元测试:检验每个模块能否单独工作.集成测试:检验概要设计中模块接口设计问 题 快递公司问题件快递公司问题件货款处理关于圆的周长面积重点题型关于解方程组的题及答案关于南海问题 确认测试:以需求规格说明书为检验尺度系统测试:综合检验平行运行：新旧两套系统并行运行，对照检验测试可视为分析、设计、编码三个阶段的最终复审,以保证软件质量.5·2·5测试阶段与前期工作的关系程序中的问题根源可能在开发前期的各阶段解决、纠正错误也必须追溯到前期工作。测试与开发前期工作的关系决定软件与系统的配合关系需求分析概要设计详细设计编码单元测试集成测试确认测试系统测试开发前期出现错误的扩展计划需求分析设计编码测试AAB软件生存期各阶段间需求保持的正确性用户要求用户:我要什么?运行结果计算机:程序运行得到的结果源程序程序员:我要让计算机什么做?设计说明书设计员:我要让软件做什么?需求说明书分析员:我可以提供什么?12345理解正确性表达正确性理解正确性设计正确性表达正确性理解正确性编码正确性运行正确性输入正确性相符吗?5·2·6软件测试的对象软件测试不等于程序测试，软件测试应贯穿于软件定义与开发的整个期间；据美国一家公司统计，查出的软件错误中，属于需求分析和软件设计的错误约占64%，属于程序编写的错误仅占36%。程序编写的许多错误是“先天的”。5·2·7测试的基本原则(1)开发和测试队伍分别建立(2)测试用例（测试用的一组输入数据、环境平台和运行条件）应由输入数据和预期的输出结果两部分组成.(3)兼顾合理的输入和不合理的输入数据(4)应检查程序是否作了不该做的事(5)程序修改后要回归测试(6)应长期保留测试用例，直至系统废弃。程序测试举例例：程序Triangle，输入三个整数，表示一个三角形的三个边长，该程序产生一个结果，指出该三角形是等边三角形、等腰三角形还是不等边三角形。判断三角型的测试用例设计:输入数据预期结果(1)6;6;6等边(2)8;8;4等腰(3)4;5;6一般还应输入非法数据：0;7;9-7;3;5a;2;7等5·2·8软件错误的分类功能错(需求分析错误)软件结构错数据错编码错软件集成错测试定义与测试执行错误5·2·9软件测试信息流测试过程需要三类输入：软件配置:需求规格说明书软件设计说明书被测源程序测试配置:测试计划测试用例(测试数据)测试驱动程序测试工具:软件测试信息流软件配置测试测试配置测试工具结果分析排错可靠性分析测试结果错误预期结果出错率改正的软件预测的可靠性5·2·10测试的方法与技术软件测试的策略和方法静态测试方法动态测试方法人工测试方法计算机辅助静态分析方法白盒测试方法黑盒测试方法穷举测试方法静态测试：基本特征是在对软件进行分析、检查和测试，不实际运行被测试的软件.静态测试约可找出30～70%的逻辑设计错误.对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错.动态测试：通过运行软件来检验软件的动态行为和运行结果的正确性.动态测试的两个基本要素：被测试程序测试数据（测试用例）动态测试方法(1)选取定义域有效值,或定义域外无效值.(2)对已选取值决定预期的结果(3)用选取值执行程序(4)执行结果与(2)结果相比,不吻和程序有错.5·3两种类型的测试1黑盒测试2白盒测试5·3·1黑盒测试又称:功能测试数据驱动测试基于规格说明书的测试5·3·2白盒测试又称:结构测试玻璃盒测试基于覆盖的测试.根据被测程序的逻辑结构设计测试用例;力求提高测试覆盖率;5·3·3黑盒与白盒测试比较黑盒测试是从用户观点，按规格说明书要求的输入数据与输出数据的对应关系设计测试用例,是根据程序外部特征进行测试。白盒测试是根据程序内部逻辑结构进行测试。5·3·4穷举测试例:输入三条边长黑盒测试可采用的测试用例数(设字长16位)执行时间:设测试一次需1ms共需一万年.=2X2X2≈3X10161616145·3·4穷举测试白盒测试例:含5个分支,循环次数≤20,从A到B的可能路径执行时间:设测试一次需2ms穷举测试需5亿年.=5+5+..+5+5≈1020121914AB5·3·4穷举测试不论黑盒还是白盒测试都不能进行穷尽测试,所以软件测试不可能发现程序中存在的所有错误,因此需精心设计测试 方案 气瓶 现场处置方案 .pdf气瓶 现场处置方案 .doc见习基地管理方案.doc关于群访事件的化解方案建筑工地扬尘治理专项方案下载 ,力争尽可能少的次数,测出尽可能多的错误.黑盒测试与白盒测试能发现的错误CBAD-只能用黑盒测试发现的错误A-只能用白盒测试发现的错误-两种方法都能发现的错误-两种方法都不能发现的错误BCD5·4白盒测试的测试用例设计逻辑覆盖法：一系列测试方法总称，特点是逐渐进行越来越完整的通路测试。例:PROCEDURESAMPAL(A，B：REAL；VARX：REAL);BEGINIF(A>1)AND(B=0)THENX:=X/AIF(A=2)OR(X>1)THENX:=X+1END;5·4·1逻辑覆盖准则(1)语句覆盖(2)判定覆盖(3)条件覆盖(4)判定/条件覆盖(5)条件组合覆盖(6)路径覆盖(7)点覆盖(8)边覆盖1语句覆盖开始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce使程序中每个语句至少执行一次只需设计一个测试用例:输入数据：A=2，B=0，X=4即达到了语句覆盖;语句覆盖是最弱的逻辑覆盖2判定覆盖开始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce使每个判定的真假分支都至少执行一次例:可设计两组测试用例:A=3，B=0，X=3可覆盖c、d分支A=2，B=1，X=1可覆盖b、e分支两组测试用例可覆盖所有判定的真假分支判定覆盖仍是弱的逻辑覆盖3条件覆盖使每个判定的每个条件的可能取值至少执行一次。第一判定表达式:设条件A>1取真记为T1假T1条件B=1取真记为T2假T2第二判定表达式:设条件A=2取真记为T3假T3条件X>1取真记为T4假T43条件覆盖开始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce满足条件:T1,T1,T2,T2T3,T3T4,T4测试用例通过满足的覆盖ABX路径条件分支103abeT1,T2,T3,T4b,e211abeT1,T2,T3,T4b,e两个测试用例覆盖了四个条件八种可能取值。未覆盖c、d分支，不满足判定覆盖的要求.条件覆盖不一定包含判定覆盖判定覆盖也不一定包含条件覆盖4判定/条件覆盖选取足够多的测试用例，使判断中的每个条件的所有可能取值至少执行一次，同时每个判断本身的所有可能判断结果至少执行一次.判定/条件覆盖开始(A>1)AND(B=0)(A=2)OR(X>1)返回X=X/AX=X+1FFTTabdce满足条件:T1,T1,T2,T2T3,T3T4,T4测试用例通过满足的覆盖ABX路径条件分支204aceT1,T2,T3,T4c,e211abdT1,T2,T3,T4b,d能同时满足判定、条件两种覆盖标准。取值。测试用例通过满足的覆盖ABX路径条件分支203aceT1,T2,T3,T4c,e211abeT1,T2,T3,T4b,e103abeT1,T2,T3,T4b,e111abdT1,T2,T3,T4b,d(5)条件组合覆盖所有可能的条件取值组合至少执行一次A>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,T4b,e001abeT1,T2,T3,T4b,e010abdT1,T2,T3,T4b,d202aceT1,T2,T3,T4c,e211abeT1,T2,T3,T4b,e322abeT1,T2,T3,T4b,e331abdT1,T2,T3,T4b,d测试用例通过满足的覆盖ABX路径条件分支204aceT1,T2,T3,T4c,e211abeT1,T2,T3,T4b,e102abdT1,T2,T3,T4b,d111abdT1,T2,T3,T4b,d6路径覆盖覆盖每一个可能的路径测试用例通过满足的覆盖ABX路径条件分支111abdT1,T2,T3,T4b,d112abeT1,T2,T3,T4b,e301acdT1,T2,T3,T4c,d204aceT1,T2,T3,T4c,e路径测试法借助程序控制流图设计测试用例的白盒测试法.点覆盖边覆盖7点覆盖测试路径至少经过程序控制流图中每个节点一次执行路径:abdghi和aceghi满足点覆盖S123456Eacbdfeghi8边覆盖测试路径至少经过程序控制流图中每条边一次.执行路径:abdfi和aceghi满足边覆盖S123456Eacbdfeghi