软件测试10第十章功能和结构测试回顾

软件测试回顾

基路径测试基本路径测试前提条件测试进入的前提条件是在测试人员已经对被测试对象有了一定的了解，基本上明确了被测试软件的逻辑结构。测试过程过程是通过针对程序逻辑结构设计和加载测试用例，驱动程序执行，以对程序路径进行测试。测试结果是分析实际的测试结果与预期的结果是否一致。

基本路径测试步骤：1.导出程序流程图的拓扑结构——程序图(或DD-路径图)2.计算流图G的环路复杂度V(G)3.确定只包含独立路径的基本路径集4.设计测试用例程序流程图12367845910111、导出程序流程图的拓扑结构-DD-路径图区域节点边R41364,57891011R3R2R122、计算流图G的环路复杂度V(G)有三种方法计算环路复杂度：V(G)=区域个数=4V(G)=边的条数-节点个数+2=4

V(G)=判定节点个数+1=43、确定只包含独立路径的基本路径集path1:1-11path2:1-2-3-4-5-10-1-11path3:1-2-3-6-8-9-10-1-11path4:1-2-3-6-7-9-10-1-11

这4条路径组成了一个基本路径集。4(图的环路复杂度)是构成这个基本路径集的独立路径数的上界，也是设计测试用例的数目。4、设计测试用例，保证基本路径集中每条路径的执行。区域节点边R41364,57891011R3R2R12指导方针与观察问题：功能性测试：漏洞和冗余，而且不能被发现。结构性测试的基路径测试方法：用有向图表示代码和程序路径公式化，掩盖了代码中的重要信息，即可行路径和不可行路径的区别。其他方法：基于数据流的测试第十章

数据流测试学习目标数据流测试（了解）数据流定义/使用测试（了解）变量被定义，但从来没有使用所使用的变量没有被定义变量在使用之前被定义两次

早期的数据流分析常常集中于定义/引用异常的缺陷。数据流测试数据流测试：数据流测试按照程序中的变量定义和使用的位置来选择程序的测试路径。数据流测试关注变量接收值的点和使用这些值的点。一种简单的数据流测试策略是要求覆盖每个定义－使用路径一次。数据流测试用做路径测试的“真实性检查”。10.1定义/使用测试定义1：定义节点节点n∈G（P）是变量v∈V的定义节点，记做DEF（v，n），当且仅当变量的值由对应节点n的语句片断处定义。定义节点语句：输入语句、赋值语句、循环语句和过程调用。定义2：使用节点节点n∈G（P）是变量v∈V的使用节点，记做USE（v，n），当且仅当变量v的值在对应节点n的语句片断处使用。使用节点语句：输出语句、赋值语句、条件语句、循环控制语句和过程调用。定义3：谓词使用、计算使用使用节点USE（v，n）是一个谓词使用（记做P-use），当且仅当语句n是谓词语句；否则，USE（v，n）是计算使用（记做C-use）对应于谓词使用的节点，其外度≥2对应于计算使用的节点，其外度≤1定义4：定义－使用路径定义－使用路径（记做du-path）：是PATHS（P）中的路径，使得对某个v∈V，存在定义和使用节点DEF（v，m）和USE（v，n），使得m和n是该路径的最初和最终节点。定义5：定义清除路径定义清除路径（记做dc-path）：是具有最初和最终节点DEF（v，m）和USE（v，n）的PATHS（P）中的路径，使得该路径中没有其他节点是v的定义节点。lockPrice=45.0stockPrice=30.0barrelPrice=25.0totalLocks=0totalStocks=0totalBarrels=0Input(locks)WhileNOT(locks=-1)Input(stocks,barrels)totalLocks=totalLocks+lockstotalStocks=totalStocks+stockstotalBarrels=totalBarrels+barrelsInput(locks)EndWhileOutput("Lockssold:"，totalLocks)Output("Stockssold:"，totalStocks)Output("Barrelssold:"，totalBarrels)lockSales=lockPrice*totalLocksstockSales=stockPrice*totalStocksbarrelSales=barrelPrice*totalBarrelssales=lockSales+stockSales+barrelSalesOutput("Totalsales:"，sales)例：佣金问题（P144）If(sales>1800.0)Thencommission=0.10*1000.0commission=commission+0.15*800.0commission=commission+0.20*(sales-1800.0)ElseIf(sales>1000.0)Thencommission=0.10*1000.0commission=commission+0.15*(sales-1000.0)Elsecommission=0.10*salesEndIfEndlfOutput("Commissionis$",commission)EndCommission（此处的Commission是文件名）commission：定义:31,32,33,36,37,38，使用:32,33,37,41

