1、(49-7)使用下面的方法printPrimes()完成后面的问题： (a)为printPrimes()方法画控制流图。 (b)考虑测试用例t1=(n=3)和t2=(n=5)。即使这些测试用例游历printPrimes()方法中的主路径，它们不一定找出相同的错误。设计一个简单的错误，使t2比t1 ...
分类：
其他好文 时间：
2016-03-28 15:23:27
阅读次数：
164
5.4.2 基本块的合并
我们在第5.4.1节时给出了由基本块构成的双向链表和控制流图，为阅读方便，我们这里再次给出“图5.1.4 基本块的静态结构和动态结构”。在这一小节中，我们试图把双向链表中相邻的基本块进行合并，当然这种合并需要满足一定条件，同时要保持程序的原有语义。在合并后，控制流图中的前驱与后继关系也要进行调整。我们需要改动的数据结构有图5.4.1中的双向链表和控制流图。需要...
分类：
其他好文 时间：
2015-04-24 19:13:54
阅读次数：
136
白盒测试的测试方法： 代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。 我们这次主要了解一下路径测试法： 基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。 ...
分类：
其他好文 时间：
2015-04-19 14:32:22
阅读次数：
134
基本路径法是白盒测试中使用最为广泛的方法。以下将介绍一下基本路径法如何使用。基本路径法设计测试用例的步骤基本如下1.由程序的源代码作为基础导出控制流图2.计算控制流图的环路复杂度3.确定基本路径4.根据基本路径设计测试用例接下来我举个例子 1 Int IsLeap(int year) 2 { 3 i...
分类：
其他好文 时间：
2015-04-19 11:23:16
阅读次数：
148
本节对UCC编译器的中间代码生成及优化进行简介，给出基本块BasicBlock、三地址码、控制流图CFG的相应数据结构，介绍有条件跳转、无条件跳转和间接跳转等概念。...
分类：
其他好文 时间：
2015-04-09 09:02:30
阅读次数：
217
关键词：软件测试， 代码覆盖，质量测试环境：ubuntu 12.04代码覆盖 CFG（Control flow graph）图。控制流图（CFG）是一个有向图抽象数据结构。它是一个过程或程序的抽象表现。每个在图形中的节点代表一个基本块，例如，没有任何跳跃或跳跃目标的直线代码块；跳跃目标以一个块开始，...
分类：
其他好文 时间：
2014-09-08 09:36:06
阅读次数：
292
白盒测试方法：1 程序结构分析： 程序的结构形式是白盒测试的主要依据。程序结构分析包括： 1、控制流分析： ?通过控制流图矩阵来表示程序的控制流程图。 ?分析程序的控制流是为了使编写出的程序有好的结构。 对于程序结构提出以下4点基本要求，这些要求是写出的程序不应包含： ① 转向并不存...
分类：
其他好文 时间：
2014-08-27 21:48:10
阅读次数：
260
