Abstract
The impact of hyper-parameters is considered in the software reliability verification testing program based on the traditional Bayesian theory and a new Bayesian software reliability verification testing program is proposed, which could be used for high-reliability software. Examples are given to illustrate the effectiveness of this verification testing program.
Publisher
Trans Tech Publications, Ltd.
Reference10 articles.
1. Oded Tal, Anthony Bendell, Chris Mccollin. A comparison of methods for calculating the duration of software reliability demonstration testing, particularly for safety-critical systems. Quality and Reliabiliy engineering international, 2000, 16: 59-62.
2. 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.
3. M. N. Rahrouh: Bayesian zero-failure reliability demonstration, University of Durham, (2005).
4. 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).
5. W. Feller: An Introduction to Probability Theory and Its Applications (Wiley, New York 1970).