Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-07T15:19:55.652Z Has data issue: false hasContentIssue false
  • English
  • Français

Bayesian theory based software reliability demonstration test method for safety critical software†

Published online by Cambridge University Press:  04 September 2014

YUMEI WU ,
RISHENG YANG ,
HAIFENG LI  and
MINYA LU
YUMEI WU
Affiliation:
School of Reliability and Systems Engineering, Beihang University, Beijing, China Email: wuyumei@buaa.edu.cn
RISHENG YANG
Affiliation:
School of Reliability and Systems Engineering, Beihang University, Beijing, China Email: wuyumei@buaa.edu.cn
HAIFENG LI
Affiliation:
School of Reliability and Systems Engineering, Beihang University, Beijing, China Email: wuyumei@buaa.edu.cn
MINYA LU
Affiliation:
School of Reliability and Systems Engineering, Beihang University, Beijing, China Email: wuyumei@buaa.edu.cn
Get access Rights & Permissions [Opens in a new window]

Abstract

The original software reliability demonstration test (SRDT) does not take adequate account of prior knowledge or the prior distribution, which can lead to an expensive use of many resources. In the current paper, we propose a new improved Bayesian based SRDT method. We begin by constructing a framework for the SRDT scheme, then we use decreasing functions to construct the prior distribution density functions for both discrete and continuous safety-critical software, and then present schemes for both discrete and continuous Bayesian software demonstration functions (which we call DBSDF and CBSDF, respectively). We have carried out a set of experiments comparing our new schemes with the classic demonstration testing scheme on several published data sets. The results reveal that the DBSDF and CBSDF schemes are both more efficient and more applicable, and this is especially the case for safety-critical software with high reliability requirements.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 24 , Special Issue 5: Mathematical Method in Intelligent Computing and Automation , October 2014 , e240508
Copyright
Copyright © Cambridge University Press 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

†

This work was partially supported by Project Z231020 of the Ministry of Industry and Information Technology of China.

References

Cukic, B. and Chakravarthy, D. (2000) Bayesian framework for reliability assurance of a deployed safety critical system. In: Proceedings of the 5th IEEE International Symposium on High Assurance Systems Engineering 321–329.CrossRefGoogle Scholar
Department of Defense (1996) Reliability test methods, plans, and environments for engineering, development qualification, and production. Military Handbook MIL-HDBK-781A, Department of Defense, United States of America.Google Scholar
Dey, D. K. and Rao, C. R. (2005) Handbook of Statistics 25: Bayesian Thinking: Modeling and Computation, Elsevier.Google Scholar
Han, M. (2004) The estimation of reliability parameters without failure data (in Chinese), Chinese Statistic Press 66–67.Google Scholar
Lindley, D. V. and Smith, A. F. M. (1972) Bayes estimation for the linear model. Journal of the Royal Statistical Society 34 (1)1–41.Google Scholar
Littlewood, B. and David, W. (1997) Some conservative stopping rules for the operational testing of safety critical software. IEEE Transactions on Software Engineering 23 (11)673–683.CrossRefGoogle Scholar
Lyu, M. R. (1996) Handbook of Software Reliability Engineering, McGraw Hill.Google Scholar
Miller, K. W.et al. (1992) Estimating the probability of failure when testing reveals no failures. IEEE Transactions on Software Engineering 18 (1)33–43.CrossRefGoogle Scholar
Qin, Z. and Lei, H. (2004) Research on safety testing and evaluation technology of safety critical software (in Chinese). Chinese journal of computers 27 (4)442–451.Google Scholar
Qin, Z., Chen, H. and Shi, Y. (2008) Reliability demonstration testing method for safety-critical embedded applications software. Proceedings of International Conference on Embedded Software and Systems 481–487.CrossRefGoogle Scholar
Qin, Z., Lei, H., Sang, N. and Xiong, G. (2005) Reliability demonstration testing method for continuous execution software (in Chinese). Computer Science 32 (6)202–205.Google Scholar
Qin, Z., Lei, H., Sang, N., Xiong, G. and Gu, Y. (2005) Study on the reliability demonstration testing method for safety-critical software. ACTA Aeronautica et Astronautica Sinica 26 (3)334–339.Google Scholar
Rahrouh, M. N. (2005) Bayesian zero-failure reliability demonstration, University of Durham.Google Scholar
Tal, O., Bendell, A. and McCollin, C. (2000) A comparison of methods for calculating the duration of software reliability demonstration testing, particularly for safety-critical systems. Quality and Reliability Engineering International 16 (1)59–62.3.0.CO;2-V>CrossRefGoogle Scholar
Tal, O., McCollin, C. and Bendell, T. (2001) Reliability demonstration for safety-critical systems. IEEE Transactions on Reliability 50 (2)194–204.CrossRefGoogle Scholar
Thayer, T. A., Lipow, M. and Nelson, E. C. (1978) Software reliability-TRW Series of Software Technology, North-Holland Publishing.Google Scholar
Yang, S., Xiong, G., Sang, N. and Wu, X. (2004) Research on safety evaluation of high dependable software. Computer Engineering and Design 25 (2)161–166.Google Scholar