Robustness and diagnosability of OO systems designed by contracts
- 13 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 15301435,p. 272-284
- https://doi.org/10.1109/metric.2001.915535
Abstract
While there is a growing interest in component-based systems for industrial applications, little effort has so far been devoted to quality evaluation of these systems. This paper presents the definition of measures for two quality factors, namely robustness and "diagnosability" for the special case of object-oriented (OO) systems, for which thee approach known as design-by-contract has been used. The main steps in constructing these measures are given, from informal definitions of the factors to be measured to the mathematical model of the measures. To fix the parameters, experimental studies have been conducted, essentially based on applying mutation analysis in the OO context. Several measures are presented that reveal and estimate the contribution of the contracts' quality and density to the overall quality of a system in terms of robustness and diagnosability.Keywords
This publication has 16 references indexed in Scilit:
- Efficient strategies for integration and regression testing of OO systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Software diagnosabilityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Testing-for-trust: the genetic selection model applied to component qualificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Computation of dynamic program slices for unstructured programsIEEE Transactions on Software Engineering, 1997
- Design by contract: the lessons of ArianeComputer, 1997
- Property-based software engineering measurementIEEE Transactions on Software Engineering, 1996
- Towards a framework for software measurement validationIEEE Transactions on Software Engineering, 1995
- The revealing power of a test caseSoftware Testing, Verification and Reliability, 1992
- Axiomatic approach to Software Metrication through Program DecompositionThe Computer Journal, 1986
- Programmers use slices when debuggingCommunications of the ACM, 1982