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