软件测试12白盒测试

1、其他方法循环测试循环测试1程序插桩技术程序插桩技术2静态测试方法静态测试方法3白盒测试总结白盒测试总结4引例引例有如下代码（有如下代码（c语言）：语言）： for (i=0;inum;i+) k=0; for (j=k+1;jn;j+) if (aijaik) k=j; bi=aik;该循环的测试用例设计思路是怎样的？该循环的测试用例设计思路是怎样的？循环测试循环测试fdcabe回到引例回到引例有如下代码（有如下代码（c语言）：语言）：for (i=0;inum;i+) k=0; for (j=k+1;jn;j+) if (aijr) q=q-r;else r=r-q; return q;可以

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

3、code inspection)程序员和测试员组成的审查小组通过阅读、讨论讨论和争议，对程序进行静态分析的过程 。第一步：小组成员提前阅读设计规格书、程序文本等相关文档第二步：召开程序审查会，开发人员读程序，审查小组讨论、发现、解决问题内容内容检查代码和设计的一致性检查代码对标准的遵循、可读性检查代码的逻辑表达的正确性检查代码结构的合理性形成公司积累变成容易出错的checklist程序员和测试员组成的审查小组通过逻辑运行程序，发现问题。第一步：小组成员提前阅读设计规格书、程序文本等相关文档第二步：利用测试用例，使程序逻辑运行，记录程序的踪迹，发现、讨论、解决问题 可视为由单人进行的代码检查或代

4、码走查。是程序员对源程序代码进行分析、检验，并补充相关的文档，发现程序中的错误的一种方法。在白盒测试中，可以使用各种测试方法的综合测试如下所示：在测试中，应尽量先用工具进行静态结构分析。测试中可采取先静态后动态的组合方式：先进行静态结构分析、代码检查和静态质量度量，再进行覆盖率测试。利用静态分析的结果作为引导，通过代码检查和动态测试的方式对静态分析结果进行进一步的确认，使测试工作更为有效。覆盖率测试是白盒测试的重点，一般可使用基本路径测试法达到语句覆盖标准；对于软件的重点模块，应使用多种覆盖率标准衡量代码的覆盖率；在不同的测试阶段，测试的侧重点不同：在单元测试阶段，以代码检查、逻辑覆盖为主；在

5、集成测试阶段，需要增加静态结构分析、静态质量度量；在系统测试阶段，应根据黑盒测试的结果，采取相应的白盒测试。逻辑覆盖方法基本路径测试方法循环测试程序插桩技术静态测试法为实现测试的逻辑覆盖为实现测试的逻辑覆盖,必须设计足够多的测试必须设计足够多的测试用例用例,并使用这些测试用例执行被测程序并使用这些测试用例执行被测程序,实施测实施测试试.我们关心的是我们关心的是:对于某个具体的程序来说对于某个具体的程序来说,至至少需要设计多少个测试用例少需要设计多少个测试用例.这里提供一种估算这里提供一种估算最少测试用例数的方法最少测试用例数的方法.我们知道我们知道,结构化程序是由结构化程序是由 3 种基本控制

6、结构组种基本控制结构组成成:顺序型顺序型(构成串行操作构成串行操作),选择型选择型(构成分支操作构成分支操作)和重复型和重复型(构成循环操作构成循环操作).为了把问题化简为了把问题化简,避免出现测试用例极多的组合避免出现测试用例极多的组合爆炸爆炸,把构成循环操作的重复型结构用选择结构把构成循环操作的重复型结构用选择结构代替代替.这样这样,任一循环便改造成进入循环体或不进任一循环便改造成进入循环体或不进入循环体的分支操作了入循环体的分支操作了.用n-s图表示程序的3种基本控制结构： 显然，要测试这个小程序，需要至少提供4个测试用例才能作到逻辑覆盖，使得ac、ad、bc及bd操作均得到检验。其实，

7、这里的4是图中的第1个分支谓词引出的两个操作，及第2个分支谓词引出的两个操作组合起来而得到的，即 22=4。并且，这里的2是由于两个并列的操作，即1+1=2 而得到的。例如，下图表达了两个顺序执行的分支结构。当两个分支谓词p1和p2取不同值时，将分别执行a或b及c或d操作。对于一般的、更为复杂的问题，估算最少测试用例对于一般的、更为复杂的问题，估算最少测试用例个数的原则也是同样的：个数的原则也是同样的：如果在如果在n-s图中存在有并列的层次图中存在有并列的层次a1、a2，a1和和a2的最少测试用例个数分别为的最少测试用例个数分别为a1、a2，则由，则由 a1、a2 两层所组合的两层所组合的 n-s图对应的最少测试用例数为图对应的最少测试用例数为a1a2。如果在如果在n-s图中不存在有并列的层次，则对应的最少图中不存在有并列的层次，则对应的最少测试用例数由并列的操作数决定，即测试用例数由并列的操作数决定，即n-s图中除谓词图中除谓词之外的操作框的个数。之外的操作框的个数。例：如下图所示的两个n-s图，至少需要多少个测试用例完成逻辑覆盖？例：如下图所示的n-s图，至少需要多少个测试用例完