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

Reliability certification method for real-time multitasking software

作　　者：覃志东[1] 雷航[1] 熊光泽[1] 桑楠[1] 陈丽蓉[1] 

机构地区：[1]电子科技大学计算机学院实时系统研究室,四川成都610054

出　　处：《系统工程与电子技术》2004年第10期1476-1480,共5页Systems Engineering and Electronics

基　　金：国家"十五"预研项目基金资助课题(41315040106)

摘　　要：针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法。该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的。实验证明该方法的有效性和灵活性。To deal with the problem that software reliability growth model can not fulfill the confidence requirements of real-time multitasking software reliability certification, a trustworthy method to certify the reliability of real-time multitasking software is presented based on the statistical testing of software modules. Firstly, a multitasking software reliability model and the solution to the model parameter are derived on the basis of analyzing the structure and operational characteristics of real-time multitasking software. Then, the reliability indices for the whole software system can be allocated to all task modules via the reliability model. Finally, the reliability indices allocated to the task modules are demonstrated by statistical testing. Thus, the conclusion, whether the whole software system satisfies the reliability indices or not, can be drawn from the single software module testing results. Experiment shows that the method provided above is effective and flexible.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]