Combining Verification and Validation techniques

Erwan Bousse (1)

1 DiverSe - Diversity-centric Software Engineering

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.

Mots clés: partial evidence; model typing; domain specific languages; model driven development; validation; Verification

Domaines: Génie logiciel [cs.SE]

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