White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

SEMI-AUTOMATED TEST MODEL GENERATION

Popoola, Saheed Olatunji (2016) SEMI-AUTOMATED TEST MODEL GENERATION. MSc by research thesis, University of York.

[img]
Preview
Text
main.pdf - Examined Thesis (PDF)
Available under License Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 UK: England & Wales.

Download (2617Kb) | Preview

Abstract

Appropriate test models that can satisfy complex constraints are required for testing model management programs in order to build confidence in their correctness. Models have inherently complex structures and are often required to satisfy non-trivial constraints which makes them time consuming, labour intensive and error prone to construct manually. Automated capabilities are therefore required, however, existing fully-automated model generation tools cannot generate models that satisfy arbitrarily complex constraints. This thesis addresses this problem by proposing a semi-automated approach towards the generation of such models. A new framework named Epsilon Model Generator (EMG) that implements this approach is presented. The framework supports the development of model generators that can produce random and reproducible test models that satisfy complex constraints.

Item Type: Thesis (MSc by research)
Keywords: Model Driven Engineering (MDE), Model Generation, Epsilon, EMG
Academic Units: The University of York > Computer Science (York)
Depositing User: Mr Saheed Olatunji Popoola
Date Deposited: 29 Nov 2016 12:22
Last Modified: 29 Nov 2016 12:22
URI: http://etheses.whiterose.ac.uk/id/eprint/15660

You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.

Actions (repository staff only: login required)