软件工程中的数据流图

1.分层数据流图的一致性和完整性

一致性：是指分层数据流图中不存在矛盾和冲突。

完整性：是指分层数据流图本身的完整性，即是否有遗漏的数据流，加工等元素

2.检查数据流图的一致性和完整性：

检查一致性：

1‘父图与子图的平衡

2’数据守恒

   一是指：一个加工所有输出数据流中的数据，必须能从该加工的输入数据流中直接获得，或者能从该加工的处理而产生

   二是指：加工未用到的输入数据流的数据项是没有用的，可以删除

3‘局部文件：

4’一个加工的输出数据流不能与该加工的输入数据流同名

检查完整性：

1.每个加工至少有一个输入数据流和一个输出数据流

2.在整套的分层数据流图中，每个文件应该至少有一个加工读该文件，另一个加工写该文件

3.分数据流图中每个数据流和文件都必须命名 ，并保持与数据字典一致

4.分层数据流中的每个基本加工都应有一个加工规约