软工——各种图

一.因果图

因果图法：是一种利用图解法分析输入的各种组合情况，从而测试设计用例的方法。输入条件为“因”，输出条件为“果”。

因果图：是一种形式化语言，一种组合逻辑网络图。

用直线链接左右节点。左节点ci ：输入状态。右节点ei :输出状态

实际问题中，输入状态相互之间还可能存在某些依赖关系，称之为“约束“。在因果图中，用特殊的符号标明这些约束。

4、例子

二.控制流图

控制流图是由节点和控制边组成的，具有以下几个特点：
具有唯一入口节点，即源节点，表示程序段的开始语句；
具有唯一出口节点，即汇节点，表示程度段的结束语句；
节点由带有标号的圆圈表示，表示一个或多个无分支的源程序语句；
控制边由带箭头的直线或弧表示，代表控制流的方向。

V(G) = E-N+2，其中E是控制流图G中边的数量，N是控制流图中节点的数目；
V(G) = P+1，其中P是控制流图G中判断节点（即包含条件的节点）的数目；节点由带有标号的圆圈表示，表示一个或多个无分支的源程序语句；
V(G) = A，其中A是控制流图G中区域的数目。由边和节点围成的部分 叫做区域;当在控制流图中计算区域的数目时，控制流图外的部分也应记为一个区域,因此，V(G)=封闭区个数+1.

例子：

三.程序流程图

经常使用的标准符号

几种基本结构

四.数据流图

数据流图（DFD）是一种图形化技术，它描绘了一种变换（信息流和数据从输入移动到输出的过程中所经受的变换）。数据流图是系统逻辑功能的图形化表示，利于用户理解。因此，它的重点是“做什么”而不是“怎么做”。
数据流图的成分（4个）：

数据流图设计原则
★ 自外向内，自顶向下，逐层细化，完善求精
★ 保持父图与子图的平衡
★ 保持数据守恒
★ 加工细节隐蔽
★ 简化加工间的关系
★ 均匀分解
★ 适当地为数据流、加工、文件、源/宿命名，名字应反映该成分的实际意义，避免空洞的名字
★ 忽略枝节
★ 表现的是数据流而不是控制流

数据流

数据流图的画法：由简入繁

从顶层数据流图开始，再根据系统主要功能细化。

父图子图平衡

保持数据守恒

数据得有进有出的，一个加工得有输入数据流和输出数据流。
不能没有加工，不然它就不守恒了。

数据字典

五.N-S盒图

Nassi和Scheiderman提出了一种符合结构化程序设计原则的图形描述工具，叫作盒图，也叫做N-S图。

六.PAD盒图

PAD是Problem Analysis Diagram的缩写，它是日本日立公司提出，由程序流程图演化来的，用结构化程序设计思想表现程序逻辑结构的图形工具。

七.操作状态图

八.用例图、活动图、顺序图

1、用例图

2、活动图

3、顺序图

九.类图

1、类图主要由两部分组成：类、类之间的关系。
2、类的定义三部分：

3、关系

一个公司中可以有多个部门 —— 非集合类的成员变量（公司亡，部门必亡）
一个部门中可以有多个码农 —— 集合类成员变量（码农可有可无，没了换掉就是了，不影响部门的存活）
一个码农可以有多个手机 —— 成员变量
一个码农依赖多个Mac —— 很简单，有了Mac 我才能敲代码嘛，可以理解为需要 Mac 来完成自身的方法调用
Mac是电脑的一种拓展 —— 继承关系
电脑是可处理计算机这个概念的一种实现 —— 实现关系

十.Jackson图

十一.IPO图