Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mars Climate Orbiter Mishap Investigation Board Phase I Report, 1999, NASA, ftp://ftp.hq.nasa.gov/pub/pao/reports/1999/MCO_report.pdf
Lee L. The day the phones stopped: how people get hurt when computers go wrong. New York: Donald I. Fine, Inc.; 1992.
Dalal SR, Horgan JR, Kettenring JR. Reliable software and communication: software quality, reliability, and safety. IEEE J Spec Areas Commun 1993;12:33–9.
Institute of Electrical and Electronics Engineers. ANSI/IEEE standard glossary of software engineering terminology, IEEE Std. 729–1991.
ISO 9000-3. Quality management and quality assurance standard-part 3: guidelines for the application of ISO 9001 to the development, supply and maintenance of software. Switzerland: ISO; 1991.
Paulk M, Curtis W, Chrissis M, Weber C. Capability maturity model for software, version 1.1, CMU/SEI-93-TR-24. Carnegie Mellon University, Software Engineering Institute, 1993.
Emam K, Jean-Normand D, Melo W. SPICE: the theory and practice of software process improvement and capability determination. IEEE Computer Society Press; 1997.
Musa JD, Iannino A, Okumoto K. Software reliability-measurement, prediction, application. New York: McGraw-Hill; 1987.
Lyu MR, editor. Handbook of software reliability engineering. New York: McGraw-Hill; 1996.
Gaffney JD, Davis CF. An approach to estimating software errors and availability. SPC-TR-88-007, version 1.0, 1988. [Also in Proceedings of the 11thMinnowbrookWorkshop on Software Reliability.]
Dalal SR, and Ho YY. Predicting later phase faults knowing early stage data using hierarchical Bayes models. Technical Report, Telcordia Technologies, 2000.
Thomas D, Cook T, Cooper H, Cordray D, Hartmann H, Hedges L, Light R, Louis T, Mosteller F. Meta-analysis for explanation: a casebook. New York: Russell Sage Foundation; 1992.
Singpurwalla ND, Wilson SP. Software reliability modeling. Int Stat Rev 1994;62(3):289–317.
Gokhale S, Marinos P, Trivedi K. Important milestones in software reliability modeling. In: Proceedings of Software Engineering and Knowledge Engineering (SEKE 96), 1996. p.345–52.
Jelinski Z, Moranda PB. Software reliability research. In: Statistical computer performance evaluation. New York: Academic Press; 1972. p.465–84.
Shooman ML. Probabilistic models for software reliability prediction. In: Statistical computer performance evaluation. New York: Academic Press; 1972. p.485–502.
Schneidewind NF. Analysis of error processes in computer software. Sigplan Note 1975;10(6):337–46.
Musa JD. A theory of software reliability and its application. IEEE Trans Software Eng 1975;SE-1(3):312–27.
Moranda PB. Predictions of software reliability during debugging. In: Proceedings of the Annual Reliability and Maintainability Symposium, Washington, DC, 1975. p.327–32.
Goel AL, Okumoto K. Time-dependent error-detection rate model for software and other performance measures. IEEE Trans Reliab 1979;R-28(3):206–11.
Schick GJ, Wolverton RW. Assessment of software reliability. In: Proceedings, Operations Research. Wurzburg-Wien: Physica-Verlag; 1973. p.395–422.
Crow LH. Reliability analysis for complex repairable systems. In: Proschan F, Serfling RJ, editors. Reliability and biometry. Philadelphia: SIAM; 1974. p.379–410.
Yamada S, Ohba M, Osaki S. S-shaped reliability growth modeling for software error detection. IEEE Trans Reliab 1983;R-32(5):475–8.
Littlewood B. Stochastic reliability growth: a model for fault-removal in computer programs and hardware designs. IEEE Trans Reliab 1981;R-30(4):313–20.
Musa JD, Okumoto K. A logarithmic Poisson execution time model for software reliability measurement. In: Proceedings Seventh International Conference on Software Engineering, Orlando (FL), 1984. p.230–8.
Miller D. Exponential order statistic models of software reliability growth. IEEE Trans Software Eng 1986;SE-12(1):12–24.
Gokhale S, Lyu M, Trivedi K. Software reliability analysis incorporating debugging activities. In: Proceedings of International Symposium on Software Reliability Engineering (ISSRE 98), 1998. p.202–11.
Dalal SR, McIntosh AM. When to stop testing for large software systems with changing code. IEEE Trans Software Eng 1994;20:318–23.
Dalal SR, Mallows CL. When should one stop software testing? J Am Stat Assoc 1988;83:872–9.
Musa JD, Fuoco G. Irving N, Kropfl D, Juhlin B. The operational profile. In: Lyu MR, editor. Handbook of software reliability engineering. New York: McGraw-Hill; 1996. p.167–218.
Dalal SR, Mallows CL. Some graphical aids for deciding when to stop testing software. Software Quality & Productivity special issue]. IEEE J Spec Areas Commun 1990;8:169–75.
Dalal SR, Mallows CL. Buying with exact confidence. Ann Appl Probab 1992;2:752–65.
Singpurwalla ND. Determining an optimal time interval for testing and debugging software. IEEE Trans Software Eng 1991;17(4):313–9.
Goševa-Popstojanova K, Trivedi K. Architecture-based software reliability. In: Proceedings of ASSM 2000 International Conference on Applied Stochastic System Modeling, March 2000.
Dalal SR, Jain A, Karunanithi N, Leaton J, Lott C, Patton G. Model-based testing in practice. In: International Conference in Software Engineering-ICSE’ 99, 1999.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag London Limited
About this chapter
Cite this chapter
Dalal, S.R. (2003). Software Reliability Models: A Selective Survey and New Directions. In: Pham, H. (eds) Handbook of Reliability Engineering. Springer, London. https://doi.org/10.1007/1-85233-841-5_11
Download citation
DOI: https://doi.org/10.1007/1-85233-841-5_11
Publisher Name: Springer, London
Print ISBN: 978-1-85233-453-6
Online ISBN: 978-1-85233-841-1
eBook Packages: Springer Book Archive