考虑排错等待延迟的基于fsq的软件可靠性增长模型的建立方法

文档序号:6526163阅读:200来源:国知局
考虑排错等待延迟的基于fsq的软件可靠性增长模型的建立方法
【专利摘要】考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法,涉及一种考虑排错等待延迟的基于FSQ的软件可靠性增长模型。为为了解决现有的基于FSQ的软件可靠性增长模型没有考虑排错等待延迟和故障不完美排除对软件可靠性的影响。所述模型包括故障检测过程中的均值函数模型和故障修正过程中的均值函数模型,所述方法包括:一:确定建立该模型的条件;二:根据所述条件,建立微分方程,并根据微分方程,求取FSQ-RWD模型的故障检测过程中的均值函数模型;三:根据故障修正时间、故障排错等待时间和获得的故障检测过程中的均值函数模型,求取FSQ-RWD模型的故障修正过程中的均值函数模型。它用于测试软件的可靠性。
【专利说明】考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法
【技术领域】
[0001]本发明涉及一种考虑排错等待延迟的基于FSQ的软件可靠性增长模型,特别涉及一种考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法。
【背景技术】
[0002]软件可靠性评估是软件可靠性工程研究的主要内容之一。准确地评估和预测软件系统的可靠性,掌握软件系统的可靠性状态及其变化规律,不仅能帮助软件测试的管理者预测达到指定的可靠性目标需要的测试时间、估算软件残留的故障数、软件的维护成本、软件系统的失效率等,更能为软件发布以及软件测试资源配置提供依据,使软件既能按计划准时发布,又能满足用户的可靠性要求。
[0003]软件可靠性增长模型是软件可靠性评估的重要手段之一,是软件可靠性评估和预测研究中备受关注、成果最多、最活跃的一个研究领域。软件可靠性增长模型是描述软件失效与软件故障的关系、软件失效与运行剖面的关系的数学方程。通过软件可靠性增长模型可以对软件的可靠性特征做出定量的评估与预测,例如预测开发过程中的可靠性增长,评估或预测软件在预定工作时间内的可靠度,预测软件在规定的时间间隔内发生失效次数的平均值、软件在任意时刻的失效率、软件失效时间间隔的概率分布和软件预期的交付时间等等。软件可靠性增长模型不仅是进行软件可靠性进行评估、分析和预测的最强有力工具,而且为改善软件可靠性提供指南。
[0004]现有的基于FSQ的软件可靠性增长模型没有考虑排错等待延迟和故障不完美排除对软件可靠性的影响,没有更好地从软件故障修正的细节上对故障修正过程进行可靠性建模。为了在细节上较好的描述软件故障修正过程,应该考虑排错等待延迟和不完美排错。

【发明内容】

