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!