软件工程农业计算机科学技术

PAGE3PAGE3 PAGEPAGE5测试的定义是为发现程序错误而运行程序的过测试（testing）的目的与任目的：发现程序的错任务：通过执行程序，潜在的错纠错（debugging）目的：定位和纠正错任务：消除软件故障，保证程序的可靠运测试和纠错信息程测评错误信程测评错误信纠改正信测试数 期望结PAGE9PAGE9 输入数据的所有组合情况有2483*1014，如果测试径数目可能是天文数字例如一个小程序的流程图，它包括了一个执行20次径数达520条，如果对每一条路径进试需要1毫秒，365×2完，大约需317年GlenMyers给出的软件测试目的设计合适的测试用例，用尽可能少的测试用例，来发现尽可能多的软件错误Davis一组指导软件测试的本原则所有的测试都应可追溯到客户求应该在测试工作真正开始前的长时间就进试计Pareto原则：测试中发现的80%错误可能来自于20%的程序代测试应从“小规模”开始，逐转向“大规模穷举测试是不可能为了达到最有效的测试，应由立的第来承担测

其他的测试原则在设计测试用例时，应包括合的输入条件和不合理的输入条严格执试计划，排除测试随意应当对每一个做全面查在规划测试时不要设想程序中会查出错挑剔抱着为证明程序有错的目的去测复杂设计合适的测试用需要细致和高度技不彻底“程序测试只能证明错误的存在，但不能证明错误不存在穷举测试既不可能也不可经济选择典型的测试用例进行适当的测不可随意提高测试的等 测试用例的设计是软件测试的关键设计尽可能少的测试用例来发现尽可能多错设计最有可能发现软件错误的测试用例，时避免使用发现错误效果相同的测试用测试用例分为两类：白盒测试和黑盒测试，也称白箱测试和黑箱测试白盒测试（又称为结构测试）象看作一个透明的盒子，测试根据程序的逻辑结构及有关信息设计测程序模块中的路对所有逻辑判在上下边界及可操作范围内运行所有循测试数据结构的有效性看做一个黑盒子，测试完全不考虑程序的逻辑结构和特性，只依黑盒测试可用于各种测试，主要用不正确或遗漏的功接口错误，如输入/输出参数的个数、类型数据结构错误或外部信息(如外部数据库)错性能错初始化和终止错 主要的覆盖标准有语句覆判定覆条件覆

