Skip to main content
SpringerLink
Log in

Stochastic software safety/reliability measurement and its application

  • Published:
Annals of Software Engineering

Abstract

Safety and reliability have become important software quality characteristics in the development of safety-critical software systems. However, there are so far no quantitative methods for assessing a safety-critical software system in terms of the safety/reliability characteristics. The metrics of software safety is defined as the probability that conditions that can lead to hazards do not occur. In this paper, we propose two stochastic models for software safety/reliability assessment: the data-domain dependent safety assessment model and the availability-related safety assessment model. These models focus on describing the time- or execution-dependent behavior of the software faults which can lead to unsafe states when they cause software failures. The application of one of these models to optimal software release problems is also discussed. Finally, numerical examples are illustrated for quantitative software safety assessment and optimal software release policies.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Foreman, E.H. and N.D. Singpurwalla (1979), “Optimal Time Intervals for Testing-Hypotheses on Computer Software Errors,” IEEE Transactions on Reliability R-28,3, 250–253.

    Google Scholar 

  • Goel, A.L. (1985), “Software Reliability Models: Assumptions, Limitations, and Applicability,” IEEE Transactions on Software Engineering SE-11,12, 1411–1423.

    Google Scholar 

  • Keene, S.J., Jr. (1992), “Assuring Software Safety,” In Proceedings of Annual Reliability and Maintainability Symposium, pp. 274–279.

  • Koch, H.S. and P. Kubat (1983), “Optimal Release Time of Computer Software,” IEEE Transactions on Software Engineering SE-9,3, 323–327.

    Google Scholar 

  • Laprie, J.-C. and K. Kanoun (1992), “X-Ware Reliability and Availability Modeling,” IEEE Transactions on Software Engineering 18,2, 130–147.

    Article  Google Scholar 

  • Laprie, J.-C., K. Kanoun, C. Béounes and M. Kaâniche (1991), “The KAT (Knowledge-Action-Trans-formation) Approach to the Modeling and Evaluation of Reliability and Availability Growth,” IEEE Transactions on Software Engineering 17,4, 370–382.

    Article  Google Scholar 

  • Leveson, N.G. (1986), “Software Safety: Why, What, and How,” ACM Computing Surveys 18,2, 125–163.

    Article  Google Scholar 

  • Lyu, M.R., Ed. (1996), Handbook of Software Reliability Engineering, IEEE Computer Society Press, Los Alamitos, CA.

  • Moranda, P.B. (1979), “Event-Altered Rate Models for General Reliability Analysis,” IEEE Transactions on Reliability R-28,5, 376–381.

    Article  Google Scholar 

  • Musa, J.D., A. Iannino and K. Okumoto (1987), Software Reliability: Measurement, Prediction, Application, McGraw-Hill, New York.

    Google Scholar 

  • Nakagawa Y. and I. Takenaka (1987), “Error Complexity Model for Software Reliability Estimation,” Transactions of IEICE J74-D-I,6, 397–386.

    Google Scholar 

  • Okumoto, K. and A.L. Goel (1980), “Optimum Release Time for Software System Based on Reliability and Cost Criteria,” Journal of Systems and Software 1,4, 315–318.

    Article  Google Scholar 

  • Rook, P., Ed. (1990), Software Reliability Handbook, Elsevier Applied Science, London.

  • Ross, S.M. (1996), Stochastic Processes, 2nd Edition, Wiley, New York.

    MATH  Google Scholar 

  • Shooman, M.L. (1983), Software Engineering: Design, Reliability, and Measurement, McGraw-Hill, New York.

    Google Scholar 

  • Tokuno, K. and S. Yamada (1997a), “Markovian Software Availability Modeling for Performance Evaluation,” In Stochastic Modelling in Innovative Manufacturing, A.H. Christer, S. Osaki and L.C. Thomas, Eds., Springer, Berlin, pp. 246–256.

    Google Scholar 

  • Tokuno, K. and S. Yamada (1997b), “Markovian Availability Measurement and Assessment for Hardware-Software System,” International Journal of Reliability, Quality and Safety Engineering 4,3, 257–268.

    Article  Google Scholar 

  • Yamada, S. (1991), “Software Quality/Reliability Measurement and Assessment: Software Reliability Growth Models and Data Analysis,” Journal of Information Processing 14,3, 254–266.

    Google Scholar 

  • Yamada, S. (1994), Software Reliability Models — Fundamentals and Applications, JUSE, Tokyo.

    Google Scholar 

  • Yamada, S. and S. Osaki (1985), “Discrete Software Reliability Growth Models,” Applied Stochastic Model and Data Analysis 1,1, 65–77.

    Google Scholar 

  • Yamada, S. and S. Osaki (1987), “Optimal Release Policies with Simultaneous Cost and Reliability Requirements,” European Journal of Operational Research 31,1, 46–51.

    Article  MATH  MathSciNet  Google Scholar 

  • Yamada, S., K. Tokuno and S. Osaki (1993), “Software Reliability Measurement in Imperfect Debugging Environment and Its Application,” Reliability Engineering and System Safety 40,2, 139–147.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Social Systems Engineering, Faculty of Engineering, Tottori University, Tottori-shi, 680-8552, Japan

    Koichi Tokuno & Shigeru Yamada

Authors
  1. Koichi Tokuno
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shigeru Yamada
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tokuno, K., Yamada, S. Stochastic software safety/reliability measurement and its application. Annals of Software Engineering 8, 123–145 (1999). https://doi.org/10.1023/A:1018967011900

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1018967011900

Keywords

Search

Navigation