Software Reliability Demonstration Testing Plan Based on Bayesian Theory

Abstract:

For highly reliable software, it is expensive, time consuming or even infeasible to perform reliability testing by traditional Bayesian-based software reliability demonstration testing plan. Meanwhile, when determining the prior distribution function, people only consider conjugate prior distribution in order to realize the calculation in mathematics but ignores the characteristics of highly reliable software. To address this problem, by introducing the construction method of multilayer prior distribution function into the software reliability demonstration testing plan, this paper put forward a new Bayesian software reliability demonstration testing plan with zero-failure data, which can be used for highly reliable software reliability demonstration testing. Finally through examples, it illustrated the superiority of the method.

References

[1] M. R. Mann, R. E. Schafer and N. D. Singpurwalla: Methods for Statistical Analysis of Reliability and Life Data (Wiley, New York 1974).

[2] D. L. Parnas, A. J. V. Schouwen and S. P. Kwan: Evaluation of safety-critical software, Communications of the ACM, Vol. 33, No. 6(1990), pp.636-648.

DOI: 10.1145/78973.78974

[3] Military Handbook 781A: Reliability Test Methods, Plans and Environments. DoD, Washington D.C., (1996).

[4] Mccollin: A comparison of methods for calculating the duration of software reliability demonstration testing, particularly for safety-critical systems, Quality and Reliabiliy engineering international, Vol. 16(2000), pp.59-62.

DOI: 10.1002/(sici)1099-1638(200001/02)16:1<59::aid-qre277>3.0.co;2-v

[5] B. Littlewood, L. Strigini: Assessment of ultra-high dependability for software-based systems, Communications of ACM, Vol. 36, No. 11(1993), pp.69-80.

DOI: 10.1145/163359.163373

[6] B. Littlewood, W. David: Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software, IEEE Trans on Software Engineering, Vol. 23, No. 11(1997), pp.673-683.

DOI: 10.1109/32.637384

[7] M. N. Rahrouh: Bayesian zero-failure reliability demonstration, University of Durham, (2005).

[8] S.P. Yang, N. Sang and G.Z. Xiong: Study on Safety Evaluation Technology of Safety Critical Software, Journal of Computer, Vol. 27, No. 4, pp.442-451, 2004(in Chinese).

[9] W. Feller: An Introduction to Probability Theory and Its Applications (Wiley, New York 1970).

[10] J. R Franck: Reliability testing for non-constant MTBFs, IEEE Region Conference on Spanning the Peaks of Electrotechnology, (1988).

DOI: 10.1109/reg5.1988.15937

[11] O. Tal, C. McCollin and T. Bendell: Reliability demonstration for safety-critical systems, IEEE Trans on Reliabiliy, Vol. 50, No. 2(2001), pp.194-204.

DOI: 10.1109/24.963127

[12] B. Cukic, D. Chakravarthy: Bayesian framework for reliability assurance of a deployed safety critical system, The 5th IEEE International Symposim on High Assurance Systems Engineering, pp.321-329, (2000).

DOI: 10.1109/hase.2000.895477