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