根据 Harel的意图,我们可以把团点解释为状 态,把边解释为转移。 在图2-4中,状态A是初始状态,当进入到这 个状态时,也进入低层状态B。当进入某个状态时 我们可以认为该状态是活动的,这可与 Petri网中 的被标记地点类比。状态图工具采用色彩表示哪个 状态活动的,并等效于Petr网中的标记地点。 图2-4中有一些微妙的地方,从状态A转移到 状态D初看起来是有歧义的,因为它没有区分状态 B和C。约定是,边必须开始和结束于状态的周围 如果状态包含子状态,就像图中的A一样,边会 “引用”所有的子状态
根据Harel的意图，我们可以把团点解释为状 态，把边解释为转移。 在图2-4中，状态A是初始状态，当进入到这 个状态时，也进入低层状态B。当进入某个状态时， 我们可以认为该状态是活动的，这可与Petri网中 的被标记地点类比。状态图工具采用色彩表示哪个 状态活动的，并等效于Petri网中的标记地点。 图2-4中有一些微妙的地方，从状态A转移到 状态D初看起来是有歧义的，因为它没有区分状态 B和C。约定是，边必须开始和结束于状态的周围。 如果状态包含子状态，就像图中的A一样，边会 “引用”所有的子状态
因此,从A到D的边意味着转移可以从状态B 或从状态C发生。如果有从状态D到状态A的边, 意味着转移实际上是从状态D到状态B。这种约 定可以大大减缓有限状态机向“空心代码”发展 的趋势
因此，从A到D的边意味着转移可以从状态B 或从状态C发生。如果有从状态D到状态A的边， 如图2-5所示，则用B来表示初始状态这个事实， 意味着转移实际上是从状态D到状态B。这种约 定可以大大减缓有限状态机向“空心代码”发展 的趋势
c 图2-4状态图中的初始状态 图2-5进入自状态的默认入口
Ａ Ｂ Ｃ Ｄ 图2-4 状态图中的初始状态 Ａ Ｂ Ｃ Ｄ 图2-5 进入自状态的默认入口
我们最后要讨论的一个状态图的特性就是并 发状态图概念。图2-6中状态D的虚线用于表示状 态D实际上引用两个并发状态E和F。 B 图2-6并发状态
我们最后要讨论的一个状态图的特性就是并 发状态图概念。图2-6中状态D的虚线用于表示状 态D实际上引用两个并发状态E和F。 Ａ Ｂ Ｃ Ｅ Ｆ Ｄ 图2-6 并发状态
22白盒测试 白盒测试是一种可视的测试软件的方法,即它 把测试对象看作一个透明的盒子,测试人员要了解 程序结构和处理过程,按照程序内部逻辑测试程序 检查程序中的每条通路是否按照预定要求正确工作 白盒测试的过程如图27所示 源程序 分析 测试用例 被测程序 覆盖情况分析 图2-7白盒测试过程示意图 执行路径
2.2白盒测试 白盒测试是一种可视的测试软件的方法，即它 把测试对象看作一个透明的盒子，测试人员要了解 程序结构和处理过程，按照程序内部逻辑测试程序， 检查程序中的每条通路是否按照预定要求正确工作。 白盒测试的过程如图2-7所示： 源程序 测试用例 被测程序 执行路径 分析 覆盖情况分析 图2-7 白盒测试过程示意图