带减函数的连续型软件可靠性验证方案
CSTR:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国防科技工业技术基础科研资助项目(Z132010B001)


Continues software reliability demonstration testing scheme with decreasing function
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    针对连续型安全关键软件可靠性验证测试(SRDT)所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案(CBSDF):首先选取连续型软件可靠性参数(如失效率)的典型减函数作为失效率的先验分布密度函数(先验分布);然后根据增长测试阶段后期的失效时间数据(先验信息)计算出先验分布超参数的估计值,进而给出相应的后验分布密度函数,在此基础上得到CBSDF的具体形式;最后,将两组真实失效数据集作为先验信息的来源,将CBSDF与已有的无先验信息(CBS1)与有先验信息(CBS2)的贝叶斯验证方案进行实例对比研究,计算结果表明:在SRDT方案参数相同时,相对于CBS1与CBS2,本论文提出的CBSDF可以更为显著地降低所需的验证测试时间,且更适用于高可靠的安全关键连续型软件。

    Abstract:

    The required testing duration of software reliability demonstration testing (SRDT) for the continuous safety-critical software is generally too long to endure. To solve this problem, a new continuous Bayesian-based SRDT scheme (CBSDF) for the safety-critical software is proposed by using the decreasing function method with the prior information. The representative decreasing function of the continuous reliability index (such as the failure rate) is selected to construct the prior distribution density function (PDDF). Then, the estimation values of the hyper-parameters of PDDF are calculated according to the prior information (i.e. the failure data collected in reliability growth testing) to obtain the posterior distribution and the detailed form of CBSDF. By selecting two failure data-sets as the source of prior information, the proposed CBSDF is compared with two existing Bayesian-based schemes (i.e. CBS1 without prior information and CBS2 with prior information). The experimental results show that with the same given reliability index, the proposed CBSDF is more effective than CBS1 and CBS2 by significantly decreasing the required testing time of SRDT and more suitable for the safety-critical software with high reliability.

    参考文献
    相似文献
    引证文献
引用本文

王学成,陆民燕,李海峰,杨日盛.带减函数的连续型软件可靠性验证方案[J].重庆大学学报,2012,35(10):136-143.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2012-11-08
  • 出版日期:
文章二维码