基于Rayleigh模型和Gompertz模型的软件质量评估.doc

基于 Rayleigh 模型和 Gomp ertz 模型的软件质量评估 黄云 罗汉文 (上海交通大学 ,上海 200030) 摘要 :针对软件产品生命周期过程中需要评估过程质量、测试质量 ,对交付的进度和遗留缺陷进行定量度量与预 测这些实用需求 ,提出使用 Rayleigh 模型和 Gompertz 模型 ,对软件开发和测试过程中发现的缺陷数进行评估。 采用 Rayleigh 和 Go mpertz 两种模型相结合的方法 ,实现了对项目整体的开发过程和局部的测试阶段量化评估 , 可用于项目的进度管理、质量管理和成本管理。 关键词 : Rayleigh 模型 ; Gompertz 模型 ;软件缺陷 ; Virene 算法 ;过程评估 至用户 ,检视和测试过度则会浪费许多宝贵的资源。 0 引言 对项目经理而言 ,如何掌握这个尺度 ,就需要科学的定 量描述工具 ,帮助其做出正确的判断。本文结合采用 Rayleigh 模型和 Gompertz 模型两种可靠性模型 ,在利 用已有的过程数据的基础上 ,对后期的测试过程进行 定量分析和预测 ,对软件产品质量进行定量评估 ,对是 否结束测试任务给出判断依据。 在软件开发项目中 ,质量、进度和成本是项目关注 的三大要素 ,它们相互依赖、相互制约。在竞争激烈的 环境下 ,项目赶工日益普遍 ,如何做到质量、进度和成 本的平衡 ,是项目经理面临的一大挑战。软件和其他 商品一样 ,只有达到一定的质量标准才能交付给客户。 遗留的问题多或严重 ,会影响用户的满意度和企业的 声誉。从质量管理的角度出发 ,需要一定的模型指导 项目开发 ,满足进度、质量、成本平衡的要求。根据传 统的软件开发瀑布模型 ,软件开发项目主要包括概要 设计、详细设计、编码、单元测试、集成测试和系统测试 六个阶段的活动。业界普遍使用缺陷率这个指标来度 量软件质量。显然 ,为了使软件交付时的遗留缺陷最 少 ,必须在交付前的开发和测试过程中做到 ,减少缺陷 的引入 ;尽可能的发现并解决已有缺陷。业界通常使 用基于开发过程六阶段的缺陷计数 :概要设计检视、详 细设计检视、代码检视、单元测试、集成测试和系统测 试。对每个阶段的检视和测试活动来说 ,检视和测试 不足 ,就意味着遗留了更多的缺陷到下一阶段 ,甚至直 1 建模机理 11 1 Rayleigh 模型 Rayleigh 模型是 Weibull 分布系列中的一个。几 十年来 Weibull 分布广泛应用于各个工程领域的可靠 性分析 ,它的一个特点就是概率密度函数的尾部趋近 于零 ,但永远不会到零。它的积累分布函数 ( CDF) 和 概率密度函数( PDF) 分别为 m F( t) = 1 - e - ( t/ c) (1) (2) m t m - ( t/ c) m f ( t) = ( ) c e t 式中 , m 为形状参数 ( Shape parameter) , c 是范围参数 ( scale parameter) , t 是时间。当这个函数用于软件估 计时 , PDF 通常指的是缺陷密度随时间的变化 ,CDF 指 的是累计的缺陷数。 在软件可靠性应用中的两种模型是形状参数 m = 2 和 m = 1 这两种。Rayleigh 模型就是 Weibull 分布中 当 m = 2 的一个特例。它的 CDF 和 PDF 分别是 计算方法如下 R = a bc T (9) 取自然对数 ln ( R) = ln ( a) + cT ln ( b) 定义 (10) n - 1 n - 1 S1 = ∑ln ( Ri ) = nln ( a) + ln ( b) ∑c Ti (11) 2 CDF : F( t) = 1 - e - ( t/ c) (3) (4) i = 0 2 n - 1 S2 = ∑ln ( Ri ) = nln ( a) + ln ( b) i = n m - 1 S3 = ∑ln ( Ri ) = nln ( a) + ln ( b) i = 2 n 由式(11) 、(12) 、(13) 可得 i = 0 2 n - 1 ∑c i = n m - 1 ∑c i = 2 n PDF : f ( t) = 2 ( Ti ( ) t ) 2 e - ( t/ c) 2 12 t c Ti ( ) 13 c 参数是 tm 的函数 , tm 表示曲线达到最大值的时 间点。将 f ( t) 求导 ,置为零 ,算出 c m - 1 2 n - 1 tm = (5) ∑c Ti - ∑c Ti S3 - S2 = i = 2 n i = n 2 (14) 2 n - 1 n - 1 Ti S2 - S