一种实时多任务软件可靠性验证方法

摘要：

针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法.该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的.实验证明该方法的有效性和灵活性.

关键词：软件可靠性、可靠性验证方法、统计测试、实时软件、软件测试

所属期刊栏目：26

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

资助基金：国家预研基金41315040106

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

页数：共5页

页码：1476-1480