什么是信息流分析??

xixiguo

请问软件测试中的信息流分析是指什么?谢谢大家指教!

qianlilv

信息流分析可以导出程序的信息流关系。信息流分析法可以通过三个关系表给出，这三个关系为：
输入变量和语句关系：输入变量直接或间接影响语句的执行；
语句和输出变量关系：语句的执行直接或间接影响变量的输出；
输入和输出变量关系：输入变量直接或间接影响输出变量；

Cherry-Chen

信息流分析，也称变量的依赖分析，是研究程序变量的依赖关系的一种技术。
例如有一条B值变化会引起A值改变的这样的路经，就说，变量A在过程中依赖于变量B。中间变量不出现在依赖列表中。只有输入变量才出现在该列表中。例如，如果变量B是一个依赖C的中间变量，如下：
    B := C; A := B;
那么，变量A依赖C(而不是B)。

Cherry-Chen

变量依赖类型分为如下几种：
强依赖: 如果变量A被定义，它总是依赖于变量B，也就是 ，A值在过程中任何一条路经上都依赖B赋给它，如：
A = B + 1

弱依赖: 变量A有时候依赖变量B，也就是，过程中至少存在一条的路径，A被定义引用了B；而另一条路经，A被定义没有引用B。如：
if (condition) A = B + 1

条件依赖: 变量A不直接依赖变量B，但通过改变控制流路径变量B的值的确影响A的值。如：
if (B > 0) A = 0

xixiguo

谢谢楼上两位!

再请问一下信息流分析的作用是什么呢? 什么阶段用到,是在单元测试时用到吗? 怎么在报告中体现经过信息流分析呢?