loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh International Software Metrics Symposium (METRICS'01)
Robustness and Diagnosability of OO Systems Designed by Contracts
London, England
April 04-April 06
ISBN: 0-7695-1043-4
Benoit Baudry, IRISA, Campus Universitaire de Beaulieu
Yves Le Traon, IRISA, Campus Universitaire de Beaulieu
Jean-Marc Jézéquel, IRISA, Campus Universitaire de Beaulieu
While there is a growing interest for component-based systems in industry, 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 OO systems for which the 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 contracts quality and density to the overall quality of a system in terms of robustness and "diagnosability".
Citation:
Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel, "Robustness and Diagnosability of OO Systems Designed by Contracts," metrics, pp.272, Seventh International Software Metrics Symposium (METRICS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.