Skip to Main content Skip to Navigation
Conference papers

Combining Verification and Validation techniques

Erwan Bousse 1, * 
* Corresponding author
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Erwan Bousse Connect in order to contact the contributor
Submitted on : Thursday, August 6, 2015 - 2:00:42 PM
Last modification on : Wednesday, February 2, 2022 - 3:50:39 PM
Long-term archiving on: : Wednesday, April 26, 2017 - 10:05:51 AM


Files produced by the author(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⟩



Record views


Files downloads