软件测试-白盒测试：程序结构分析

程序结构分析

参考文献：
软件测试第4章白盒测试一

• 控制流分析：
  控制流图：由节点和线组成
  控制流图和矩阵：
  
  
  需要注意的是：在控制流图中，节点包括菱形表示的出口的多条流线相交的汇合点。
  程序结构的基本要求：
  a. 转向并不存在的标号；
  b. 没有用的语句标号；
  c. 从程序入口进入后无法达到的语句；
  d. 不能达到停机语句的语句。
  检查可达性：
  
• 数据流分析
  如果程序中某一语句执行时能改变某程序变量V的值，则称V是被该语句定义的。如果一语句的执行引用了内存中变量V的值，则说该语句引用变量V。
  可达性定义：
  a. 语句i对变量V的定义，表示为$V_i$
  b. 如果在控制流图中一条路径并未对变量V定义，那么该路径就是变量V的明确定义
  c. 如果从节点i到节点j的入口（或出口），变量V有一条明确定义路径，定义$V_i$便说是达到了结点j的入口（或出口）。
  相关定义：
  $s_i$: 表示达到i的入口的变量定义的集合。（达到其前趋出口的定义的集合，也就是前趋节点的出口的并集）
  $t_i$: 表示达到i的出口的变量定义的集合。（去掉未定义的，加入新定义的）
  $p_i$: 是节点i保存的所有定义的集合
  $c_i$: 是节点i中生成的定义的集合
  $t_i=(s_i\cap p_i)\cup c_i$
  $s_i=\bigcup _{j\in x_i}{t}_j$
  $s_i=\bigcup _{j\in x_i}(s_j\cap p_j)\cup d_i$
  $d_i=\bigcup _{j\in x_i}{c}_j$
  
  引用未定义变量：对每一结点i，我们依次考虑语句i引用的每一变量，如果对任何这样的变量V，并没有V的定义达到i，那么程序含有一个错误。
  未曾使用的定义：对于每一变量定义$V_i$，我们依次考虑由$V_i$达到的每个程序结点j，如果没有引用变量V的相应语句，则程序中含有一个异常。
• 信息流分析
  求M、N的商，Q为商，R为余数
  
  
  图a给出每一语句执行时所用到其输入值的变量。其中，为什么语句4执行时用到了M和N，我的想法是，因为循环的判断语句（3）用到了M和N。
  图b给出了其执行可能直接或间接影响输出变量终值的一些语句。其中，因为对Q的定义，并未影响到R的变化，所以R不受语句1、2的影响，但是Q的值受到R值影响。
  图c表明了哪个输入值可能直接或间接影响输出变量。（有赋值语句存在都算吧）