经过改进的程序图定义:节点要么是整个语 句,要么是语句的一部分,边表示控制流(从节 点i到节点j有一条边,当且仅当对应节点语句 或语句的一部分,可以立即在节点i对应的语句或 语句的一部分之后执行) 程序的有向图公式化能够非常准确地描述程 序的测试方面的问题。基本结构化程序设计的构 造,例如:串行、选择和循环等可以用如图2-1 所示的有向图表示
经过改进的程序图定义：节点要么是整个语 句，要么是语句的一部分，边表示控制流（从节 点i到节点j有一条边，当且仅当对应节点j的语句 或语句的一部分，可以立即在节点i对应的语句或 语句的一部分之后执行）。 程序的有向图公式化能够非常准确地描述程 序的测试方面的问题。基本结构化程序设计的构 造，例如：串行、选择和循环等可以用如图 2-1 所示的有向图表示
串行 If-Then-Else If-Then 条件 前测试环路 后测试环路 图2-1结构化程序设计构造的有向图
串行 If-Then-Else If-Then 条件 前测试环路 后测试环路 图2-1 结构化程序设计构造的有向图
2、有限状态机 有限状态机已经成为需求规格说明的一种相 当标准的表示方法。有限状态机是一种有向图, 其中状态是节点,转移是边。 图22是一个简单的自动柜员机(SATM)系统 该图描述了用于个人标识编号PIN尝试部分的有限 状态机。这种机器包含5个状态(空闲、等待第 次PIN尝试等等)和8个用边表示的转移。转移 上的标签所遵循的规则是,“分子”是引起转移 的事件,“分母”是与该转移关联的行为
2、有限状态机 有限状态机已经成为需求规格说明的一种相 当标准的表示方法。有限状态机是一种有向图， 其中状态是节点，转移是边。 图2-2是一个简单的自动柜员机(SATM)系统。 该图描述了用于个人标识编号PIN尝试部分的有限 状态机。这种机器包含5 个状态（空闲、等待第 一次PIN尝试等等）和8个用边表示的转移。转移 上的标签所遵循的规则是，“分子”是引起转移 的事件，“分母”是与该转移关联的行为
不正确的PN 空闲 显示屏幕S4 韭法卡显示屏幕 S1;退卡 合法卡 显示屏幕S2 不正确的PIN 显示屏幕S3 等待第一次 PN输入尝试 不正确的PN 等待第二次】显示屏幕S3 PN输入尝试 正确PIN 显示屏幕S5 正确PⅠN显示屏幕S5 待第三次 PIN输入尝试 等待事务选择 图22用于PN尝试的有限状态机
空闲 等待第一次 PIN输入尝试 等待事务选择 等待第三次 PIN输入尝试 等待第二次 PIN输入尝试 合法卡 显示屏幕S2 正确PIN 显示屏幕S5 不正确的PIN 显示屏幕S4 非法卡显示屏幕 S1;退卡 不正确的PIN 显示屏幕S3 不正确的PIN 显示屏幕S3 正确PIN显示屏幕S5 图2-2 用于PIN尝试的有限状态机
3、状态图 状态图现在被 Rational公司选为统一建模语 言,即UML的控制模型。 图2-3状态图的团点 Harel使用与方法无关的术语“团点”表示状态 图的基本构建块。在图2-3中,团点A包含两个团点 B和C,通过边连接。团点A通过边与团点D连接
3、状态图 状态图现在被Rational公司选为统一建模语 言，即UML的控制模型。 Ａ Ｂ Ｃ Ｄ 图2-3 状态图的团点 Harel使用与方法无关的术语“团点”表示状态 图的基本构建块。在图2-3中，团点A包含两个团点 B和C，通过边连接。团点A通过边与团点D连接