第五章、详细设计.pptVIP

程序复杂性度量 程序复杂性主要指模块内程序的复杂性。它直接关联到软件开发费用的多少，开发周期的长短和软件内部潜伏错误的多少。 减少程序复杂性，可提高软件的简单性和可理解性，并使软件开发费用减少，开发周期缩短，软件内部潜藏错误减少。 复杂性度量需要满足的假设 为了度量程序复杂性，要求： 它可以用来计算任何一个程序的复杂性； 对于不合理的程序，例如对于长度动态增长的程序，或者对于原则上无法排错的程序，不应当使用它进行复杂性计算； 如果程序中指令条数、附加存储量、计算时间增多，不会减少程序的复杂性。 代码行度量法 源代码行数度量法基于两个前提： 程序复杂性随着程序规模的增加不均衡地增长； 控制程序规模的方法最好是采用分而治之的办法。将一个大程序分解成若干个简单的可理解的程序段。 方法的基本考虑是统计一个程序模块的源代码行数目，并以源代码行数做为程序复杂性的度量。 设每行代码的出错率为每100行源程序中可能有的错误数目。 Thayer曾指出，程序出错率的估算范围是从0.04％～7％之间，即每100行源程序中可能存在0.04～7个错误。他还指出，每行代码的出错率与源程序行数之间不存在简单的线性关系。 Lipow指出，对于小程序，每行代码出错率为1.3％～1.8％；对于大程序，每行代码的出错率增加到2.7％～3.2％之间，这只是考虑了程序的可执行部分，没有包括程序中的说明部分。 Lipow及其他研究者得出一个结论：对于少于100个语句的小程序，源代码行数与出错率是线性相关的。随着程序的增大，出错率以非线性方式增长。 McCabe度量法 McCabe度量法，又称环路复杂性度量，是一种基于程序控制流的复杂性度量方法。 它基于一个程序模块的程序图中环路的个数，因此计算它先要画出程序图。 程序图是退化的程序流程图。流程图中每个处理都退化成一个结点，流线变成连接不同结点的有向弧。 程序图仅描述程序内部的控制流程，完全不表现对数据的具体操作，以及分支和循环的具体条件。 计算环路复杂性的方法：根据图论，在一个强连通的有向图G中，环的个数由以下公式给出： V(G)＝m－n＋p其中，V(G)是有向图G中环路个数，m是图G中弧数，n是图G中结点数，p是图G中的强连通分量个数。 为使图成为强连通图，从图的入口点到出口点加一条用虚线表示的有向边，使图成为强连通图。这样就可以使用上式计算环路复杂性。 在例示中，结点数n＝11，弧数m＝13，p＝1，则有 V(G)＝m－n＋p＝13－11＋1＝3. 等于程序图中弧所封闭的区域数。 几点说明 环路复杂度取决于程序控制结构的复杂度。当程序的分支数目或循环数目增加时其复杂度也增加。环路复杂度与程序中覆盖的路径条数有关。 环路复杂度是可加的。例如，模块A的复杂度为3，模块B的复杂度为 4，则模块A与模块B的复杂度是7。 McCabe建议，对于复杂度超过10的程序，应分成几个小程序，以减少程序中的错误。Walsh用实例证实了这个建议的正确性。在McCabe复杂度为10的附近，存在出错率的间断跃变。 McCabe环路复杂度隐含的前提是：错误与程序的判定加上例行子程序的调用数目成正比。加工复杂性、数据结构、录入与打乱输入卡片的错误可以忽略不计。 这种度量的缺点是： 对于不同种类的控制流的复杂性不能区分 简单IF语句与循环语句的复杂性同等看待 嵌套IF语句与简单CASE语句的复杂性是一样的 模块间接口当成一个简单分支一样处理 一个具有1000行的顺序程序与一行语句的复杂性相同 Halstead的软件科学 Halstead软件科学研究确定计算机软件开发中的一些定量规律，它采用以下一组基本的度量值。 这些度量值通常在程序产生之后得出，或者在设计完成之后估算出。 程序长度(预测的Halstead长度)令n1表示程序中不同运算符(包括保留字)的个数，令n2表示程序中不同运算对象的个数，令H表示“程序长度”，则有 H=n1?log2 n1+n2 ? log2n2 这里，H是程序长度的预测值，它不等于程序中语句个数。  在定义中，运算符包括： 算术运算符 赋值符(=或:=) 逻辑运算符 分界符(，或；或:) 关系运算符 括号运算符 子程序调用符 数组操作符 循环操作符等。 特别地，成对的运算符，例如 “BEGIN…END”、“FOR…TO”、“REPEAT …UNTIL”、“WHILE…DO”、“IF…THEN…ELSE”、“（…）”等都当做单一运算符。  运算对象包括变量名和常数。 实际的Halstead长度设N1为程序中实际出现的运算符总个数，N2为程序中实际出现的运算对象总个数，N为实际的Ha