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

Reliability certification method for real-time multitasking software

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

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.