Software Reliability Verification Testing Program Considering Hyper-Parameter

Qiu Ying Li; Xing Chao You

doi:10.4028/www.scientific.net/AMM.511-512.1215

Paper Titles

The Research on Cloud Computing Security Model and Countermeasures
p.1196

Research on Data Security of Mobile Payment App
p.1201

Enhancement of Test Platform for Web Application Security
p.1205

Sensibility Analysis of Strengthened Operational Profile
p.1211

Software Reliability Verification Testing Program Considering Hyper-Parameter
p.1215

Trusted Control Flow Integrity for JVM-Based Application
p.1219

Research of Communication Method of Intelligent Building Lighting System Based on CAN Bus
p.1225

Software Implementation of Kompella-Based L2VPN
p.1230

The Estimation of the Hausdorff and Fractal Dimensions of the Global Attractor for 2D Autonomous g-Navier-Stokes Equations
p.1235

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 511-512Software Reliability Verification Testing Program...

Software Reliability Verification Testing Program Considering Hyper-Parameter

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 511-512)

Pages:

1215-1218

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.511-512.1215

Citation:

Cite this paper

Online since:

February 2014

Authors:

Qiu Ying Li*, Xing Chao You

Keywords:

Bayes, Hyper-Parameters, Software Reliability, Verification Testing Program

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

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

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

Google Scholar

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

DOI: 10.1109/32.637384

Google Scholar

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

Google Scholar

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

Google Scholar

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

Google Scholar

[6] 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

[7] 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

[8] 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

[9] F. P. A. Coolen, P. Coolen-Schrijner, M. Rahrouh. Bayesian reliability demonstration for failure-free periods [J]. Reliability Engineering and System Safety, 2005(88): 81-01.

DOI: 10.1016/j.ress.2004.07.015

Google Scholar

[10] Z.D. QIN, H. LEI, N. SANG, G.Z. XIONG. Reliability Demonstration Testing Method for Continuous Execution Software. Computer Science, 2005, 32(6): 202-205(in Chinese).

Google Scholar