testing and SQA_软件工程涉及到的几个图

本文主要是对程序员需要会画的几个图的汇总，没有太多定义之类冗余的陈述，比较通俗易懂，方便查阅。

一、控制流图

把控制信息加到基本块集合中，形成程序的有向图，称为流图（控制流图）。

将如下流程图映射成控制流图：

 控制流图练习：

void sort(int i,int j)

1.{

2.int m,n,k;

3.m=n=k=0;

4.while(i++<11)

5.{

6.if(j<5)

7.m++;

8.else

9. if(j<8)

10.   n++;

11. else

12.   k++;

13.}

14.printf("%d,%d,%d",m,n,k);

15.}

按照基本路径测试方法设计测试用例？

1、画控制流图

2、计算圈复杂度

   12(边数)-10(顶点数)+2=4

3、导出基本路径测试用例

二、测试用例设计——因果图法

因果图（Cause-EffectGraphing）提供了一个把规格转化为判定表的系统化方法，从该图中可以产生测试数据。其中原因是表示输入条件，结果是对输入执行的一系列计算后得到的输出。因果图方法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。

因果图介绍：

ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。

约束：

输入状态相互之间还可能存在某些依赖关系，称为约束。例如，某些输入条件本身不可能同时出现。输出状态之间也往往存在约束。在因果图中，用特定的符号标明这些约束。

因果图练习：

其他图慢慢补充。