[发明专利]一种考虑检测效用及修正效用的软件可靠性检测方法

摘要

本发明属于软件可靠性研究领域，特别是考虑故障检测和修正过程中消耗资源对软件可靠性的影响，提出一种考虑检测效用及修正效用的软件可靠性检测方法。本发明包括检测软件的运行时间；采集故障检测效用,故障修正效用；计算检测效用占总体测试效用的比例；采集t时刻的累计故障检测数；软件故障总数；故障检测率；采集在t时刻投入的故障检测效用；采集t时刻的累计故障检测数；t时刻的累计故障修正数mc(t)；故障修正率p(t)，p(t)表示t时刻单位时间内每个已检测到故障被正确修正的概率；采集在t时刻投入的故障修正效用；检测得软件可靠性。本发明将传统的测试资源根据测试过程分为故障检测资源和故障修正资源，拟合和预测能力较传统的方法有很大提高。

主权项

一种考虑检测效用及修正效用的软件可靠性检测方法，其特征在于：(1)检测软件的运行时间t；(2)采集故障检测效用Wd(t)，故障修正效用Wc(t)，表示t时刻的累计测试效用W(t)＝Wd(t)+Wc(t)；(3)计算检测效用占总体测试效用的比例β，Wd(t)＝βW(t)，Wc(t)＝(1‑β)W(t)；(4)采集t时刻的累计故障检测数md(t)；软件故障总数；故障检测率b(t)，b(t)表示t时刻单位时间内每个故障被检测到的平均概率，dmd(t)dt=b(t)(a-md(t));]]>(5)采集在t时刻投入的故障检测效用wd(t)，b(t)＝r×wd(t)，r为每单位检测效用的故障检测率，dmd(t)dt1wd(t)=r(a-md(t));]]>(6)采集t时刻的累计故障检测数md(t)；t时刻的累计故障修正数mc(t)；故障修正率p(t)，p(t)表示t时刻单位时间内每个已检测到故障被正确修正的概率，dmc(t)dt=p(t)(md(t)-mc(t));]]>(7)采集在t时刻投入的故障修正效用wc(t)，p(t)＝u×wc(t)，u为每单位修正效用的故障检测率，dmc(t)dt1wc(t)=u(md(t)-mc(t));]]>(8)初始时刻：md(0)＝0，mc(0)＝0，md(t)=a(1-e-rWd*(t)),]]>mc(t)=e-uWc*(t)[aeuWc*(t)-ua∫0twc(t)exp(-rWd*(t)+uWc*(t))dt+C],]]>其中，Wd*(t)＝Wd(t)‑Wd(0)，Wc*(t)＝Wc(t)‑Wc(0)，检测得：mc(t)=a×{1-u(1-β)e[-rβW*(t)]-rβe[-u(1-β)W*(t)](1-β)u-βr}.]]>