0. 序
1. 基本块概念
2. 基本块图及插桩点分析
2.1 基本块图
2.2 有效基本块图
2.3 带桩点信息的有效基本块图
2.4 插桩位置及桩代码执行情况分析
3. 小结
Appendix: 源代码中对 Basic Block 的解释
0. 序
由前面几篇文章，例如：
我们已经知道了代码覆盖率测试的一些相关概念，例如 Basic Block ， Arcs 等。本文重点叙述这些基本概念，并仍以前面的 test.c 为例说明基本块图 (Basic Block Graph) 及插桩点。
本文所用 gcc 版本为 gcc-4.1.2 。 test.c 代码如下。
1. 基本块概念
通过基本块的划分，可以把程序分为一组代码段，每一段代码中的第一条语句被执行，则整段代码都被执行一次。
那么，什么是基本块 (Basic Block) ？
基本块
因此，基本块的最后一条语句一定是一个跳转语句，且跳转的目的地一定是另一个基本块的第一条语句。如果跳转语句是有条件的，就产生了一个分支 (arc) ，该基本块就有两个基本块作为目的地。如果把每个基本块当作一个节点，那么一个函数中的所有基本块就构成了一个有向图，称之为基本块图 (Basic Block Graph) 。且只要知道图中部分 BB 或 arc 的执行次数就可以推算出所有的 BB 和所有的 arc 的执行次数。
本文附录介绍了 GCC 源代码中对 Basic Block 的解释。下面以 test.c 为例，说明这些问题。
2. 基本块图及插桩点分析
2.1 基本块图
图 1 基本块图
其中， BB0 和 BB8 分别对应着开始和结束的虚拟基本块，表明程序从 BB0 开始，从 BB8 退出。因此， BB0 没有入边，只有出边，而 BB8 只有入边，没有出边。 8 个 ARCS 记录对应图中的 8 个有出度的节点， 12 条有向边实际上就是所有的 arcs 总数。
2.2 有效基本块图
图 2 有效基本块 ( 带行号信息 ) 图
其中，每个节点旁边的 lineno( 行号 ) 表示构成该 BB 的代码行，这些代码也显示在旁边。