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-01-01
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.