判定/条件覆条件组合覆路径覆逻辑覆盖测试的5语句覆每条语句至少执行一弱||||强每一判定的每个条件覆每一判定的每个条件，分别按“真”判定/同时满足判定覆盖和条件覆盖的要件覆求条件每个判定中所有条件组合都至少执合覆行一 s例：子程序测s(y>1)(y>1)tfx=x/if(y>1)and(z=0)then if(y=2)or(x>1)then t(y=2)or(xfx=x+值，并将计算结t(y=2)or(xfx=x+应的流程图 返返a:(y>1)andc:(y=2)or判定cy=2、当判定a为“真”x>1”实际是“x/y>1”，即当判定a为“假”x>1”路径1sabcde（L1）是aL1={(y>1)and(z=0)}{(y=2)or=(y>1)and(z=0)and(y=2)or(y>1)and(z=0)and(x>y)=(y=2)and(z=0)(y>1)and(z=0)and(x>y

sasafcfedbc:路径2sace，其执行条件（L2）是a为“f”L2=not{(y>1)and(z=0)}not{(y=2)or={not(y>1)ornot(z=0)}{not(y=2)andnot(x>1)=not(y>1)andnot(y=2)andnot(x>1)ornot(z=0)andnot(y=2)and=(y≤1)and(y≠2)and(x≤(z≠0)and(y≠2)and(x≤

sasafcfedbc:路径3sacde，其执行条件（L3）是a为“f”L3=not{(y>1)and(z=0)}{(y=2)or={not(y>1)ornot(z=0)}{(y=2)or=(y≤1)and(y=2)or(y≤1)(x>1)(z≠0)and(y=2)or(z≠0)

sasafcfedbc:路径4sabce，其执行条件（L4）是a且cL4={(y>1)and(z=0)}not{(y=2)or=(y>1)and(z=0)andnot(y=2)not(x>=(y>1)and(z=0)and(y≠2)and≤

sasafcfedbc:safcfedbsafcfedbL1=(y=2)and(z=0)(y>1)and(z=0)and(x>y测试用例如下

a:c:safcfedbsafcfedb（即判定的每个分支至少经过一次sacde（a为“f”且c为“t，即条件L3）和（a为“t”且c为“f，即条件L4）或者，执行路径sabcde（a为“t”且c为“t”

a:条件L1）和sace（a为“f”且c为“f，即条件

acacfttfsafcfedbsafcfedb判定a中各种条件的所有可能结果：y>1，≤1，z=0，z≠判定c中各种条件的所有可能结果：y=2，2x>1（或x>y），x1（或x计算机科学计算机科学技术软件工程（第二版 y≤1，z≠y≠2y>1，y=2，x≤覆盖的路预期结测试数

a:c: 覆盖标准，但判定c为“结actactty>1，z=0，y=2，x>yffy≤1，z≠y≠2，x满足判定/条件覆定覆盖、条件覆盖、语句覆盖标

satfsatfcfedbc:safsafcfedb①y>1，z=0 ②y>1，z≠③y≤1，z=0;④y≤1，≠⑤⑤⑥x≤1⑦y≠2，⑧≠2，x≤1;

a:c:acttft②y>1，z≠⑥y=2，x≤ft③y≤⑦y≠ff④y≤1，z≠⑧y≠safcsafcfedbc:(y=2)orsafcfedb本safcfedbsabcde(a为“t”且c为L1=(y=2)and(z=0)(y>1)and(z=0)and(x>ysace(a为“f”且c为L2=(y≤1)and(x≤1)(z0andy2andx1)sacde(a为“f”且c为“t”)L3=(y≤1)and(x>1)(z≠0)and(y=2)or(z≠0)andsabce(a为“t”且c为L4=(y>1)and(z=0)and(y≠2)and(x≤actttfftff 其区域数，然后确定一组独立的程序执行框（对应于程序中的条件控制语句）成流图中的一个结点，设计图中的箭头（对应于程序中的控制转向）成流图中的一条边。对于设计图中多个箭头的交汇点可以成┅┅顺 二分 多分 While循环untul循aaborcfty=1aft2cf34t5y=123456x=x=x= x=x=x=

12123456例如，对程序进行基本路径测试，该程序的功能是：最多输入N个值（以-9为输入结束标志），计算位于给定范围内的那些值（称为有效输入值）的平均值，以及输入值的个数和有效值的个

赋初total.valid

value[i]-999ftotal.input averagesum/

average=-f

total.valid加value[i]ttvalue[i] tftotal.valid加sum=sum+value[ii加 假设：n=5；minimum= um=100路径11-2-10-11-测试数据：value90，-预期结果：Average90，total.input1，total.valid=1路径21-2-10-12-测试数据：value999预期结果：Average999，total.input0，total.valid=0路径31-2-3-10-11-测试数据：value1，90，70，-预期结果：Average80，total.input5，total.valid=3路径4：1-2-3-4-5-8-9-2-10-12-测试数据：value1，-2，-3，-4，-预期结果：Average999，total.input4，total.valid=0路径5：1-2-3-4-5-6-8-9-2-10-12-测试数据：value=[120，110，101，-预期结果：Average999，total.inputtotal.valid=路径61-2-3-4-5-6-7-8-9-2-10-11-测试数据：value95，90，70，65，-预期结果：Average80，total.input4，total.valid=4 主要的黑盒测试方 据对软件中的错误都是等效的，测试等价类的某个有效输入数据主要用来检验程序是否实现了规格说明中的功能指不符合规格说明要求的不合理或类是“0100”，无效等价类是“成绩0”等价类（输入值的个数等于规定的个数）3”3”和“输入边数3”（任意一个不允许的值格，则可确定5类（从各个不同的角度此规则））和一个无效）和一个无效等的，在遇到具体问题时，可参照上述规则的思想来划分标识符是由字母开头，后跟字母或数字的任意组合构成；标识符的字符数为1～8个；标识符必须先说明后使用；一个说明语句中至少有一个标识符；保留字不能用作变入或输出范围的边界上，而不是在输入范围的。因此针对各种边界情况设计测试用例，其程序中错误的可边界值分对应输入最大合格：年月值为35周岁最小合格：年月值为16周恰大于最大合格：年月值比3周岁大月恰小于最小合格年值比1周岁小月月份对应输入最小月份恰小于最小月份序中的错误，因此经常把边值分析方法与其它设计测试用例方法结合起来使用 错误猜测是一种凭和经验推测某依靠和经单元测试是针对程序中的模块或构件，主要编集成测试针对集成的软件系统，主要设计阶段软件测试各阶模块单元测测试报

软件设计信

软件需求信

系统的其它成模块单测

已组综 软 确测 测

的系统模块单 测 测测试测试 编码阶

测试阶

验收阶

单元测试又称模块测试，它着重对软件设计的最小单（软件构件或模块）进单元测试根据设计描述，对重要的控制路径进试，单元测试通常采用白盒测试，并且多个构件或模块可以并行进试这里将构件或模块统一称为模 这些信息包括参数的个数、次序、类型等构时据法的整、边界条件：确保程序单元在极限或严格的情况下仍能理路径进试。错误处理部分潜在的错误有：报桩模被测模桩模被测模桩模单元测试通常与编码工作结合起来模块本身不是一个独立的程序，在测试模块时，必须为(driver)程序和若干个桩(stub)模块驱驱动程驱动模块接收测试数据，调用被测模块，把测试数据传块的返回数据，并打印相关结果。初始化输出停桩模块的功能是替代被被测模块调用的模块，它接受被测模块的调用，验证信息，把控制连同模拟结果返回给被测模块。初始化打印验证结果 主要问题在于数据可能在通过接口时全局数据结构可能会存在问（作为一个整体）进试。这种测试在发现错误时，很 并对其进试 深度优先测试M1、M2、M5、M8、M6、M3、M7、广度优先测试次序M1、M2、M3、M4、M5、M6、M7、然后对主控模块进试进试反映真实情况；重要数据不回将低层模块组合成能实现软件特定功能的为每个簇编写驱动程序，并对簇进然后沿着程序结构的层次向上组合新的簇有引入新的错误重复第2）步至第4）簇

簇 簇簇 将整个程序结构分解干个簇，对同一层次的簇可并行进试，可提策略的选 集成测试时应特别关注关键模块（criticalmodule）的测 出问题软件配置评审也称软件审核（audit），其目的是保有阶段必需的细节，而且已经编排好分类软件配置主要包括计算机程序（源代码和可执行程序），如果软件是给许多客户使用的（α发者对用户的“指导下”进试。经α测试后的软ββ测试是由软件的最终用户在一个或多个用户场所进行αβ测试是软件在一个开发者不能控制的环境中的“活的”β（真正的或想象的）问题，并定期把这些问题报告给开发者，在接到β后着手准备向所有的用户发布最终的软件产品 系统测试是对整个基于计算机的系统进行的一系列测试系统测试的种类很多，每种测试都有不同的目的，它们从不同的角度测试计算机系统是否被正常地集成，并完成相应的功能常用的系统测试包括恢复测试（recovery安 性测试（security压力测试（stress性能测试（performance恢复测试是通过各种，强制软件发生故障，然后修正错误并重新启动系统如果恢复是由系统自身来完成的，那么，需测试重新MTTR（metorepair）是否在用户可以接受安全性测试（也称安全测试）用来验证集成在系统中的保护机制能否实际保护系统不受侵入在安全测试过程中，测试者扮演一个试图系统的角色，采用各种方式系统。例如，截取或码译；借助特殊软件系统“”系统，使他人无法；故意导致系统失效，企图在系统恢复之机侵入系统；通过浏览非数据，从中找出进入系统的等等压力测试也称强度测试，它是在一种需要数量、频率或容量的方式下执行系统，其目的是检查系统对情况的承受程度。例如：当系统的中断频率是每秒1或2个时，执行每秒10个中断应 发现尽可能多的错误面向对