This paper deals with the reliability assessment of component-based software to predict the software product reliability at the early stage. The proposed approach transforms a specification written in a semi-formal language into a stochastic model to be used for reliability evaluation. The paper assumes an UML-based system specification and introduces a method to map the specification onto a failure model. The method enables software designers with no specific knowledge of reliability theory to predict at design time the reliability of the final product, thus introducing lifecycle reliability prediction into their development best practices. The method is illustrated by use of an application case study that deals with the development of distributed software. A software architecture that allows the method to be easily integrated into UML-based software development environments is also introduced. The architecture is based on the use of XML (eXtensible Markup Language) to represent both the UML system specification and the failure model.

D'Ambrogio, A., Iazeolla, G., Mirandola, R. (2002). A method for the prediction of software reliability. In Proceedings of the 6th International Conference on Software Engineering and Applications, SEA 2002 (pp.234-240). Acta Press.

A method for the prediction of software reliability

D'AMBROGIO, ANDREA;
2002

Abstract

This paper deals with the reliability assessment of component-based software to predict the software product reliability at the early stage. The proposed approach transforms a specification written in a semi-formal language into a stochastic model to be used for reliability evaluation. The paper assumes an UML-based system specification and introduces a method to map the specification onto a failure model. The method enables software designers with no specific knowledge of reliability theory to predict at design time the reliability of the final product, thus introducing lifecycle reliability prediction into their development best practices. The method is illustrated by use of an application case study that deals with the development of distributed software. A software architecture that allows the method to be easily integrated into UML-based software development environments is also introduced. The architecture is based on the use of XML (eXtensible Markup Language) to represent both the UML system specification and the failure model.
6th International Conference on Software Engineering and Applications, SEA 2002
Rilevanza internazionale
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
English
Application programs; Forecasting; Formal languages; Reliability theory; Software engineering; Specifications; XML, Automatic modeling; Component based software; Reliability assessments; Reliability Evaluation; Reliability prediction; Semi-formal languages; Software development environment; XML (extensible markup language), Software reliability; Automatic model production; Reliability prediction; Software reliability
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84904159409&partnerID=40&md5=e3371411e5b757b27cda93c405253da1
Intervento a convegno
D'Ambrogio, A., Iazeolla, G., Mirandola, R. (2002). A method for the prediction of software reliability. In Proceedings of the 6th International Conference on Software Engineering and Applications, SEA 2002 (pp.234-240). Acta Press.
D'Ambrogio, A; Iazeolla, G; Mirandola, R
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2108/168254
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? ND
social impact