软件测试-12白盒测试

《软件测试-12白盒测试》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、白盒测试方法其他方法目录循环测试1程序插桩技术2静态测试方法3白盒测试总结4引例有如下代码（C语言）：For(i=0;i

2、的循环n-1。循环测试例：求最小值k=i;for(j=i+1;j<=n;j++)if(A[j]

3、=k+1;j

4、ation)是一种基本的测试手段方法简介：借助往被测程序中插入操作，来实现测试目的的方法。最简单的插桩：在程序中插入打印语句printf(“…”)语句程序插桩技术程序从入口开始执行，到出口结束，凡经历的计数语句都能记录下该程序点的执行次数。如果我们在程序的入口处还插入了对计数器C(i)初始化的语句，在出口处插入了打印这些计数器的语句，就构成了完整的插桩程序。它就能记录并输出在各程序点上语句的实际执行次数.程序插桩技术右图为插桩之后的程序，箭头所指为插入的语句。原程序的语句已略去。例:求取两个整数X和Y的最大公约数程序如下:intgsd(intX,intY){intQ=X;intR=Y;whil

5、e(Q!=R){if(Q>R)Q=Q-R;elseR=R-Q;}returnQ;}程序插桩技术可以根据程序绘制出其流程图为了记录该程序中语句的执行次数,我们使用插桩技术插如如下语句:C(i)=C(i)+1,i=1,2,…,6插桩之后的流程图如下：程序插桩技术设计插桩程序时需要考虑的问题包括：（1）需要探测哪些信息（2）在程序的什么部位设置探测点（3）需要设置多少个探测点前两个问题需要结合具体的问题解决，并不能给出笼统的回答。至于第三个问题，需要考虑如何设置最少的探测点！静态测试法简介静态测试不实际运行软件，只是检查和审阅，主要对软件的编程格式，结构等方面进行评估。静态测试代码检查静态结构分析代

6、码质量度量代码审查代码走查桌面检查控制流分析数据流分析信息流分析代码审查（codeinspection)程序员和测试员组成的审查小组通过阅读、讨论和争议，对程序进行静态分析的过程。第一步：小组成员提前阅读设计规格书、程序文本等相关文档第二步：召开程序审查会，开发人员读程序，审查小组讨论、发现、解决问题代码审查（codeinspection)内容检查代码和设计的一致性检查代码对标准的遵循、可读性检查代码的逻辑表达的正确性检查代码结构的合理性形成公司积累变成容易出错的checklist代码走查（codewalkthrough)程序员和测试员组成的审查小组通过逻辑运行程序，发现问题。第一步：小组成员

7、提前阅读设计规格书、程序文本等相关文档第二步：利用测试用例，使程序逻辑运行，记录程序的踪迹，发现、讨论、解决问题桌面检查可视为由单人进行的代码检查或代码走查。是程序员对源程序代码进行分析、检验，并补充相关的文档，发现程序中的错误的一种方法。白盒测试综合策略在白盒测试中，可以使用各种测试方法的综合测试如下所示：在测试中，应尽量先用工具进行静态结构分析。测试中可采取先静态后动态的组合方式：先进行静态结