Combining unit and specification-based testing for meta-model validation and verification

作者：

Highlights：

• We propose two domain-specific languages for meta-model validation and verification.

• mmUnit enables meta-model unit test definitions with model fragments and assertions.

• mmSpec is directed to express and verify expected properties of a meta-model.

• We have developed tooling for both languages in the Eclipse platform.

• The languages have been evaluated over large real world meta-model repositories.

摘要

Highlights•We propose two domain-specific languages for meta-model validation and verification.•mmUnit enables meta-model unit test definitions with model fragments and assertions.•mmSpec is directed to express and verify expected properties of a meta-model.•We have developed tooling for both languages in the Eclipse platform.•The languages have been evaluated over large real world meta-model repositories.

论文关键词：Model-driven engineering,Meta-modelling,Domain-specific modelling languages,Validation & verification,Meta-model quality

论文评审过程：Received 3 May 2016, Accepted 22 June 2016, Available online 30 June 2016, Version of Record 28 July 2016.

论文官网地址：https://doi.org/10.1016/j.is.2016.06.008