Early reliability assessment of UML based software models

ABSTRACT

The ability to validate software systems early in the development lifecycle is becoming crucial. While early validation of functional requirements is supported by well known approaches, the validation of non-functional requirements, such as reliability, is not. Early assessment of non-functional requirements can be facilitated by automated transformation of software models into (mathematical) notations suitable for validation. These type of validation approaches are usually as "transparent" to the developers as possible. Consequently, most software developers find them user friendly and easy to adopt.In this paper we introduce a methodology that starts with the analysis of the UML model of software architecture followed by the bayesian framework for reliability prediction. We utilize three different types of UML diagrams: Use Case, Sequence and Deployment diagrams. They are annotated with reliability related attributes. Unlike traditional reliability growth models, which are applicable late in the lifecycle, our approach bases system reliability prediction on component and connector failure rates. In mature development environments, these may be available as the result of reuse. Throughout the lifecycle, as the developers improve their understanding of failure rates and their operational usage, system reliability prediction becomes more precise. We demonstrate the approach through a case study based on a simple web-based transaction processing system.

REFERENCES

• 1: http://www.rational.com/uml.
• 2: Vittorio Cortellessa , Raffaela Mirandola, Deriving a queueing network based performance model from UML diagrams, Proceedings of the 2nd international workshop on Software and performance, p.58-70, September 2000, Ottawa, Ontario, Canada [doi>10.1145/350391.350406]
• 3: William W. Everett, Software Component Reliability Analysis, Proceedings of the 1999 IEEE Symposium on Application - Specific Systems and Software Engineering and Technology, p.204, March 24-27, 1999
• 4: S. Gokhale , M. Lyu , K. Trivedi, Reliability Simulation of Component-based Software Systems, Proceedings of the The Ninth International Symposium on Software Reliability Engineering, p.192, November 04-07, 1998
• 5: Architecture-based approach to reliability assessment of software systems, Performance Evaluation, v.45 n.2-3, p.179-204, July 1 2001 [doi>10.1016/S0166-5316(01)00034-7]
• 6: Joseph R. Horgan , Aditya P. Mathur, Software testing and reliability, Handbook of software reliability and system reliability, McGraw-Hill, Inc., Hightstown, NJ, 1996
• 7: S. Krishnamurthy , A. P. Mathur, On The Estimation Of Reliability Of A Software System Using Reliabilities Of Its Components, Proceedings of the Eighth International Symposium on Software Reliability Engineering (ISSRE '97), p.146, November 02-05, 1997
• 8: B. Littlewood. Software reliability model for modular program structure. IEEE Transactions on Software Engineering, 28(3), 1979.
• 9: H. Singh , V. Cortellessa , B. Cukic , E. Gunel , V. Bharadwaj, A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems, Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE'01), p.12, November 27-30, 2001
• 10: C. Smith. Spe for web applications: New challenges? In Keynote Address in Proc. of 2nd International Workshop on Software and Performance (WOSP2000), 2000.
• 11: Jeffrey M. Voas, COTS and High Assurance: An Oxymoron?, The 4th IEEE International Symposium on High-Assurance Systems Engineering, p.119, November 17-19, 1999
• 12: M. Xie and C. Wohlin. An additive reliability model for the analysis of modular software failure data. In Proc. of 6th International Symposium on Software Reliability Engineering (ISSRE'95), 1995.
• 13: Sherif M. Yacoub , Bojan Cukic , Hany H. Ammar, Scenario-Based Reliability Analysis of Component-Based Software, Proceedings of the 10th International Symposium on Software Reliability Engineering, p.22, November 01-04, 1999

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS

  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.8 Metrics

Keywords:
UML models, bayesian reliability prediction, component based systems, reliability assessment