Ch05软件可靠性度量

《Ch05软件可靠性度量》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第5章软件可靠性度量7/19/20211www.china-onlineclass.cn§5.1引言5.1.1软件可靠性工程及软件可靠性软件可靠性工程应用统计技术，处理在软件开发过程中或（和）运行期间所采集的失效数据，以便详细说明并预计、估计和评价软件的可靠性研究内容包括软件可靠性的基本概念和定义、软件可靠性指标体系、可靠性建模、可靠性设计技术、测试技术和管理技术等7/19/20212www.china-onlineclass.cn软件可靠性工程处理以下问题：确定某过程能否提供满足可靠性要求的代码为过程改进提供度量

2、预测软件维护阶段的失效率，确定软件维护工作量帮助进行安全性认证确定交付软件产品的时间或停止测试的时机估计下次故障的可能时间为软件更新或升级，标识需要重新设计的主要部件测定软件的可靠性7/19/20213www.china-onlineclass.cn软件可靠性可靠性是软件的13个质量因素中最关键、最重要的软件可靠性是指在规定时间和条件下软件无故障运行的概率，是系统功能或软件产品中存在的缺陷的函数软件故障产生的原因是软件缺陷，但缺陷并不一定导致故障的产生，高缺陷率的软件的可靠性不一定就差软件失效意味着软件运行中断或者

3、无法完成所规定的任务7/19/20214www.china-onlineclass.cn几个值得关注的问题：软件的运行环境：软件可靠性与运行环境密切相关软件运行的时间间隔：商业软件需要较高的运行时间间隔（较长的运行寿命），而任务关键软件则需要在短时间内高效运行软件失效的时机是随机的，与硬件失效类似不同于软件的正确性，对于持续运行的软件其可靠性最终将归于零（以失效结束）；但正确性是软件的特定的某次运行结果，要么为1，要么为07/19/20215www.china-onlineclass.cn5.1.2软件的缺陷、故障

4、和失效缺陷（Error，错误）：设计和构造进产品总数是不可预知的，只能估计缺陷分为已知和未知（新发现）的缺陷分为已发现的和未发现的已发现的缺陷包括已纠正的和未纠正的故障（Fault）：运行结果错误故障是缺陷的表现形式，是由存在的缺陷产生的但缺陷并不一定导致故障，或者条件不具备，或者不会产生故障失效（Failure）：系统不能完成所需要的功能而失败失效是故障在软件运行时所产生的后果失效缺陷故障已纠正的缺陷7/19/20216www.china-onlineclass.cn软件质量度量与软件过程有什么关系

5、？7/19/20217www.china-onlineclass.cn失效故障面向用户面向开发者软件运行偏离用户需求程序执行输出错误结果可根据对用户应用的严重性等级分类可根据定位和排除故障的难度分类如，3次失效/1000CPU小时如，6个故障/1KLOC失效与故障的区别7/19/20218www.china-onlineclass.cn5.1.3软件失效软件失效是随机发生的描述失效的方法有三个：累计失效函数：即与某时间点相关的平均累计失效数失效率函数：用累计失效函数的变化率表示平均失效时间MTTF函数：对于一个时间

6、段，表示若干相邻失效时间间隔的平均值；对某个时间点，表示到下次失效的期望时间7/19/20219www.china-onlineclass.cn软件失效率如果没有缺陷，软件失效率为0如果发现的缺陷能被及时、完全修复，失效率会趋向0实际上，发现的缺陷数会递增，而纠正一个缺陷会引入更多的缺陷，因而失效率会增加时间失效率硬件软件（实际）软件（理想）7/19/202110www.china-onlineclass.cn§5.2软件可靠性度量和建模5.2.1基本概念软件可靠性建模过程是根据软件过去的故障行为建立软件可靠性数学

7、模型的过程建模的目的是为了预计软件将来的故障行为建模过程包括以下步骤：通过度量获得历史数据对故障数据进行分析，拟合成概率分布函数对拟合函数进行参数分析确定所期望的可靠性度量值并预测可能的故障行为7/19/202111www.china-onlineclass.cn5.2.2软件可靠性度量参数软件可靠性R(t)可定义为：在给定条件下，在时间[0,t]内，软件无故障运行的概率若用T表示软件无故障运行的时间间隔，F(t)为T的累积分布函数，则软件可靠性可表示为：R(t)=1-F(t)t≥0故障率函数λ(t)为：其中，f(

8、t)为F(t)的函数密度，即：7/19/202112www.china-onlineclass.cnλ(t)Δt是在时间[0，t]内软件正常运行，在[t,t+Δt]内发生故障的条件概率，可得：密度函数f(t)、累积分布函数F(t)、可靠性函数R(t)和故障率函数λ(t)紧密相关，一般可由任一个惟一地确定另外三个，例如若λ(t)给定，则：根据f(t)或R(t)