Advertisement

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems

  • Genaína Rodrigues
  • David Rosenblum
  • Sebastian Uchitel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3442)

Abstract

Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level functionality. If component reliability information is available, scenarios can be used to perform early system reliability assessment. In this paper we present a novel automated approach for predicting software system reliability. The approach involves extending a scenario specification to model (1) the probability of component failure, and (2) scenario transition probabilities derived from an operational profile of the system. From the extended scenario specification, probabilistic behaviour models are synthesized for each component and are then composed in parallel into a model for the system. Finally, a user-oriented reliability model described by Cheung is used to compute a reliability prediction from the system behaviour model. The contribution of this paper is a reliability prediction technique that takes into account the component structure exhibited in the scenarios and the concurrent nature of component-based systems. We also show how implied scenarios induced by the component structure and system behaviour described in the scenarios can be used to evolve the reliability prediction.

Keywords

Reliability Prediction Probability Weight Architecture Model Software Reliability Label Transition System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. In: Proc. of the 22nd ICSE, pp. 304–313. ACM Press, New York (2000)Google Scholar
  2. 2.
    Ayles, T., Field, A., Magee, J., Bennett, A.: Adding performance evaluation to the LTSA tool (tool demonstration). In: Proc. 13th Performance Tools (September 2003)Google Scholar
  3. 3.
    Cheung, R.C.: A User-Oriented Software Reliability Model. IEEE Transactions on Software Engineering 6(2), 118–125 (1980)CrossRefGoogle Scholar
  4. 4.
    Cortellessa, V., Singh, H., Cukic, B.: Early reliability assessment of uml based software models. In: Proceedings of the 3rd WOSP, pp. 302–309. ACM Press, New York (2002)Google Scholar
  5. 5.
    D’Argenio, P.R., Hermanns, H., Katoen, J.-P.: On generative parallel composition. In: Baier, C., Huth, M., Kwiatkowska, M., Ryan, M. (eds.) Electronic Notes in Theoretical Computer Science, vol. 22. Elsevier, Amsterdam (2000)Google Scholar
  6. 6.
    Frankl, P., Hamlet, R., Littlewood, B., Strigini, L.: Evaluating testing methods by delivered reliability. IEEE Transactions on Software Engineering 24(8), 586–601 (1998)CrossRefGoogle Scholar
  7. 7.
    Gokhale, S., Lyu, M., Trivedi, K.: Reliability Simulation of Component Based Software Systems. In: Reliability Simulation of Component Based Sofware Systems, Proc. of the 9th ISSRE, pp. 192–201 (1998)Google Scholar
  8. 8.
    Goševa-Popstojanova, K., Trivedi, K.S.: Architecture-Based Approach to Reliability Assessment of Software Systems. In: Performance Evaluation Journal. Elsevier Science, Amsterdam (2001)Google Scholar
  9. 9.
    ITU: ITU-T Recommendation Z.120 Message Sequence Charts (MSC’99). Technical report, ITU Telecommunication Standardization Sector, Geneva (1996)Google Scholar
  10. 10.
    Lyu, M.R.: Software Reliability Modeling. World Scientific Publishing Company, Singapore (1991)Google Scholar
  11. 11.
    Lyu, M.R.: Handbook of Software Reliability Engineering. IEEE Computer Society Press, Los Alamitos (1996)Google Scholar
  12. 12.
    Majzik, I., Huszerl, G.: Towards dependability modeling of FT-CORBA architectures. In: Proc. 4th EDCC, Toulouse, pp. 121–139. Springer, Heidelberg (2002)Google Scholar
  13. 13.
    Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic Dependability Analysis of System Architecture Based on UML Models. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol. 2667, pp. 219–244. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  14. 14.
    Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Softw. 10(2), 14–32 (1993)CrossRefGoogle Scholar
  15. 15.
    Musa, J.D., Iannino, A., Okumoto, K.: Software reliability: measurement, prediction, application. McGraw-Hill, Inc., New York (1987)Google Scholar
  16. 16.
    Object Management Group. Unified Modeling Language Specification version 2.0:Superstructure. Technical report (2003), http://www.omg.org/docs/ptc/03-08-02.pdf
  17. 17.
    Rodrigues, G.: A Model Driven Approach for Software Systems Reliability. In: Proc. of the Doctoral Symposium of the 26th ICSE, May 2004 - Edinburgh, Scotland. IEEE Computer Society, Los Alamitos (2004)Google Scholar
  18. 18.
    Rodrigues, G., Roberts, G., Emmerich, W.: Reliability Support for the Model Driven Architecture. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS. Springer, Heidelberg (2004) (to appear)Google Scholar
  19. 19.
    Roshandel, R., Medvidovic, N.: Toward Archtitecture-Based Reliability Estimation. In: ICSE/WADS 2004, Edinburgh, UK, pp. 2–6. IEEE Computer Society, Los Alamitos (2003)Google Scholar
  20. 20.
    Shooman, M.: Structural Models for Software Reliability Prediction. In: Proc. of the 2nd ICSE, pp. 268–280 (1976)Google Scholar
  21. 21.
    Singh, H., Cortellessa, V., Cukic, B., Gunel, E., Bharadwaj, V.: A bayesian approach to reliability prediction and assessment of component based systems. In: Proc. of the 12th IEEE ISSRE, pp. 12–21. IEEE, Los Alamitos (2001)Google Scholar
  22. 22.
    Skene, J., Emmerich, W.: A Model Driven Architecture Approach to Analysis of Non-Functional Properties of Software Architecture. In: Proc. of the 18th ASE., Toronto, CA, October 2001. IEEE Computer Society, Los Alamitos (2001)Google Scholar
  23. 23.
    Uchitel, S., Chatley, R., Kramer, J., Magee, J.: LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. In: Proc. of 9th TACAS, Warsaw (April 2003)Google Scholar
  24. 24.
    Uchitel, S., Kramer, J., Magee, J.: Synthesis on Behavioral Models from Scenarios. IEEE Transactions on Software Engineering 29(2), 99–115 (2003)CrossRefGoogle Scholar
  25. 25.
    Uchitel, S., Kramer, J., Magee, J.: Incremental Elaboration of Scenarios-Based Specifications and Behavior Models Using Implied Scenarios. ACM Transactions on Software Engineering and Methodologies 13(1), 37–85 (2004)CrossRefGoogle Scholar
  26. 26.
    Wang, W.L., Wu, Y., Chen, M.H.: An Architecture-Based Software Reliability Model. In: Proc. Pacific Rim International Symposium on Dependable Computing, Washington, DC, USA, pp. 143–150. IEEE Computer Society, Los Alamitos (1999)CrossRefGoogle Scholar
  27. 27.
    Yacoub, S.M., Cukic, B., Ammar, H.H.: Scenario-Based Reliability Analysis of Component-Based Software. In: Proc. of the 10th ISSRE, Boca Raton, FL, USA. IEEE, Los Alamitos (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Genaína Rodrigues
    • 1
  • David Rosenblum
    • 1
  • Sebastian Uchitel
    • 2
  1. 1.Department of Computer Science, London Software SystemsUniversity College LondonUK
  2. 2.Department of Computing, London Software SystemsImperial College LondonU.K

Personalised recommendations