Processus de vérification des mesures de logiciels selon la perspective de métrologie

Sellami, Asma (2005). Processus de vérification des mesures de logiciels selon la perspective de métrologie. Thèse de doctorat électronique, Montréal, École de technologie supérieure.

Prévisualisation

PDF Télécharger (8MB) | Prévisualisation

Résumé

En génie logiciel, la plupart des mesures ont été proposées en se basant uniquement sur les concepts de la «théorie de mesure». Cependant, dans les autres disciplines matures du génie, c'est le domaine de connaissance se référant à la «métrologie» qui représente la base pour le développement et l'utilisation des instruments de mesure et des processus de mesure. L'objectif principal de cette thèse consiste à développer un cadre intégré pour le processus de vérification des méthodes de mesure de logiciels et qui intègre la perspective de métrologie au domaine de mesure de logiciels. Pour atteindre cet objectif, le document ISO de la métrologie VIM a été modélisé et un cadre de référence de vérification de mesure a été développé. Ce cadre a été utilisé pour analyser les normes ISO et le domaine de connaissance de la mesure en génie logiciel. Le résultat de cette analyse a révélé l'importance de la métrologie non seulement pour améliorer le design des mesures proposées à l'industrie mais aussi pour analyser la qualité des instruments de mesure qui lui sont associés. Le cadre intégré pourra être utilisé comme un modèle d'une méta-norme pour concevoir de nouvelles mesures. Enfin, l'ensemble des modèles développés n'est pas restreint au génie logiciel et il pourrait être utile également à l'ensemble des domaines de la mesure.

Titre traduit

Verification process of software measurement within metrology perspective

Résumé traduit

While the field of measurement and measuring instruments is both fundamental and very mature in the traditional engineering disciplines, it remains an emerging one in the software engineering discipline, to the extent that current proposals for measurement are limited to a general description of algorithms without any reference to measurement instrumentation or measurement method; in practice, these measurement proposals use very few metrology concepts. This research maps the fundamental concepts of metrology into the software engineering discipline, and does so not only for the design of software measures, but also for the analysis of the quality of the related measuring instruments.

In this R&D project, we have proposed an integrated measurement verification framework based on measurement concepts as documented in the ISO International Vocabulary of Basic and General Terms in Metrology (VIM), and also on the elements of measurement process model of Abran et al. and the software measurement verification framework of Kitchenham et al.

This integrated framework can be useful in a model of a measurement meta-standard to verify software measurement methods, to improve current ISO software engineering standards on measurement and to build future ISO measurement standards in software engineering.

The methodology designed to pursue the objectives of this research consists of the following:

• modeling the measurement concepts of the ISO International Vocabulary in Metrology (VIM) to facilitate their understanding and their use;

• developing a reference framework for measurement verification according to the detailed model of the VIM and the measurement process elements of Abran et al. to provide a broader scope of verification;

• llustrating the practical uses of this reference measurement verification framework by:
-analyzing the measurement-related ISO standards on software engineering and the software measurement body of knowledge in order to identify their strengths and weaknesses,

- transposing the experimental work associated with a specific measure to the larger scale of the set of measurements in software engineering;

• developing an integrated framework for measurement verification using mainly the measurement reference framework and the elements of the software measurement validation framework of Kitchenham et al.;

• identifying the relevant criteria for measurement verification from the metrology perspective.

Industry and researchers can use our research results to design new software measures which are aligned with the concepts of metrology, and to improve the software measures already suggested to industry.

Finally, it is to be noted that the metrology models developed are not restricted to software engineering, but are more generic in they can be applied throughout the measurement domain.

Type de document:	Mémoire ou thèse (Thèse de doctorat électronique)
Renseignements supplémentaires:	"Thèse présentée à l'École de technologie supérieure comme exigence partielle à l'obtention du doctorat en génie". Bibliogr.: f. [266]-274. Chap. 1. Introduction -- Chap. 2. Les outils analytiques de vérification de mesure -- Chap. 3. Méthodologie de recherche -- Chap. 4. Modélisation des concepts de mesure dans Vim'93 -- Chap. 5. Cadre de référence de verification d'une mesure -- Chap. 6. Utilisation du cadre de référence pour analyser les normes ISO de mesure -- Chap. 7. Analyse de ISO 15939 et de CocomoII -- Chap. 8. Analyse du cadre proposé par Kitchenham et al. -- Chap. 9. Analyse du corpus des connaissances de la mesure en génie logiciel -- Chap. 10. Proposition d'un cadre intégré de vérification d'une mesure -- Chap. 11. Conclusion.
Mots-clés libres:	Cadre, Critere, Genie, Integre, ISO, Logiciel, Mesure, Methode, Metrologie, Modelisation, Verification, Vocabulaire.
Directeur de mémoire/thèse:	Directeur de mémoire/thèse Abran, Alain
Programme:	Doctorat en génie > Génie
Date de dépôt:	15 févr. 2011 20:37
Dernière modification:	02 nov. 2016 01:34
URI:	https://espace.etsmtl.ca/id/eprint/364

Gestion Actions (Identification requise)

Dernière vérification avant le dépôt