Welcome to the InfoSci Platform
Reference Hub6
An SMT-based Approach for Generating Coverage Oriented Metamodel Instances

An SMT-based Approach for Generating Coverage Oriented Metamodel Instances

Hao Wu
Copyright: © 2016 |Volume: 7 |Issue: 3 |Pages: 28
ISSN: 1947-8186|EISSN: 1947-8194|EISBN13: 9781466691889|DOI: 10.4018/IJISMD.2016070102
Cite Article Cite Article

MLA

Wu, Hao. "An SMT-based Approach for Generating Coverage Oriented Metamodel Instances." IJISMD vol.7, no.3 2016: pp.23-50. http://doi.org/10.4018/IJISMD.2016070102

APA

Wu, H. (2016). An SMT-based Approach for Generating Coverage Oriented Metamodel Instances. International Journal of Information System Modeling and Design (IJISMD), 7(3), 23-50. http://doi.org/10.4018/IJISMD.2016070102

Chicago

Wu, Hao. "An SMT-based Approach for Generating Coverage Oriented Metamodel Instances," International Journal of Information System Modeling and Design (IJISMD) 7, no.3: 23-50. http://doi.org/10.4018/IJISMD.2016070102

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

An effective technique for generating instances of a metamodel should quickly and automatically generate instances satisfying the metamodel's structural and OCL constraints. Ideally it should also produce quantitatively meaningful instances with respect to certain criteria, that is, instances which meet specified generic coverage criteria that help the modelers test or verify a metamodel at a general level. In this paper, the author presents an approach consisting of two techniques for coverage oriented metamodel instance generation. The first technique realises the standard coverage criteria defined for UML class diagrams, while the second technique focuses on generating instances satisfying graph-based criteria. With the author's approach, both kinds of criteria are translated to SMT formulas which are then investigated by an SMT solver. Each successful assignment is then interpreted as a metamodel instance that provably satisfies a coverage criteria or a graph property. The author has already integrated this approach into his existing tool to demonstrate the feasibility.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.