具有错误修复的非齐次马尔可夫模型.pdfVIP

　第 21 卷 第 3 期 小 型 微 型 计 算 机 系 统 V o l 2 1 N o 3　 　　2000 年 3 月 - 　 2000　　 M IN I M ICRO SYST EM M ar ( ) 文 章 编 号: 2000 具有错误修复的非齐次马尔可夫模型 周　瑞　徐仁佐　杨晓青 (武汉大学软件工程国家重点实验室 武汉 430072) ( ) 摘　要: 软件可靠性工程是对软件的质量 特别是软件可靠性 进行管理和控制的实用性学科, 而软件可靠性模型又是 软件可靠性工程的基础之一. 为了保证可靠性模型的估测精度, 好的软件可靠性模型应该包括对测试覆盖的说明, 并且 能够反映软件的错误修复过程. 本文在基于测试覆盖的N H PP 模型的基础上, 讨论一种能反映软件错误修复过程的非 齐次马尔可夫模型. 它利用马尔可夫链处理错误不立即修复和错误不完全修复两种情况, 并且可以用于操作阶段. 关 键 词: 马尔可夫链; 非齐次泊松过程; 测试覆盖; 可测试性; 软件可靠性模型 分 类 号: T P 31. 5, O 242. 5　　　　　文献标识码:A 1　引　言 序可测试性和测试覆盖的因素包括: 程序复杂性; 软件开发方 法; 开发软件使用的工具; 测试质量和效力. 软件越来越成为现代系统的重要组成部分, 也是最复杂、 下面, 给出测试覆盖的定义. 花费最大并且最容易出错的部分, 软件的质量对于许多系统 定义. 测试覆盖 (T est Coverage) : 给定一个软件产品及 ( 来说是至关重要的. 软件可靠性工程是对软件的质量 特别是 其测试集合, 时刻的测试覆盖 ( ) 定义为到时刻 为止被测 t c t t ) 软件的可靠性 进行管理和控制的学科, 它的基础之一是软件 试感知的潜在错误点除以所有的潜在错误点的比例. 可靠性模型. 软件可靠性模型是随机过程的一种表示, 通过这 这个定义允许不完全覆盖, 也就是说, 允许有一部分潜在 一表示, 可以将软件可靠性或与软件可靠性直接相关的量, 如 错误点不能被感知. 故障密度或累积错误数等, 表示成时间或开发过程的函数. 对 表 1　经验数据