Combining Verification and Validation techniques

Erwan Bousse 1, *
* Auteur correspondant
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : As systems are more and more complex and heterogeneous, Domain Specific Languages (DSLs) can be used to model their many concerns at a high abstraction level. Early Validation and Verification (V&V) of such models is an important and difficult task. There are numerous possible V&V techniques, none being completely satisfying regarding specific requirements (behavioral coverage, scalability, required expertise, etc.) or depending on the context. The objective of my PhD work is to find ways to make an efficient coordinated use of different complementary V&V techniques. In particular, I focus on the need to handle gathered evidence with corresponding property-behavior coverage, and on the semantic gap between domain languages and V&V languages. The proposed approach include the designing of a language to encode V&V evidence, and on the use of model types to both capitalize V&V manipulations and fill the gap between DSLs and V&V languages.
Type de document :
Communication dans un congrès
Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, Jul 2013, Montpellier, France. pp.10, 〈〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger
Contributeur : Erwan Bousse <>
Soumis le : jeudi 6 août 2015 - 14:00:42
Dernière modification le : vendredi 16 novembre 2018 - 01:37:58
Document(s) archivé(s) le : mercredi 26 avril 2017 - 10:05:51


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-01183129, version 1


Erwan Bousse. Combining Verification and Validation techniques. Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, Jul 2013, Montpellier, France. pp.10, 〈〉. 〈hal-01183129〉



Consultations de la notice


Téléchargements de fichiers