变量定义节点使用节点lockPrice724stockPrice825barrelPrice926totalLocks10,1616,21,24totalStocks11,1717,22,25totalBarrels12,1818,23,26locks13,1914,16stocks1517barrels1518lockSales2427stockSales2527barrelSales2627sales2728,29,33,34,37,38commission31,32,33,36,37,3832,33,37,41佣金问题变量的定义/使用节点佣金问题部分定义/使用路径变量路径(开始，结束)节点是定义清除吗lockPrice7，24是stockPrice8，25是barrelPrice9，26是totalStocks11，17是totalStocks11，22否totalStocks11，25否totalStocks17，17是totalStocks17，22否？totalStocks17，25否？locks13，14是locks19，14是locks13，16是locks19，16是佣金问题定义/使用路径（续）stocks、barrels、lockSales、stockSales、barrelSales的定义/使用路径（它们都只有一条定义/使用路径）locks的定义/使用路径totalLocks的定义/使用路径（有循环体）sales的定义/使用路径sales只使用了一个定义节点，因此sales的所有定义-使用路径都是定义清除的。commission的定义/使用路径（有分支）713891011121415161718192629303132403438202122232425272839353637334142commission定义:31,32,33,36,37,38;使用:32,33,37,41;totalLocks定义:10,16;使用:16,21,24;定义-使用路径测试覆盖指标全定义准则集合T满足程序P的全定义准则，当且仅当所有变量v∈V，T包含从v的每个定义节点到v的一个使用的定义清除路径。全使用准则集合T满足程序P的全使用准则，当且仅当所有变量v∈V，T包含从v的每个定义节点到v的所有使用，以及所有USE(v,n)后续节点的定义清除路径。定义-使用路径测试覆盖指标(续)全谓词使用/部分计算使用准则集合T满足程序P的全谓词使用/部分计算使用准则，当且仅当所有变量v∈V，T包含从v的每个定义节点到v的所有谓词使用的定义清除路径，并且如果v的一个定义没有谓词使用，则定义清除路径导致至少一个计算使用。全计算使用/部分谓词使用准则集合T满足程序P的全计算使用/部分谓词使用准则，当且仅当所有变量v∈V，T包含从v的每个定义节点到v的所有计算使用的定义清除路径，并且如果v的一个定义没有计算使用，则定义清除路径导致至少一个谓词使用。定义-使用路径测试覆盖指标(续)全定义-使用路径准则集合T满足程序P的全定义-使用路径准则，当且仅当所有变量v∈V，T包含从v的每个定义节点到v的所有使用，以及所有USE(v,n)后续节点的定义清除路径，并且这些路径要么有一次的环经过，要么没有环路。数据流覆盖指标层次图第8章

功能性测试回顾测试工作量（了解）测试效率（了解）指导方针（了解）案例研究（了解）本章内容不同测试方法的测试工作量边界值决策表等价类测试用例数低每种测试方法的测试用例趋势线精细程度高8.1测试工作量太少的测试是不负责任，过多的测试是一种犯罪。100％的测试是不可能的，不同的用户采用的测试策略是不同的。测试工作量边界值决策表等价类标识测试用例效果低每种测试方法的测试用例标识工作量趋势线精细程度高三角形问题的测试用例趋势线按测试方法统计的测试用例——三角形问题NextDate问题的测试用例趋势线按测试方法统计的测试用例——NextDate问题

佣金问题的测试用例趋势线按测试方法统计的测试用例——佣金问题三个问题的测试用例趋势线按测试方法统计的测试用例——所以问题功能测试的基本局限未测试的功能漏洞冗余测试8.2测试效率8.3指导方针在选择功能性测试方法时需要考虑被测对象的属性：变量是否表示物理量或逻辑量？变量之间是否存在依赖关系？是假设单缺陷还是假设多缺陷？是否有大量例外处理？功能性测试技术选择的初步的“专家系统”：如果变量是物理量，可采用定义域测试和等价类测试。如果变量是独立的，可采用定义域测试和等价类测试。如果变量不是独立的，可采用决策表测试。如果是单缺陷假设，可采用边界值分析和健壮性测试。如果是多缺陷假设，可采用最坏情况测试、健壮性最坏情况测试和决策表测试。如果程序包含大量例外处理，可采用健壮性测试和决策表测试。如果变量引用的是逻辑量，可采用等价类测试用例和决策表测试。功能性测试的合适选择第十一章

结构性测试回顾本章内容什么时候停止测试（了解）漏洞与冗余（了解）用于方法评估的指标（了解）11.1什么时候停止测试？“不充分的测试是愚蠢的，而过度的测试是一种罪孽”。影响测试工作量的主要因素系统的目的系统的目的的差别在很大程度上影响所需要进行的测试的数量潜在的用户数量一个系统的潜在用户数量也在很大程度上影响了测试必要性的程度信息的价值开发机构测试的时机软件停止测试标准软件系统经过单元、集成、系统测试，分别达到单元、集成、系统测试停止标准。软件系统通过验收测试，并已得出验收测试结论。软件项目需暂停以进行调整时，测试应随之暂停，并备份暂停点数据。软件项目在其开发生命周期内出现重大估算、进度偏差，需暂停或终止时，测试应随之暂停或终止，并备份暂停或终止点数据。单元测试停止标准单元测试用例