Paper Titles
Research of Slider-Crank Massager Noise Fault Diagnosis and Treatment
p.487
A Novel Intelligent Network Booting System
p.497
Variable Deadband Sampling and T-S Fuzzy PID Co-Design for Optimizing QoS and QoP of Wireless Networked Control Systems
p.502
Influence of Clique Potential Parameters on Classification Using Bayesian MRF Model for Remote Sensing Image in Dali Erhai Basin
p.508
Software Reliability Demonstration Testing Plan Based on Bayesian Theory
p.513
A Novel Virtual Vector Field Method for Image Segmentation Inspired by Physical Electro-Static Force
p.518
Obstacles Detecting on Blind Sidewalk System Based on Image Processing Scheme
p.522
DC Power Dynamic Management System in Digitalized Transformer Substation
p.527
CATIA Based 3D Product Information Definition and Organization
p.532

Software Reliability Demonstration Testing Plan Based on Bayesian Theory

Article Preview

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.

You might also be interested in these eBooks
Materials and Manufacturing Research View Preview

Info:

Periodical:

Advanced Materials Research (Volume 658)

Pages:

513-517

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.658.513

Citation:

Cite this paper

Online since:

January 2013

Authors:

Qiu Ying Li, Hao Nan Tong

Keywords:

Bayesian, Demonstration Testing, Plan, Software Reliability, Zero-Failure Data

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

© 2013 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

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).

Google Scholar

[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

Google Scholar

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

Google Scholar

[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

Google Scholar

[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

Google Scholar

[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

Google Scholar

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

Google Scholar

[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).

Google Scholar

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

Google Scholar

[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

Google Scholar

[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

Google Scholar

[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

Google Scholar