Final Thesis Presentationon

TEST DERIVATION AND REUSE THROUGH HORIZONTAL

TRANSFORMATION OF SYSTEM MODELS

Submitted by- Supervised by-Jenis Kavadiya Antonio Ciccehetti

MODEL

A model represents some aspect or behavior exactly in the same way a real thing should have represented.

An Angel with a broken heart

Model Driven Engineering (MDE)

– Modeling is the centralized activity other phases (development/ testing) are derived or impacted by it.

– It includes both Model Based development (MBD) & Model Based Testing (MBT)

Meta ModelIs Meta-Model really a model of a model ?

Reality Model Meta-Model

1 mm = 10 meter

Wooden Partition

Then what is Meta-Model?

Reality Model Meta-Model

* On the Unification Power of Models:Jean Bézivin1

xtUML Meta-M

UML Meta-M

Manual Enrichment of Test model

xtUML System models

QML Graphical language

QML Textual language

Abstract Test Cases

TTCN-3 Test Scripts

PSM/Code

xtUMLTest Scripts

QML Test Models

Model Compiler

Model to Text Transformation

Model to Model

Transformation

MOF

Scripter

Conformiq Qtronics

Horizontal Transformation

Vertical Transformation

Conforms to

Optional And(Either of A, B, A and B or none)

A B

Input

Bug Tracing

xtUML Meta-M

UML Meta-M

Manual Enrichment of Test model

xtUML System models

QML Graphical language

QML Textual language

Abstract Test Cases

TTCN-3 Test Scripts

PSM

xtUMLTest Scripts

QML Test Models

Model Compiler

Model to Text Transformation

Model to Model

Transformation

MOF

Scripter

Conformiq Qtronics

Horizontal Transformation

Vertical Transformation

Conforms to

Optional And(Either of A, B, A and B or none)

A B

Input

Testing

Test Maintenance for Software Changes

xtUML Meta-M

UML Meta-M

Manual Enrichment of Test model

xtUML System models

QML Graphical language

QML Textual language

Abstract Test Cases

TTCN-3 Test Scripts

PSM

xtUMLTest Scripts

QML Test Models

Model Compiler

Model to Text Transformation

Model to Model

Transformation

MOF

Scripter

Conformiq Qtronics

Horizontal Transformation

Vertical Transformation

Conforms to

Optional And(Either of A, B, A and B or none)

A B

Input

Testing

Early Test Execution

Model Driven Architecture (MDA)

Platform Independent Model (PIM)

Model Compiler

C

Software code

in C

Model Compiler

Java

Software code

in Java

X = X 5

A = New_Object (Type B)

X = X + 5;

Int *A;

A= malloc (sizeOf(B) );

X += 5;

B A = new B();

X += 5;

B A;C ++

PIM

Translator C++ to C

Translator C++ to Java

Separation & Derivation of PSM from PIM so even if platform changes PSM can be automatically derived from PIM

Conclusion

• Our contribution are– Reuse of System Models for Deriving Test

Models– Reuse of Model Checker and Model Compiler– Model Maintenance, Bug Tracing and Early

Test Execution• Compatibility of MBD & MBT tools

Thank You!