程序结构的有向图表示及其圈复杂度分析.pdfVIP

S C IEN CE 下E CHNO LO OV INF OR MA TION 丁 技 术 程序结构 的有 向图表示及其圈复杂度分析 刘予飞’ 徐项之 田双亮’ ( 1西北民族大学计算机科学与信息工程学院: 2 兰州交通大学信息与电气工程学院 兰州 730070) 摘 要: 本文将图论中的有向图应用于程序结构中，并结合程序流程图，得到程序流图。用圈复杂度，对具体实例进行复杂度分析， 为软件测试提供 了很好的度量准则。这种方法不仅能改善程序模块的质量 ，还有助于软件整体质量的提高。 关键词: 有向图 圈复杂度 程序复杂度 中图分类号:0 157 .6 文献标码识:A 文章编号: 1672- 379 1(2007)0 1(b 卜0056- 02 1 ‘引言 w h l e 语句等，有向图表示如图3 , 的程序所运行的时间和空间复杂度 (偏重于 结构化程序的三种基本结构为顺序 ，选 以上各 图中O 代表条件 ，. 代表语句 ， 程序算法) 。即文中所涉及的复杂度是针对程 择 ，循环结构。这三种结构可以由顺序语句， 序代码结构的，是从程序正文的角度来分析代 选择语句 ，循环语句构成 2〔1。我们可以通过程 码结构的 (关注程序结构的复杂程度) ，具体 序 的流程 图对程序的作用和实现的功能有个 、 来说是圈复杂度，它为软件测试提供了淮则。 大致的认识 ，但是单靠程序的流程图不能有 图2 选择结构有向图 4 .2 圈复杂度 效的说明程序代码的简单与复杂 ( 即该程序 定义 3 : 圈复杂度为程序当中由于循环而 的质量) 。 导致有向图中产生 回边的个数 。回边是指程 本文用图论中的有向图相关知识 ，对程 序当中这样的有向边A - B, A和B均为节点。 序结构进行有向图表示 ，再结合复杂度理 如果所有要到达B 的路径都要经过A ，而同时 论 ，配合相应 的例子 ，判 断程序 的圈复杂 又存在A 一B ，即有向边A 一B 为回边。 度 。进而就可以测评软件 的质量 。 图3 循环结构有向图 圈复杂度可以依据程序流图来计算( 见图 5) ，图论中用公式表示为V(G 卜E- N十1。其 2 有 向图 箭头代表 流程 。 中E 为程序流图的边数 ，N 为程序流图的节点 定义 1:设V 是一个非空的有穷集合，E 〔 以上各结构中的有向图表示后，就得到了 数。然而一个程序模块的流 图并非一个强连 Y x v, ，称G= (V,E)为一个有向图。 相应结构的程序流图。各结构中有两类节点， 通图，但是如果给这个图加上一条虚边，用来 其中V 中的元素称为顶点，V称为顶点集; 一类是条件节点，表示条件语句中的条件，在 连接模块的人 口和 出口，它便成了强连通图 (V