[0005]本发明的目的是为了解决现有的基于FSQ的软件可靠性增长模型没有考虑排错等待延迟和故障不完美排除对软件可靠性的影响,本发明提供一种考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法。
[0006]本发明的考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法,
[0007]所述考虑排错等待延迟的基于FSQ的软件可靠性增长模型包括故障检测过程中的均值函数模型和故障修正过程中的均值函数模型,所述方法包括如下步骤:
[0008]步骤一:确定建立该模型的条件;
[0009]步骤二:根据步骤一所述条件,建立微分方程,并根据所述微分方程,求取FSQ-RffD模型的故障检测过程中的均值函数模型;
[0010]步骤三:根据故障修正时间、故障排错等待时间和步骤二获得的故障检测过程中的均值函数模型,求取FSQ-RWD模型的故障修正过程中的均值函数模型。
[0011]所述步骤一中,确定建立该模型的条件为:[0012]软件故障检测过程遵循一个NHPP ;
[0013]在任意时刻软件失效都是由所述软件中存在的残余故障所引起的;
[0014]在(t,t+At]时间间隔内已检测到的故障数与软件内残存故障数以及故障检测工作量成正比;
[0015]软件的故障之间相互独立;
[0016]软件的故障修正过程不可以被忽略,修正的故障数滞后于检测到的故
[0017]障累计数;
[0018]每次引起软件失效的故障最终将会被修正,软件故障检测过程和故障修正过程是并行执行的,故障的修正行为不会影响到故障检测过程;
[0019]使用FSQ模型来描述故障检测和故障修正活动,并且模型满足NHPP到达,服务时间服从一般分布;
[0020]故障被修正时,不会引入新故障;
[0021]步骤二中根据步骤一所述条件,建立微分方程,并根据所述微分方程,求取FSQ-RffD模型的故障检测过程中的均值函数模型的方法为:
[0022]根据步骤一所述条件建立微分方程:
【权利要求】
1.考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法,其特征在于,所述考虑排错等待延迟的基于FSQ的软件可靠性增长模型包括故障检测过程中的均值函数模型和故障修正过程中的均值函数模型,所述方法包括如下步骤: 步骤一:确定建立该模型的条件; 步骤二:根据步骤一所述条件,建立微分方程,并根据所述微分方程,求取FSQ-RWD模型的故障检测过程中的均值函数模型; 步骤三:根据故障修正时间、故障排错等待时间和步骤二获得的故障检测过程中的均值函数模型,求取FSQ-RWD模型的故障修正过程中的均值函数模型。
2.根据权利要求1所述的考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法,其特征在于, 所述步骤一中,确定建立该模型的条件为: 软件故障检测过程遵循一个NHPP ; 在任意时刻软件失效都是由所述软件中存在的残余故障所引起的; 在(t,t+At]时间间隔内已检测到的故障数与软件内残存故障数以及故障检测工作量成正比; 软件的故障之间相互独立; 软件的故障修正过程不可以被忽略,修正的故障数滞后于检测到的故障累计数;每次引起软件失效的故障最终将会被修正,软件故障检测过程和故障修正过程是并行执行的,故障的修正行为不会影响到故障检测过程; 使用FSQ模型来描述故障检测和故障修正活动,并且模型满足NHPP到达,服务时间服从一般分布; 故障被修正时,不会引入新故障。
3.根据权利要求2所述的考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法,其特征在于, 步骤二中根据步骤一所述条件,建立微分方程,并根据所述微分方程,求取FSQ-RWD模型的故障检测过程中的均值函数模型的方法为: 根据步骤一所述条件建立微分方程:
4.根据权利要求3所述的考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法,其特征在于, 步骤三中根据故障修正时间、故障排错等待时间和步骤二获得的故障检测过程中的均值函数模型,求取FSQ-RWD模型的故障修正过程中的均值函数模型的方法为: 根据t时刻为止软件已检测到的故障数的期望值md(t)和软件故障被完全修正的概率p(t)求故障修正过程中的均值函数模型:
5.根据权利要求1所述的考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法,其特征在于, 所述步骤一中,确定建立该模型的条件为: 软件故障检测过程遵循一个NHPP ; 在任意时刻软件失效都是由所述软件中存在的残余故障所引起的; 在(t,t+At]时间间隔内已检测到的软件故障数期望值与软件内残存期望值以及故障检测工作量成正比; 软件的故障之间相互独立; 软件的故障修正过程不可以被忽略,修正的故障数滞后于检测到的故障累计数;每次引起软件失效的故障最终将会被修正,软件故障检测过程和故障修正过程是并行执行的,故障的修正行为不会影响到故障检测过程; 使用FSQ模型来描述故障检测和故障修正活动,并且模型满足NHPP到达,服务时间服从一般分布; 故障被修正时,会引入新故障。
6.根据权利要求5所述的考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法,其特征在于,步骤二中根据步骤一所述条件,建立微分方程,并根据所述微分方程,求取FSQ-RWD模型的故障检测过程中的均值函数模型的方法为: 根据步骤一所述条件建立微分方程:
7.根据权利要求6所述的考虑排错等待延迟的基于FSQ的软件可靠性增长模型的建立方法,其特征在于, 步骤三中根据故障修正时间、故障排错等待时间和步骤二获得的故障检测过程中的均值函数模型,求取FSQ-RWD模型的故障修正过程中的均值函数模型的方法为: 根据t时刻为止软件已检测到的故障数的期望值md(t)和软件故障被完全修正的概率p(t)求故障修正过程中的均值函数模型:

【文档编号】G06F11/36GK103744780SQ201310738214
【公开日】2014年4月23日 申请日期:2013年12月29日 优先权日:2013年12月29日
【发明者】崔刚, 付忠传, 张楠, 暴建民, 潘波, 张策, 朱东杰, 王秀峰, 张必英, 季春光 申请人:哈尔滨工业大学
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1