第九章 路径测试东北大学软件学院 程序图东北大学软件学院定义给定采用命令式程序设计语言编写的一段程序, 其程序图是一种有向图, 图中的节点表示语句片段,边表示控制流。 (完整语句是“默认”的语句片段) 。 三角形程序的程序图东北大学软件学院4567891011121321141516171819202223 DD-路径东北大学软件学院结构性测试最著名的形式以叫做决策到决策路径(DD-路径) 的结构为基础(Miller, 1977) 。这个名称指语句的一种序列, 按照Miller的话说, 从决策语句的“出路”开始, 到下一个决策语句的“入路”结束, 在这种序列中没有内部分支, 因此对应的节点像排列起来的一行多米诺骨牌, 当第一张牌推倒后, 序列中的其他牌也会倒下。 DD-路径与有向图的关系DD-路径可通过有向图中的节点路径定义, 可以叫做路径链, 其中链是一条起始和终止节点不同的路径, 并且每个节点都满足内度=1和外度=1。