程序依赖图(PDG)

程序依赖图(PDG)

简介

PDG 是一个有向图，其节点和控制流图中的节点相同，但不包含入口/出口节点。PDG 节点相连的边表示节点之间存在的控制依赖关系和数据依赖关系。

控制依赖性

一条语句的执行依赖于前边语句的执行

if a>b:		# 1
	c = a - b		# 2

这里只有if中a>b条件为正，才执行语句2。

即语句2控制依赖于语句1

数据依赖性

数据依赖发生在两次访问或修改相同资源的语句中

a = 10		# 1
b = 5		# 2
c = a - b		# 3

这里c的值的变化受a与b的影响，即a，b的值的变化会引起c的变化，称c依赖于a，b；a，b与c之间存在数据依赖性。

示例

a = 10		# 1
b = 5		# 2
c = 1		# 3
while c != 0:		# 4
	if a > b:		# 5
		c = a - b		# 6
	else:
		c = b - a		# 7
return c		# 8

优缺点

优点

1. 可视化程序流程：程序流程图通过图形化的方式展示程序的执行流程，使得程序逻辑更加直观可见，有助于程序员理解程序的执行逻辑。
2. 易于理解：程序流程图采用了直观的图形符号和连线，使得程序的执行流程更易于理解和分析，特别适合于初学者学习编程。
3. 错误检测：通过观察程序流程图，可以发现程序中的逻辑错误和潜在的问题，帮助程序员及时进行修正和改进。
4. 直观性：程序流程图以图形的形式展示了程序的逻辑结构，使得程序的流程一目了然，便于理解和交流。
5. 易于创建：程序流程图通常使用一些标准符号，这些符号易于理解和绘制，因此大多数人都可以快速创建流程图。

缺点

1. 抽象度较低：程序流程图往往只能展示程序的基本逻辑流程，难以处理复杂的逻辑关系和数据处理过程，因此在面对复杂程序时可能不够直观和全面。
2. 可维护性差：程序流程图难以反映程序中的动态特性和变化，一旦程序发生修改，程序流程图就需要相应地进行更新和维护，维护成本较高。
3. 不够规范：程序流程图的绘制方式较为灵活，不同的人可能会采用不同的符号和风格，导致流程图的规范性和一致性较差，可能会造成理解上的困惑。
4. 局限性：对于某些复杂的程序结构，例如递归、异常处理、多线程等，程序流程图的表示方式可能显得不够灵活和准确，无法完整地展现程序的执行流程。
5. 缺乏结构化表示：流程图可能无法清晰地表示程序中的结构化元素，如函数调用、模块化结构等。
6. 忽略细节：流程图主要关注程序的控制流程，而忽略了数据处理和数据流，这可能会导致在分析程序时忽略一些重要细节。
   
   

程序流程图作为一种直观的程序设计工具，在理解程序逻辑、沟通交流等方面具有一定优势，但在处理复杂程序和维护成本方面存在一些限制。