java实现白盒测试代码 白盒测试测试用例模板( 五 )


1. 程序的控制流图:描述程序控制流的一种图示方法 。
2. 程序圈复杂度:McCabe复杂性度量 。从程序的环路复杂性可导出程序基本路径集合中的独立路径条数,这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界 。
3. 导出测试用例:根据圈复杂度和程序结构设计用例数据输入和预期结果 。
4. 准备测试用例:确保基本路径集中的每一条路径的执行 。
工具方法:
图形矩阵:是在基本路径测试中起辅助作用的软件工具,利用它可以实现自动地确定一个基本路径集 。
程序的控制流图:描述程序控制流的一种图示方法 。
圆圈称为控制流图的一个结点,表示一个或多个无分支的语句或源程序语句
流图只有二种图形符号:
图中的每一个圆称为流图的结点,代表一条或多条语句 。
流图中的箭头称为边或连接,代表控制流
任何过程设计都要被翻译成控制流图 。
如何根据程序流程图画出控制流程图?
在将程序流程图简化成控制流图时 , 应注意:
在选择或多分支结构中,分支的汇聚处应有一个汇聚结点 。
边和结点圈定的区域叫做区域,当对区域计数时,图形外的区域也应记为一个区域 。
基本路径测试法的步骤:
第一步:画出控制流图
流程图用来描述程序控制结构 。可将流程图映射到一个相应的流图(假设流程图的菱形决定框中不包含复合条件) 。在流图中,每一个圆,称为流图的结点,代表一个或多个语句 。一个处理方框序列和一个菱形决测框可被映射为一个结点,流图中的箭头,称为边或连接,代表控制流,类似于流程图中的箭头 。一条边必须终止于一个结点,即使该结点并不代表任何语句(例如:if-else-then结构) 。由边和结点限定的范围称为区域 。计算区域时应包括图外部的范围 。
第二步:计算圈复杂度
圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量,将该度量用于计算程序的基本的独立路径数目,为确保所有语句至少执行一次的测试数量的上界 。独立路径必须包含一条在定义之前不曾用到的边 。
有以下三种方法计算圈复杂度:
流图中区域的数量对应于环型的复杂性;
给定流图G的圈复杂度V(G) , 定义为V(G)=E-N+2,E是流图中边的数量,N是流图中结点的数量;
给定流图G的圈复杂度V(G),定义为V(G)=P+1,P是流图G中判定结点的数量 。
第三步:导出测试用例根据上面的计算方法,可得出四个独立的路径 。(一条独立路径是指,和其java实现白盒测试代码他的独立路径相比,至少引入一个新处理语句或一个新判断的程序通路 。V(G)值正好等于该程序的独立路径的条数 。)
路径1:4-14
路径2:4-6-7-14
路径3:4-6-8-10-13-4-14
路径4:4-6-8-11-13-4-14
根据上面的独立路径,去设计输入数据 , 使程序分别执行到上面四条路径 。
白盒测试三步法
1) 根据代码的功能,人工设计测试用例进行基本功能测试;
2) 统计白盒覆盖率,为未覆盖的白盒单位设计测试用例,实现完整的白盒覆盖,比较理想的覆盖率是实现100%语句、条件、分支、路径覆盖;
3) 自动生成大量的测试用例 , 捕捉"程序员未处理某些特殊输入"形成的错误 。
第1步的测试用例通常是现成的,因为详细设计文档会规定程序的基本功能 , 没有文档的,程序员在编程时也要想清楚程序的功能,这些基本功能就是基本测试用例;
第2步是在第1步的基础上,检查未覆盖的白盒单位,由于未覆盖的逻辑单位通常对应未测试的等价类,因此第2步可以找出第1步所遗漏的测试用例;

推荐阅读