Final Thesis Presentation on TEST DERIVATION AND REUSE THROUGH HORIZONTAL TRANSFORMATION OF SYSTEM MODELS Submitted by-Supervised by- Jenis KavadiyaAntonio 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 Model Is Meta-Model really a model of a model ? RealityModelMeta-Model 1 mm = 10 meter Wooden Partition Then what is Meta-Model? RealityModelMeta-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 xtUML Test Scripts QML Test Models Model Compiler Model to Text Transformatio n Model to Model Transformatio n MOF Scripte r Conformiq Qtronics Horizontal Transformation Vertical Transformation Conforms to Optional And (Either of A, B, A and B or none) AB 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 xtUML Test Scripts QML Test Models Model Compiler Model to Text Transformatio n Model to Model Transformatio n MOF Scripte r Conformiq Qtronics Horizontal Transformation Vertical Transformation Conforms to Optional And (Either of A, B, A and B or none) AB 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 xtUML Test Scripts QML Test Models Model Compiler Model to Text Transformatio n Model to Model Transformatio n MOF Scripte r Conformiq Qtronics Horizontal Transformation Vertical Transformation Conforms to Optional And (Either of A, B, A and B or none) AB 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!