Érika R. C de Almeida1, Eliane Martins1

1Institute of Computing – State University of Campinas (UNICAMP)

Testing model transformations which

derive executable test cases from

abstract ones

Topics

LADC 20112

Introduction

Model-driven testing (MDT)

Model transformations

Model transformation testing

Conclusion and future work

Topics

LADC 20113

Introduction

Model-driven testing (MDT)

Model transformations

Model transformation testing

Conclusion and future work

Introduction

LADC 20114

Software project managers and developers

face a challenge…

Doing so within an ever-shrinking schedule and

with minimal resources

It is necessary to test…

Quickly and thoroughly as possible

Introduction

LADC 20115

Software project managers and developers

face a challenge…

Doing so within an ever-shrinking schedule and

with minimal resources

It is necessary to test…

Quickly and thoroughly as possible

Automated Testing

Introduction

LADC 20116

Software project managers and developers

face a challenge…

Doing so within an ever-shrinking schedule and

with minimal resources

It is necessary to test…

Quickly and thoroughly as possible

Automated Testing Initial Cost

Introduction

LADC 20117

Proposal…

MOST-WEB

Model Based Testing (MBT)

Abstract Test Case Generation

+ Model Driven Testing (MBT)

Executable Test Case Generation

LADC 20118

Model Based Testing (MBT)

Abstract Test Case Generation

+ Model Driven Testing (MBT)

Executable Test Case Generation

Model Transformation

Introduction

LADC 20119

Proposal…

MOST-WEBModel Based Testing (MBT)

Abstract Test Case Generation

Model Driven Testing (MBT)

Executable Test Case Generation+

Model Transformation

•Writing complex model transformations is error-prone

•A single faulty transformation can make a whole model-driven

testing process vulnerable

Introduction

LADC 201110

Model transformation testing

Introduction

LADC 201111

Model transformation testing

Approach from Fleurey et al.

An adaptation from category-partition testing

Independent of any specific model transformation

language

Associated tool

Metamodel Coverage Checker (MMCC)

Topics

LADC 201112

Introduction

Model-driven testing (MDT)

Model transformations

Model transformation testing

Conclusion and future work

LADC 201113

Platform Independent Test

Model (PIT)

Platform Specific Test

Model (PST)

Test Code

Model transformation

Model transformation

LADC 201114

Platform Independent Test

Model (PIT)

Platform Specific Test

Model (PST)

Test Code

Model transformation

Model transformation

Sequence of Method

Calls (SMC)

xUnit

ATL

MOFScript

Model transformation testing

LADC 201115

Fleurey’s approach

Model fragments

generation

Test models

coverage

Model

transformation

application

+ +

LADC 201116

Model fragments

generation

Test models

coverage

Model

transformation

application

+ +

Input:

•Input metamodel of the transformation

Process:

•Generate model fragments

•Properties’ ranges

LADC 201117

Model fragments

generation

Test models

coverage

Model

transformation

application

+ +

Input:

•Model fragments

•Test models (instances of the input metamodel)

Process:

•Scores test models coverage

LADC 201118

Model fragments

generation

Test models

coverage

Model

transformation

application

+ +

Input:

•Test models (instances of the input metamodel)

Process:

•Apply model transformation

•Check if the expected output is correct

•Manual oracle

Model transformation testing

LADC 201119

MMCC application…

Test requirement SMC xUnit

All Partitions 23 33

All Ranges 43 73

Model fragments

generation

Test models

coverage

Model

transformation

application

+ +

Model transformation testing

LADC 201120

Now we are preparing the test models to

score their coverage on the respective

metamodel

After that we will be able to apply the

model transformation and assert if its

output is correct

Topics

LADC 201121

Introduction

Model-driven testing (MDT)

Model transformations

Model transformation testing

Conclusion and future work

Conclusion and future work

LADC 201122

Our goal is…Deriving executable test cases from abstract ones

We are using model-driven testing to achieve itModel transformations

Model transformation testing using Fleurey’sapproachCategory-partition testing

Conclusion and future work

LADC 201123

The testing process is composed of 3 stages

First stage: OK

Preparing artifacts for second stage

After that, execute the third one

Acknowledgment

LADC 201124

The authors would like to thank…

RobustWeb project and CAPES for supporting

this study

Institute of Computing (UNICAMP) for

supporting this conference participation

Questions

LADC 201125

erikarca@gmail.com