-
题名一种实时多任务软件可靠性验证方法
被引量：4
- 1
-
-
作者
覃志东
雷航
熊光泽
桑楠
陈丽蓉
-
机构
电子科技大学计算机学院实时系统研究室
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2004年第10期1476-1480,共5页
-
基金
国家"十五"预研项目基金资助课题(41315040106)
-
文摘
针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法。该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的。实验证明该方法的有效性和灵活性。
-
关键词
软件可靠性
可靠性验证方法
统计测试
实时软件
软件测试
-
Keywords
software reliability
reliability certification method
statistical testing
real-time software
software testing
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名连续执行软件可靠性验证测试方法
被引量：10
- 2
-
-
作者
覃志东
雷航
桑楠
熊光泽
-
机构
电子科技大学计算机学院实时系统研究室
-
出处
《计算机科学》
CSCD
北大核心
2005年第6期202-205,共4页
-
基金
国防预研基金(41315040106)
国家高技术研究发展863计划专项经费(2003AA1Z2210)
电子科技大学优秀青年教师基金(L08010601YF020806)
-
文摘
针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效强度的先验分布,从而得到所需要的验证测试持续期,并结合检证测试过程中的具体情况,提出了先验动态整合的方法。实验表明,该方法在不降低验证测试结果可信性的条件下,能有效地减少可靠性验证测试的持续期。
-
关键词
可靠性验证
测试方法
执行
验证测试
统计假设检验
软件可靠性
可靠性增长
持续期
统计推断
先验分布
软件失效
测试阶段
测试过程
动态整合
贝叶斯
可信性
-
Keywords
Software reliability
Reliability demonstration testing
Empirical Bayesian statistical reference
Continuous execution software
-
分类号
O212.1
[理学—概率论与数理统计]
V243
[航空宇航科学与技术—飞行器设计]
-
