Soot是McGill大学的Sable研究小组自1996年开始开发的Java字节码分析工具，它提供了多种字节码分析和变换功能，通过它可以进行过程内和过程间的分析优化，以及程序流图的生成，还能通过图形化的方式输出，让用户对程序有个直观的了解。尤其是做单元测试的时候，可以很方便的通过这个生成控制流图 ...

控制流测试 控制流测试(Control Flow Testing)：是一种在考虑测试对象的控制流情况下导出测试用例的测试方法，并且借助于控制流图能评估测试的完整性（覆盖率）。 原则 控制流图是一个带有开始节点和结束节点的有向图 程序的指令（语句）是通过节点来表示的 一个不带分支 ...

1.定义 百度百科： 控制流图(Control Flow Graph, CFG)也叫控制流程图，是一个过程或程序的抽象表现，是用在编译器中的一个抽象数据结构，由编译器在内部维护，代表了一个程序执行过程中会遍历到的所有路径。它用图的形式表示一个过程内所有基本块执行的可能流 ...

当编译器读入程序时，首先将程序看成是简单的字符序列。词法分析器将这些字符序列转换为单词，语法分析器从中进一步发现语法结构。由编译器前端产生的结果可以是语法树或者某种低级形式的中间代码。但是即使这样，它对程序做什么和怎么做仍然没有多少提示。 编译器把发现每个过程内控制流 ...

...

基操 编程语言类 编译型 程序在执行之前需要一个专门的编译过程，把程序编译成 为机器语言的文件，运行时不需要重新翻译，直接使用编译的结果就行了。程序执行效率高，依赖编译器，跨平台性差些。缺点：编译之后如果需要修改就需要整个模块重新编译。编译的时候根据对应的运行环境生成机器码，不同的操作系统 ...

转自： http://blog.csdn.net/mengfanbo123/article/details/9033645 For循环 函数结构范例： :For 变量 IN 序列(or 列 ...

, 生成分布式执行计划。 ③ 分布式执行计划由 若干个可在单台be上执行的plan fragment构 ...