-
题名基于覆盖率信息的软件可靠性增长测试实践
被引量:5
- 1
-
-
作者
李秋英
李海峰
徐刚
-
机构
北京航空航天大学可靠性与系统工程学院
中国兵器工业第五九研究所
-
出处
《计算机应用研究》
CSCD
北大核心
2010年第7期2594-2597,共4页
-
文摘
软件可靠性增长测试是公认的实现软件可靠性增长以满足软件可靠性定量要求的重要手段,但数量庞大的测试用例往往成为其在实践中进行大规模推广和应用的瓶颈。通过在传统软件可靠性增长测试中引入覆盖率信息的方法来降低可靠性增长测试中需要执行的测试用例数量,从而加快可靠性测试进程,并解决其在实际中不能应用的弊端。通过实践的尝试,希望架起软件可靠性理论研究与工程实践之间的桥梁,以推动软件可靠性工程活动在工程实际中的开展和应用。
-
关键词
软件可靠性
软件测试
软件可靠性增长测试
覆盖率
工程实践
-
Keywords
software reliability
software testing
software reliability growth testing
coverage
engineering practice
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于分阶段增长测试信息的软件可靠性贝叶斯验证方案
- 2
-
-
作者
王玉琢
刘海涛
袁昊劼
翟亚利
张志华
-
机构
海军工程大学基础部
海军工程大学兵器工程学院
海军工程大学舰船与海洋学院
-
出处
《计算机科学》
北大核心
2025年第9期360-367,共8页
-
文摘
针对现有贝叶斯方案的先验分布确定方法对软件可靠性分阶段增长测试信息加工偏保守、假设条件偏理想的问题,利用正则不完全贝塔函数与二项分布累积和之间的恒等关系式,给出增长测试最后一阶段软件成功率的边缘概率分布模型。在此基础上,提出了顺序约束条件下的软件成功率先验分布确定方法,并从保护使用方利益的角度设计了基于平均后验风险的软件可靠性贝叶斯验证方案。经实例和仿真验证,所提先验分布确定方法对软件可靠性分阶段增长测试信息的加工更合理,设计的贝叶斯方案能在保证方案可信度的前提下明显减少可靠性验证测试用例数量,减轻测试负担,具有一定的经济价值。
-
关键词
软件可靠性验证
可靠性增长测试
软件成功率
-
Keywords
Software reliability verification
Reliability growth testing
Software success rate
-
分类号
E917
[军事]
-