1 / 11

Final Thesis Presentation on TEST DERIVATION AND REUSE THROUGH HORIZONTAL TRANSFORMATION OF SYSTEM MODELS

Final Thesis Presentation on 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. .

clove
Download Presentation

Final Thesis Presentation on TEST DERIVATION AND REUSE THROUGH HORIZONTAL TRANSFORMATION OF SYSTEM MODELS

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Final Thesis PresentationonTEST DERIVATION AND REUSE THROUGH HORIZONTAL TRANSFORMATION OF SYSTEM MODELS Submitted by- Supervised by- Jenis Kavadiya Antonio Ciccehetti

  2. 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

  3. 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)

  4. Meta Model Is Meta-Model really a model of a model ? Reality Model Meta-Model Then what is Meta-Model? 1 mm = 10 meter Wooden Partition Reality Model Meta-Model * On the Unification Power of Models:Jean Bézivin1

  5. Vertical Transformation MOF Conforms to Horizontal Transformation xtUML Meta-M UML Meta-M Input Manual Enrichment of Test model Model to Model Transformation QML Test Models Optional And (Either of A, B, A and B or none) xtUML System models QML Graphical language QML Textual language A B Model to Text Transformation Model Compiler Conformiq Qtronics Scripter Abstract Test Cases PSM/Code xtUML Test Scripts TTCN-3 Test Scripts

  6. Bug Tracing MOF Vertical Transformation xtUML Meta-M UML Meta-M Conforms to Horizontal Transformation Manual Enrichment of Test model Model to Model Transformation Input QML Test Models Optional And (Either of A, B, A and B or none) xtUML System models QML Graphical language QML Textual language A B Model to Text Transformation Model Compiler Conformiq Qtronics Scripter Abstract Test Cases Testing PSM xtUML Test Scripts TTCN-3 Test Scripts

  7. Early Test Execution Test Maintenance for Software Changes MOF Vertical Transformation xtUML Meta-M UML Meta-M Conforms to Horizontal Transformation Manual Enrichment of Test model Model to Model Transformation Input QML Test Models Optional And (Either of A, B, A and B or none) xtUML System models QML Graphical language QML Textual language A B Model to Text Transformation Model Compiler Conformiq Qtronics Scripter Abstract Test Cases Testing PSM xtUML Test Scripts TTCN-3 Test Scripts

  8. Model Driven Architecture (MDA) Separation & Derivation of PSM from PIM so even if platform changes PSM can be automatically derived from PIM X = X 5 A = New_Object (Type B) X += 5; B A; Platform Independent Model (PIM) C ++ PIM Model Compiler C Model Compiler Java Translator C++ to C Translator C++ to Java Software code in C Software code in Java X = X + 5; Int *A; A= malloc (sizeOf(B) ); X += 5; B A = new B();

  9. 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

  10. Thank You!

More Related