基于移动点的ISQ-FDEFCE软件可靠性增长模型制造技术

基于移动点的ISQ-FDEFCE软件可靠性增长模型，属于软件可靠性工程领域，本发明专利技术为解决现有基于移动点的NHPP类软件可靠性增长模型存在的问题。本发明专利技术所述基于移动点的ISQ-FDEFCE软件可靠性增长模型，具有n个移动点的ISQ-FDEFCE-CP模型为：软件可靠性增长模型不仅是进行软件可靠性进行评估、分析和预测的最强有力工具，而且为改善软件可靠性提供指南。

【技术实现步骤摘要】
【专利摘要】基于移动点的ISQ-FDEFCE软件可靠性增长模型，属于软件可靠性工程领域，本专利技术为解决现有基于移动点的NHPP类软件可靠性增长模型存在的问题。本专利技术所述基于移动点的ISQ-FDEFCE软件可靠性增长模型，具有n个移动点的ISQ-FDEFCE-CP模型为：</maths>软件可靠性增长模型不仅是进行软件可靠性进行评估、分析和预测的最强有力工具，而且为改善软件可靠性提供指南。【专利说明】基于移动点的ISQ-FDEFCE软件可靠性增长模型
本专利技术涉及基于移动点的ISQ-FDEFCE软件可靠性增长模型，属于软件可靠性工程领域。
技术介绍
软件故障修正率是故障修正过程中非常重要的一个参数，反映了故障被修正的效率及故障修正人员的工作能力，为软件开发者和管理者判断是否需要增加或减少资源提供依据。大多数软件可靠性增长模型都假设软件故障修正率服从同一分布。在实际情况中，故障修正率受到故障修正人员的技巧、故障本身的难易程度、故障修正环境和工具等因素的影响。因此软件故障修正率既不是常数也不是平滑的，而是在某些点发生变化，即存在着移动点。为了准确地评估和预测软件可靠性，近几年有一些文献提出了应用移动点技术来分析软件失效数据的变化趋势，建立了基于移动点的软件失效过程的软件可靠性增长模型，在实验分析中有较好的表现。针对软件故障修正率受各种因素的影响，故障修正过程存在着移动点，研究将移动点技术应用到软件故障修正过程建模中。移动点(Change Point,简称CP)是统计学中的一种分析方法,指某个或某些参数发生变化的点，即在一个序列或过程中，在某个T时刻序列或过程的某个或某些统计特征量发生变化，此T时刻就是移动点。形式化表示如下:(I)随机变量序列或过程X^X^X^Xt+pXi，…Xn是相互独立；(2) X1, W服从某一概率分布函数G(X)，Xt+1，Xt+2，…Xn服从另一概率分布函数 F(X)，且 G(X) ^ F(X)；(3) G(X)和F(X)可以`是任意概率分布函数。则称参数T为移动点。移动点技术在很多领域中都有很好的应用，例如工业自动控制、导航分析、经济、气象学、信号过程、医学、行为学和计算机等方面。谭常春利用移动点技术讨论了香港股票市场的隐含波动率对股票市场近期波动的预警作用。最近有学者提出将移动点应用到软件可靠性建模中。许多经典的软件可靠性增长模型都假设软件故障检测率是平稳的。在实际情况中，软件故障检测率取决于多种因素。一般情况，在软件测试初始阶段，大量的故障被检测到，软件故障检测率取决于故障发现效率、故障密度、测试工作量、测试工具和运行环境等其它的因素。在软件测试中期阶段，故障检测率取决于CPU指令的执行率、软件失效与软件故障的对应关系、代码扩展因子和每天CPU进度计划，因此可以计算出软件故障检测率。利用这一故障检测率可以了解故障检测活动的进展情况，估计软件测试计划的有效性，并评估采用的故障检测方法是否有效。综上所述，一旦上述因素发生变化，导致软件故障检测率之变化。近年来，基于移动点的NHPP类软件可靠性增长模型被相继建立。现有基于移动点的NHPP类软件可靠性增长模型是针对软件失效检测行为建立的，很少考虑软件故障修正过程中也有可能因某些影响因素发生变化而产生移动点，而且更没有考虑故障检测工作量和故障修正工作量对故障检测和故障修正过程的影响，没能更好地从软件故障检测和故障修正的细节上进行可靠性建模。
技术实现思路
本专利技术目的是为了解决现有基于移动点的NHPP类软件可靠性增长模型存在的问题，提供了一种基于移动点的ISQ-FDEFCE软件可靠性增长模型。本专利技术所述基于移动点的ISQ-FDEFCE软件可靠性增长模型，所述基于移动点的ISQ-FDEFCE软件可靠性增长模型简写为ISQ-FDEFCE-CP模型，该模型在软件故障修正过程中具有n个移动点(CP)，ISQ-FDEFCE-CP模型假设如下:软件故障检测过程遵循一个NHPP ；在任意时刻软件系统失效都是由软件中存在的残余故障所引起的；在(t，t+At]时间间隔内已检测到的故障数与系统内残存故障数以及故障检测工作量成正比；软件故障之间相互独立；软件故障修正过程不可以被忽略，修正的故障数滞后于检测到的故障总数；每次引起软件系统失效的故障最终将会被修正，软件故障检测过程和故障修正过程是并行执行的，故障修正过程不会影响到故障检测过程且故障修正是完美的；使用ISQ模型来描述故障检测和故障修正活动，并且模型满足NHPP到达，服务时间服从一般分布；故障修正过程中，故障修正率在某些时间点上发生变化；ISQ-FDEFCE-CP 模型为:【权利要求】1.基于移动点的ISQ-FDEFCE软件可靠性增长模型，所述基于移动点的ISQ-FDEFCE软件可靠性增长模型简写为ISQ-FDEFCE-CP模型，其特征在于，该模型在软件故障修正过程中具有I个移动点，ISQ-FDEFCE-CP模型假设如下: 软件故障检测过程遵循一个NHPP ； 在任意时刻软件系统失效都是由软件中存在的残余故障所引起的； 在(t，t+At]时间间隔内已检测到的故障数与系统内残存故障数以及故障检测工作量成正比； 软件故障之间相互独立； 软件故障修正过程不可以被忽略，修正的故障数滞后于检测到的故障总数； 每次引起软件系统失效的故障最终将会被修正，软件故障检测过程和故障修正过程是并行执行的，故障修正过程不会影响到故障检测过程且故障修正是完美的； 使用ISQ模型来描述故障检测和故障修正活动，并且模型满足NHPP到达，服务时间服从一般分布； 故障修正过程中，故障修正率在某些时间点上发生变化； ISQ-FDEFCE-CP 模型为: 2.基于移动点的ISQ-FDEFCE软件可靠性增长模型，所述基于移动点的ISQ-FDEFCE软件可靠性增长模型简写为ISQ-FDEFCE-CP模型，其特征在于，该模型在软件故障修正过程中具有2个移动点，ISQ-FDEFCE-CP模型假设如下: 软件故障检测过程遵循一个NHPP ； 在任意时刻软件系统失效都是由软件中存在的残余故障所引起的； 在(t，t+At]时间间隔内已检测到的故障数与系统内残存故障数以及故障检测工作量成正比； 软件故障之间相互独立； 软件故障修正过程不可以被忽略，修正的故障数滞后于检测到的故障总数； 每次引起软件系统失效的故障最终将会被修正，软件故障检测过程和故障修正过程是并行执行的，故障修正过程不会影响到故障检测过程且故障修正是完美的； 使用ISQ模型来描述故障检测和故障修正活动，并且模型满足NHPP到达，服务时间服从一般分布； 故障修正过程中，故障修正率在某些时间点上发生变化； ISQ-FDEFCE-CP 模型为: 3.基于移动点的ISQ-FDEFCE软件可靠性增长模型，所述基于移动点的ISQ-FDEFCE软件可靠性增长模型简写为ISQ-FDEFCE-CP模型，其特征在于，该模型在软件故障修正过程中具有n个移动点，ISQ-FDEFCE-CP模型假设如下: 软件故障检测过程遵循一个NHPP ； 在任意时刻软件系统失效都是由软件中存在的残余故障所引起的； 在(t，t+At]时间间隔内已检测到本文档来自技高网...

【技术保护点】
基于移动点的ISQ‑FDEFCE软件可靠性增长模型，所述基于移动点的ISQ‑FDEFCE软件可靠性增长模型简写为ISQ‑FDEFCE‑CP模型，其特征在于，该模型在软件故障修正过程中具有1个移动点，ISQ‑FDEFCE‑CP模型假设如下：软件故障检测过程遵循一个NHPP；在任意时刻软件系统失效都是由软件中存在的残余故障所引起的；在(t,t+Δt]时间间隔内已检测到的故障数与系统内残存故障数以及故障检测工作量成正比；软件故障之间相互独立；软件故障修正过程不可以被忽略，修正的故障数滞后于检测到的故障总数；每次引起软件系统失效的故障最终将会被修正，软件故障检测过程和故障修正过程是并行执行的，故障修正过程不会影响到故障检测过程且故障修正是完美的；使用ISQ模型来描述故障检测和故障修正活动，并且模型满足NHPP到达，服务时间服从一般分布；故障修正过程中，故障修正率在某些时间点上发生变化；ISQ‑FDEFCE‑CP模型为：mc(t)=mc(0,τ1]+mc(τ1,t]=∫0τ1md′(x1)G1(τ1-x1)dx1+∫τ1tmd′(x2)G2(t-x2)dx2+[md(τ1)-mc(τ1)]G2(t-τ1)]]>其中：mc(t)为具有1个移动点的故障修正过程的均值函数；mc(0，τ1]为在(0,τ1]时间间隔内被检测到故障在修正过程的均值函数；mc(τ1，t]为(τ1,t]时间间隔内被检测到故障在修正过程的均值函数；m′d()为md()的一阶导数，md()表示到t时刻为止ISQ‑FDEFCE‑CP模型的故障检测过程的均值函数，md(t)=a[1-exp(-bWd(t)+bWd(0))]=a[1-exp(-bWd*(t))]]]>其中：a表示软件测试开始关潜在的故障总数；b表示每单位测试工作量的故障检测率；Wd(t)表示到t时刻为止累积测试工作量；W(0)表示0时刻的测试工作量；|W*(t)＝W(t)‑W(0)；G1(τ1‑x1)表示(0,τ1]时间间隔内的故障修正时间累积分布函数；某一个故障点在x1时刻被检测到，且在(x1τ1]时间间隔内被完全修正；且G1(τ1‑x1)按公式G1(τ1‑x1)=1‑exp[‑ρWc(τ1)+ρWc(x1)]获取；其中：ρ表示每单位故障修正工作量的故障修正率；Wc(τ1)表示至τ1时刻为止累积的故障修正工作量；Wc(x1)表示至x1时刻为止累积的故障修正工作量；G2(t‑x2)表示(τ1，t]时间间隔内，故障修正时间的累积分布函数；且G2(t‑x2)按公式G2(x1‑t)=1‑exp[‑ρWc(x1)+ρWc(t)]获取；其中：ρ表示每单位故障修正工作量的故障修正率；Wc(t)表示至t时刻为止累积的故障修正工作量。...

【技术特征摘要】

【专利技术属性】
技术研发人员：崔刚，付忠传，张楠，暴建民，潘波，张策，朱东杰，王秀峰，张必英，季春光，
申请(专利权)人：哈尔滨工业大学，
类型：发明
国别省市：黑龙江;23