个程序的复杂性度量.pdfVIP

-、 ～ 门 软件世界 37 ·标准化与质量管理 · 一 个程序的复杂性度量 中科院计算中 弓惠生 -TP≥1 摘要 利 用后控 (postdominate)概惫，提出一种鳍合考虑程序的旁支结构与嵌套结构的复杂性度量 3 蚰 方法 ，并用此方法旁析 了一计算机财务管理 系统 3 为方便起见，令 、 一 、 引 言 pdom(y)_lxIxpdomy，x∈V}，yEV， 旦 表示Y的后控结点集合。显然 ，Y的后控结点一定存 量理堡丝 结构墨妻性最著名的方选j垦坚!一 在 (因为 Y自己就是)，但不唯一。 be的圈数度量 丽一’其中G是程序对应的有向 定义2 称 x直接后控 Y，当且仅当1)xpdomy 图。这种方法得 到了广泛 的应用 ，可 以毫不夸张地 且2)如 z∈v，砷dmy，则 zpdom x，3)x≠y。此时 x 说 ，几乎每篇与软件复杂性度量有关 的文章都离不 叫做 Y的直接后控结点。 开它，每t塾 廑量王县叠墼 这种方法。但是它也 饲 图l所示 的有向图，s—l 存在着明显的缺陷，例如，该度量和程序的语句行数 e一 7， V一 {l，2，3，4，5，6，7}，Vl 有着极好的线性美系}V(G)度量忽略了谓词所处的 一 {3，4，5．6，7)，V2一 {l，2)，则2 环境 ，不管在何处，不管嵌套探度，不管与其他谓诃 pdOm2，6pd㈣ 2，7pdom2，但 只有6是 的关系，权都等于1。在很多情况下嵌套探度更能反 2的直接后控结点 。 映程序的复杂程度 ，因此不少凡对该方法做 了改进 。 定理 如 Y∈V2，则 Y有唯一 如 BeMdy (1980)，l-lartison(1981)，GongHuisbeng＆ 的直接后控结点。(证明见五)。 一 ～ M、Shrrddt(1985)，Msge(1986)等。上述工作 已由H． 由定理可知分支结点Y和其直接后控结点 x间 zuBe收 集 在 SoftwareComplexity Measuresand 的结点和弧组成一个子图，记做 Gy，Gy称作结点Y Methods--书 中。 的子 图，显然 Gy有唯一的初始结点 Y和唯一的终 以上方法有 的单独考虑嵌套结掏 ，有 的虽然考 止结点 x。