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, <http://info-web.lirmm.fr/ecoop13/index.php/doctoral-symposium.html>
Liste complète des métadonnées


https://hal.inria.fr/hal-01183129
Contributeur : Erwan Bousse <>
Soumis le : jeudi 6 août 2015 - 14:00:42
Dernière modification le : jeudi 9 février 2017 - 16:04:23
Document(s) archivé(s) le : mercredi 26 avril 2017 - 10:05:51

Fichier

final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01183129, version 1

Citation

Erwan Bousse. Combining Verification and Validation techniques. Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, Jul 2013, Montpellier, France. pp.10, <http://info-web.lirmm.fr/ecoop13/index.php/doctoral-symposium.html>. <hal-01183129>

Partager

Métriques

Consultations de
la notice

285

Téléchargements du document

71