Combining unit and specification-based testing for meta-model validation and verification
详细信息 查看全文
- 作者：Jesú ; s J. Ló ; pez-Ferná ; ndez ; jesusj.lopez@uam.es" class="auth_mail" title="E-mail the corresponding author ; Esther Guerra Esther.Guerra@uam.es" class="auth_mail" title="E-mail the corresponding author ; Juan de Lara Juan.deLara@uam.es" class="auth_mail" title="E-mail the corresponding author
- 关键词：Model-driven engineering ; Meta-modelling ; Domain-specific modelling languages ; Validation & verification ; Meta-model quality
- 刊名：Information Systems
- 出版年：2016
- 出版时间：December 2016
- 年：2016
- 卷：62
- 期：Complete
- 页码：104-135
- 全文大小：4643 K
文摘
- class="listitem" id="list_li0005">
- class="label">•
We propose two domain-specific languages for meta-model validation and verification.
- class="label">•
mmUnit enables meta-model unit test definitions with model fragments and assertions.
- class="label">•
mmSpec is directed to express and verify expected properties of a meta-model.
- class="label">•
We have developed tooling for both languages in the Eclipse platform.
- class="label">•
The languages have been evaluated over large real world meta-model repositories.