Article

Early reliability assessment of UML based software models

Authors:

Vittorio Cortellessa,

Harshinder Singh,

Bojan CukicAuthors Info & Claims

WOSP '02: Proceedings of the 3rd international workshop on Software and performance

Pages 302 - 309

https://doi.org/10.1145/584369.584415

Published: 24 July 2002 Publication History

Get Access

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.

Google Scholar

[2]

V. Cortellessa and R. Mirandola. Deriving a queueing network based performance model from uml diagrams. In Proc. of 2nd IEEE Workshop on Software and Performance (WOSP2000), September 2000.

Digital Library

Google Scholar

[3]

W. Everett. Software component reliability analysis. In Proc. of Symposium on Application Specific Systems and Software Engineering Technology (ASSET'99), 1999.

Digital Library

Google Scholar

[4]

S. Ghokale, M. Lyu, and K. Trivedi. Reliability simulation of component based software systems. In Proc. of 9th International Symposium on Software Reliability Engineering (ISSRE'98), 1998.

Digital Library

Google Scholar

[5]

K. Goseva-Popstojanova and K. S. Trivedi. Architecture-based approach to reliability assessment of software systems. Performance Evaluation, 45(2-3), June 2001.

Digital Library

Google Scholar

[6]

J. Horgan and A. Mathur. Software testing and reliability. In Handbook of Software Reliability Engineering, pages 531-566, 1996.

Digital Library

Google Scholar

[7]

S. Krishnamurthy and A. P. Mathur. On the estimation of reliability of a software system using reliabilities of its components. In Proc. of 8th International Symposium on Software Reliability Engineering (ISSRE'97), 1997.

Digital Library

Google Scholar

[8]

B. Littlewood. Software reliability model for modular program structure. IEEE Transactions on Software Engineering, 28(3), 1979.

Google Scholar

[9]

H. Singh, V. Cortellessa, B. Cukic, E. Gunel, and V. Bharadwaj. A bayesian approach to reliability prediction and assessment of component based systems. In Proc. of 12th International Symposium on Software Reliability Engineering (ISSRE'01), 2001.

Digital Library

Google Scholar

[10]

C. Smith. Spe for web applications: New challenges? In Keynote Address in Proc. of 2nd International Workshop on Software and Performance (WOSP2000), 2000.

Google Scholar

[11]

J. M. Voas. Cots and high assurance: An oxymoron? In Proc. of 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE'98), 1998.

Digital Library

Google Scholar

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

Crossref

Google Scholar

[13]

S. Yacoub, B. Cukic, and H. Ammar. Scenario-based reliability analysis of component-based software. In Proc. of 10th International Symposium on Software Reliability Engineering (ISSRE'99), 1999.

Digital Library

Google Scholar

Cited By

View all

Bashir ABalogun AAdigun MAjagbe SCapretz LAwotunde JMojeed H(2024)Cascade Generalization-Based Classifiers for Software Defect PredictionSoftware Engineering Methods Design and Application10.1007/978-3-031-70285-3_4(22-42)Online publication date: 23-Oct-2024
https://doi.org/10.1007/978-3-031-70285-3_4
Pompeo DTucci M(2023)Multi-objective Software Architecture Refactoring driven by Quality Attributes2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C)10.1109/ICSA-C57050.2023.00046(175-178)Online publication date: Mar-2023
https://doi.org/10.1109/ICSA-C57050.2023.00046
Cortellessa VDi Pompeo DStoico VTucci M(2023)Many-objective optimization of non-functional attributes based on refactoring of software modelsInformation and Software Technology10.1016/j.infsof.2023.107159157:COnline publication date: 1-May-2023
https://dl.acm.org/doi/10.1016/j.infsof.2023.107159
Show More Cited By

Index Terms

Early reliability assessment of UML based software models

Recommendations

Quantitative assessment of UML dynamic models

In this work we plan to provide a suite of measures to address mainly two problem areas within contemporary object-oriented software measurement: (i) the lack of measures for the early stages of system development, like conceptual modeling and (ii) the ...
Quantitative assessment of UML dynamic models
ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering

In this work we plan to provide a suite of measures to address mainly two problem areas within contemporary object-oriented software measurement: (i) the lack of measures for the early stages of system development, like conceptual modeling and (ii) the ...
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a ...

Comments

Information & Contributors

Information

Published In

WOSP '02: Proceedings of the 3rd international workshop on Software and performance

July 2002

318 pages

ISBN:1581135637

DOI:10.1145/584369

Program Chairs:
Simonetta Balsamo
Universita Ca' Foscari di Venezia
,
Paola Inverardi
Universita di L' Aquila
,
Bran Selic
Rational Software Inc.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 July 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

WOSP02

Sponsor:

WOSP02: Workshop on Software and Performance ( co-located with ISSTA 2002 )

July 24 - 26, 2002

Rome, Italy

Acceptance Rates

WOSP '02 Paper Acceptance Rate 35 of 64 submissions, 55%;

Overall Acceptance Rate 149 of 241 submissions, 62%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

116
Total Citations
View Citations
1,833
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bashir ABalogun AAdigun MAjagbe SCapretz LAwotunde JMojeed H(2024)Cascade Generalization-Based Classifiers for Software Defect PredictionSoftware Engineering Methods Design and Application10.1007/978-3-031-70285-3_4(22-42)Online publication date: 23-Oct-2024
https://doi.org/10.1007/978-3-031-70285-3_4
Pompeo DTucci M(2023)Multi-objective Software Architecture Refactoring driven by Quality Attributes2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C)10.1109/ICSA-C57050.2023.00046(175-178)Online publication date: Mar-2023
https://doi.org/10.1109/ICSA-C57050.2023.00046
Cortellessa VDi Pompeo DStoico VTucci M(2023)Many-objective optimization of non-functional attributes based on refactoring of software modelsInformation and Software Technology10.1016/j.infsof.2023.107159157:COnline publication date: 1-May-2023
https://dl.acm.org/doi/10.1016/j.infsof.2023.107159
Di Pompeo DTucci M(2022)Search Budget in Multi-Objective Refactoring optimization: a Model-Based Empirical Study2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)10.1109/SEAA56994.2022.00070(406-413)Online publication date: Aug-2022
https://doi.org/10.1109/SEAA56994.2022.00070
Einabadi MHasheminejad S(2022)A Search-Based Method For optimizing Software Architecture Reliability2022 8th International Conference on Web Research (ICWR)10.1109/ICWR54782.2022.9786245(47-54)Online publication date: 11-May-2022
https://doi.org/10.1109/ICWR54782.2022.9786245
Balogun ABasri SCapretz LMahamad SImam AAlmomani MAdeyemo VKumar G(2021)An Adaptive Rank Aggregation-Based Ensemble Multi-Filter Feature Selection Method in Software Defect PredictionEntropy10.3390/e2310127423:10(1274)Online publication date: 29-Sep-2021
https://doi.org/10.3390/e23101274
Imamura MFerreira FFernandes JSantos R(2021)System-of-Systems Reliability: An Exploratory Study in a Brazilian Public OrganizationProceedings of the XVII Brazilian Symposium on Information Systems10.1145/3466933.3466954(1-8)Online publication date: 7-Jun-2021
https://dl.acm.org/doi/10.1145/3466933.3466954
Ameller DFranch XGomez CMartinez-Fernandez SAraujo JBiffl SCabot JCortellessa VFernandez DMoreira AMuccini HVallecillo AWimmer MAmaral VBohm WBruneliere HBurgueno LGoulao MTeufl SBerardinelli L(2021)Dealing with Non-Functional Requirements in Model-Driven Development: A SurveyIEEE Transactions on Software Engineering10.1109/TSE.2019.290447647:4(818-835)Online publication date: 1-Apr-2021
https://doi.org/10.1109/TSE.2019.2904476
Cortellessa VPompeo DStoico VTucci M(2021)On the impact of Performance Antipatterns in multi-objective software model refactoring optimization2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)10.1109/SEAA53835.2021.00036(224-233)Online publication date: Sep-2021
https://doi.org/10.1109/SEAA53835.2021.00036
Gupta ASehgal RNagpal RNandana G(2020)An UML Based Approach to Find out Software Reliability Prediction Metrics2020 Fourth World Conference on Smart Trends in Systems, Security and Sustainability (WorldS4)10.1109/WorldS450073.2020.9210337(227-232)Online publication date: Jul-2020
https://doi.org/10.1109/WorldS450073.2020.9210337
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Quantitative assessment of UML dynamic models

Quantitative assessment of UML dynamic models

From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL