经过改进的程序图定义:节点要么是整个语 句,要么是语句的一部分,边表示控制流(从节 点i到节点j有一条边,当且仅当对应节点语句 或语句的一部分,可以立即在节点i对应的语句或 语句的一部分之后执行) 程序的有向图公式化能够非常准确地描述程 序的测试方面的问题。基本结构化程序设计的构 造,例如:串行、选择和循环等可以用如图2-1 所示的有向图表示。经过改进的程序图定义：节点要么是整个语 句，要么是语句的一部分，边表示控制流（从节 点i到节点j有一条边，当且仅当对应节点j的语句 或语句的一部分，可以立即在节点i对应的语句或 语句的一部分之后执行）。 程序的有向图公式化能够非常准确地描述程 序的测试方面的问题。基本结构化程序设计的构 造，例如：串行、选择和循环等可以用如图 2-1 所示的有向图表示