Skip to Main content Skip to Navigation
Theses

Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérication de contrats

Abstract : With Model Driven Engineering models are the heart of software development. These models evolve through transformations. In this thesis our interest was the validation for these model transformations by testing, and more precisely the test oracles. We propose two approaches to assist the tester to create these oracles. With the first ap- proach this assistance is passive; we provide the tester with a new oracle function. The test oracles created with this new oracle function control only part of the model produced by the transformation under test. We defined the notion of partial verdict, described the situations where having a partial verdict is beneficial for the tester and how to test a transformation in this context. We developed a tool implementing this proposal, and ran experiments with it. With the second approach, we provide a more active assistance about test oracles’ quality. We study the quality of a set of model transformation test oracles. We consider that the quality of a set of oracles is linked to its ability to detect faults in the transformation under test. We show the limits of mutation analysis which is used for this purpose, then we propose a new approach that corrects part of these drawbacks. We measure the coverage of the output meta-model by the set of oracles we consider. Our approach does not depend on the language used for the transformation under test’s implementation. It also provides the tester with hints on how to improve her oracles. We defined a process to evaluate meta-model coverage and qualify test oracles. We developed a tool implementing our approach to validate it through experimentations.
Document type :
Theses
Complete list of metadata

Cited literature [102 references]  Display  Hide  Download

https://hal.inria.fr/tel-01146895
Contributor : Christian Attiogbé <>
Submitted on : Wednesday, April 29, 2015 - 12:49:26 PM
Last modification on : Friday, October 23, 2020 - 4:38:08 PM
Long-term archiving on: : Monday, September 14, 2015 - 3:21:07 PM

Identifiers

  • HAL Id : tel-01146895, version 1

Collections

Citation

El-Habib Mohamed Messabihi. Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérication de contrats. Génie logiciel [cs.SE]. Université de Nantes, 2011. Français. ⟨tel-01146895⟩

Share

Metrics

Record views

298

Files downloads

705