Investigating the use of analysis contracts to support fault isolation in object oriented code
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
From diagnosis to diagnosability: axiomatization, measurement and application
Journal of Systems and Software
Investigating the use of analysis contracts to improve the testability of object-oriented code
Software—Practice & Experience
A Component Architecture for High-Performance Scientific Computing
International Journal of High Performance Computing Applications
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
Measuring design testability of a UML class diagram
Information and Software Technology
An introduction to network stack design using software design patterns
MACE'10 Proceedings of the 5th IEEE international conference on Modelling autonomic communication environments
A systematic review of software robustness
Information and Software Technology
Hi-index | 0.00 |
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".