|
|
|
|
移动端

1.14.2 流图的定义与图形表示

《软件测试基础教程》第1章软件测试的基本知识,本章作为一个导引,其目的在于让读者熟悉与软件测试相关的基本概念,建立起全书的框架。在本书后续章节中将要详细阐述的问题,首先在这里被提了出来。读完这章之后,读者就能够在软件测试和软件质量方面提出一些有意义的问题。本节为大家介绍流图的定义与图形表示。

作者:王峰/郭长国/陈振华 等译来源:机械工业出版社|2011-09-16 21:46

技术沙龙 | 邀您于8月25日与国美/AWS/转转三位专家共同探讨小程序电商实战

1.14.2 流图的定义与图形表示

我们给流图G定义两个集合,一个是结点的有限集合N,另一个是有向边的有限集合E。E中的边(i,j),用一条从i指向j的箭头表示,连接N中的结点ni和nj。常常用G=(N,E)表示流图G,其结点集合为N,边集合为E。Start和End是N中的两个特殊结点,同时也是两个著名的结点。N中的其他结点都能从Start出发到达,同样,N中任何一个结点都有一条终止于End的路径。结点Start没有输入边,结点End没有输出边。

在程序P的流图中,常常用结点表示基本块,用边表示基本块之间的控制流。同时,对基本块和结点进行标识,基本块bi对应结点ni。连接基本块bi和bj的边(i,j),意味着控制可能从基本块bi转移到基本块bj。有时,我们采用这样的流图,其中结点与P中的语句是一一对应关系。

在对程序控制行为的分析中常常采用流图的图形表示形式。每一个结点用一个符号表示,通常是个椭圆框或矩形框。这些框被标以相应的基本块序号,框之间用代表边缘的线条相连,箭头用来指示控制流的方向。结束于判断语句的基本块被引出两条边标以true和false,分别指出当条件为true、false时应选择的路径。

例1.24程序P1.2的流图定义如下:

 
图1-16a描述了该流图。基本块序号位于相应框的紧右边或右上方。如图1-16b所示,假如我们只对程序基本块之间的控制流感兴趣、而不关心其内容的话,可以将基本块的内容省去,用圆圈代表结点。
 
(点击查看大图)图1-16 程序P1.2的控制流图
【责任编辑:云霞 TEL:(010)68476606】

回书目   上一节   下一节
点赞 0
分享:
大家都在看
猜你喜欢

读 书 +更多

非常网管——网络应用

在网络应用越来越复杂的今天,传统的网络应用已经不能满足企业和用户的需要,这就对网络管理员、信息管理部门提出了更高的要求。本书介绍了...

订阅51CTO邮刊

点击这里查看样刊

订阅51CTO邮刊