Composants objets fiables : une approche pragmatique

Software reliability and correctness remain a major problem in industry. The goal of our study is to propose a software component design framework which promote the high- est formal level compatible with economic, organizational and programmer skills constraints. The support of our approach is a model of self-documented and self-testable classes, that uses design-by-contract mechanisms, object-oriented testing and embeded documentation practices. On this basis, an iterative development process is defined. A methodology is proposed to im- prove test and contracts quality. The proposed approach is illustrated by examples in and .