安全关键软件的防危性测评技术研究

摘要：

为了评估安全关键软件的防危性,该文在分析软件可靠性与防危性异同的基础上,建立了相应的防危性评估指标,同时研究了传统统计测试方法确定所需防危性测试用例数的局限性.紧接着,使用贝叶斯函数动态地表示软件失效率的密度函数,提出了一种增量记忆型的防危性测试方法,该方法可根据软件出现失效时间的早晚及次数动态地确定所需测试用例数的增量,达到了改进传统测试方法局限性的目的,使安全关键软件测试失效后可经受更严格的测试,同时减小了测试工作量.为证明该方法的合理性、有效性,使用了大量例证.最后,就该领域内的相关工作及发展方向进行了展望.

关键词：安全关键系统、测试用例、防危性测试、可靠性测试、安全关键软件

所属期刊栏目：27

分类号：TP311(计算技术、计算机技术)

资助基金：国家预研基金2000J6.7.1.DZ0206;国家科技攻关项目41315040106

在线出版日期：2004-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：442-450