第2章 软件测试的数学基础new.pptVIP

2.4用于测试的图 广泛用于测试的三种特殊图。第一种是程序图，主要用于单元测试层次。其他两种图分别是：有限状态机和状态图，这两种图最适合用来描述系统级行为，尽管也可以用于较低层次的测试。 2.4.1程序图 定义：给定一个采用命令式程序设计语言编写的程序，其程序图是一种有向图，其中： 传统定义： 节点是程序语句，边表示控制流（从节点i到节点j有一条边，当且仅当对应节点j的语句可以立即在节点i对应的语句之后执行）。 改进后的定义： 节点要么是整个语句，要么是语句的一部分，边表示控制流（从节点i到节点j有一条边,当且仅当对应节点j的语句或语句的一部分，可以立即在节点i对应的语句或语句的一部分之后执行） 结构化程序设计基本结构的有向图： 写出符合图2.5中1、2、3的语句 条件（多分支） 控制流图 2.4.2 有限状态机 有限状态机是表示需求规格说明的一种相当标准的方法。所有结构化分析的实时扩展，都要使用某种形式的有限状态机，并且几乎所有形式的面向对象分析也都要使用有限状态机。 有限状态机是一种有向图，其中状态是节点，转移是边。源状态和吸收状态是初始节点和终止节点。大多数有限状态机表示方法都要为边增加信息，以表示转移的原因和作为转移的结果要发生的行为。 2.4.3 状态图 状态图现在被Rational公司选为统一建模语言（UML）的控制模型。 在状态图中，用“团点”表示基本构件块。团点可以像维恩图显示集合包含那样包含其它团点，团点还可以像在有向图中连接节点一样地通过边连接其它团点。 * * 串行 If-Then-Else If-Then 前测试环路 后测试环路 1 2 3 5 6 4 7 8 9 1 2 3 4 5 6 7 8 9 10 11 1 2 3 5 6 7 10 8 B 11 4 9 E * ATM PIN识别部分 空闲 等待第一 次PIN输入 尝试 等待事物 选择 等待第二 次PIN输入 尝试 等待第三 次PIN输入 尝试 合法卡s2 正确PIN s5 不正确PINs3 错卡s1,退卡 正确PIN s5 正确PIN s5 不正确PINs3 不正确PINs4 * A B C D 团点A包含两个团点（B和C），通过边连接。团点A通过边与团点D连接。