Reliability Certification Method for Real-Time Multitasking Software

覃志东,雷航,熊光泽,桑楠,陈丽蓉
DOI: https://doi.org/10.3321/j.issn:1001-506x.2004.10.042
2004-01-01
Abstract: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.
What problem does this paper attempt to address?