We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byBryan Baggarly
Modified over 2 years ago
Automated Test Design © 2011 Conformiq, Inc. CONFORMIQ DESIGNER MBT Working Meeting Report Stephan Schulz MTS#56, Göttingen
Automated Test Design © 2011 Conformiq, Inc. First meeting on MBT ES revision –Coordination with MBT STF All day on 14.5. in Göttingen 12 participants (including remote participants) Conformiq, Ericsson, Elvior, Giesecke & Devrient, Daimler, VTT, ALU, ISPRAS, FOKUS, U of G About Meeting
Automated Test Design © 2011 Conformiq, Inc. Detailed STF Review –ATM exercise + first ITS models with 4 tools –Early results G&D Presentation and standard feedback Conformiq presentation on open issues & new ideas Definition of next steps Meeting Overview
Automated Test Design © 2011 Conformiq, Inc. Work finished early 2011 – published by summer Comments received after finalization –Formalization of concepts (in UML diagram) –Annex for flowchart/activity based modeling –weak point is missing relation of modeling to testing –Section on modeling from system vs test perspective –Missing terms –Missing modeling/coverage of specific test data Status ES 202 951
Automated Test Design © 2011 Conformiq, Inc. About Test Selection in ES 202 951 Section 4: The model is then instrumented for the purpose of test generation by adding or selecting test selection criteria, i.e., coverage goals or test purposes specifying what is to be covered, and heuristics specifying how these goals are to be covered. Test selection is necessary since from every non-trivial model, an infinite or huge amount of tests can be derived. A model-based testing tool then automatically generates an abstract test suite that complies with these criteria. NOTE: The specification of test selection criteria is beyond the scope of the present document.
Automated Test Design © 2011 Conformiq, Inc. Next Steps Reformulate scope of MBT ES WI beyond modeling New sections in MBT ES on Test Selection and Test Suite Coverage –Concepts & terminology/dictionary for use in context of MBT Revise notion of a state? –What is a test in the context of a model Effectively are the same quality – means to compare –Test selection Paramerization Test case properties like redundancy, priority/cost, differences in general –Test Suite Coverage Something may be measurable Type of coverage: Loop, definition coverage once vs n-times, full coverage Criteria/types incl data and combinations thereof Reachability vs trace/pattern/test purpose (data at certain point) Use model vs specification vs implementation vs usage coverage Definition of more formal meta model (concepts) based on [OMG] MOF
Automated Test Design © 2011 Conformiq, Inc. META MODELS IN ETSI [LANGUAGE] STANDARDIZATION?
Automated Test Design © 2011 Conformiq, Inc. After years of unification a clear & strong trend in industry to specialization in (modeling) languages, i.e., DSLs –So far deployments mainly in MDD UML, TTCN-3, etc – one size fits all? –One size is how many pages of standard? –One language ?= one compiler –XMI ? A(nother) domain specific modeling hype ? –Everything is a domain specific language -> what is a domain –Presentation format vs actual language –Strong (Eclipse) open source initiative xtext Test Language Specification and DSLs
Automated Test Design © 2011 Conformiq, Inc. What is a Domain Specific Modeling? Modeling with a Domain Specific Modeling Language What is a Domain Specific Modeling Language (DSML)? –A formal language defined on a custom, limited set of domain specific concepts, symbols, and rules in a so called meta model –Attempts to achieve a higher level of abstraction than a general purpose language like, e.g., UML Conceptual foundation dating back to the 80s (ISO 10027 ) –Later on popularized in 90s by OMG as Meta Object Facility (MOF)
Automated Test Design © 2011 Conformiq, Inc. [Example] Anatomy of a DSML or Meta-Model Concepts [Symbol] s Generators 12 3 4 Rules
Automated Test Design © 2011 Conformiq, Inc. A Layered Definition of ETSI Testing DSLs? [based on Oligschläger, LACTOSE 2012] A DSML definition in multiple levels A new level can add new concepts, properties, relationships etc A new level can refine or restrict already existing concepts, properties, relationships, etc Application Domain Generic Testing SpecificTest Description Specific System Generic System System Operation Specific System Operation input, entity test step initial state SIP UA
Automated Test Design © 2011 Conformiq, Inc. Why DSML(s) in Standardization? Not a new idea in context of TTCN-3 A fast way to nice & free text editors available for anybody (via xtext) –One of the challenges of the ExTRA aka TPLan A nice way to formalize dependencies and ensure consistency between different abstraction levels –ExTRA -> System operation or TDL -> TTCN-3 ? Allow space for tool proprietary presentation formats and even refinements, and extensions –At same time enables enforcing tool independent single language for use in standardization
Automated Test Design ™ © 2011 Conformiq, Inc. CONFORMIQ DESIGNER MBT Working Meeting Report Stephan Schulz MTS#56, Göttingen.
Automated Test Design ™ © 2011 Conformiq, Inc. CONFORMIQ DESIGNER On ES v1.2.1 Stephan Schulz MBT Working Meeting/MTS#56, Göttingen.
Restricted © Siemens AG All rights reserved Siemens Corporate Technology | Month 20XX Proposed topics for TDL phase 3.
Work Item “Patterns in Test Development (PTD)” Re-start Meeting 17 March, Berlin Helmut Neukirchen Institute for.
International Telecommunication Union ITU-T Study Group 17, Moscow, 30 March – 8 April 2005 New Recommendations on ODP Arve Meisingset Rapporteur Q15.
Fraunhofer FOKUS Competence Center MOTION FOKUS VIEW ON MODEL-BASED TEST DESCRIPTION LANGUAGES (TDLS) Alain-G. Vouffo Feudjio.
Introduction to MDA (Model Driven Architecture) CYT.
Page 1 Hitachi Ltd. – FhI FOKUS TTCN-3 User Conference, June 2005 MDA based approach for generation of TTCN-3 test specifications Hideto Ogawa, Hitachi.
2nd TTCN-3 User Conference, June The TTCN-3 Metamodel – A Basis for Tool Integration Ina Schieferdecker TU Berlin/Fraunhofer Fokus Hajo Eichler,
Modelling Class T08 Conceptual Modelling – Behaviour Flow-Based Behavior References: –Conceptual Modeling of Information Systems (Chapters 11 and 12) –A.
WIGOS Data model – standards introduction. Introduction This presentation briefly introduces ISO standards for conceptual modelling that provide context.
Copyright ©2004 Cezary Z Janikow 1 Domain Model n Visualization of entities and relationships n In UP presented as Class Diagrams – Classes, Relationships,
A conformance test suite for TTCN-3 tools Benjamin Zeiss, T-Systems Andras Kovacs, Broadbit Bogdan Stanca-Kaposta, Testing Technologies.
Andrea Maurino Web Service Design Methodology Batini, De Paoli, Maurino, Grega, Comerio WP2-WP3 Roma 24/11/2005.
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
1 UML – an overview What is UML? UML stands for Unified Modelling Language. ”The Unified Modelling Language is a visual language for specifying, constructing.
Standards Certification Education & Training Publishing Conferences & Exhibits 1Copyright © 2006 ISA ISA-SP99: Security for Industrial Automation and Control.
Winter 2007SEG2101 Chapter 31 Chapter 3 Requirements Specifications.
Creating Architectural Descriptions. Outline Standardizing architectural descriptions: The IEEE has published, “Recommended Practice for Architectural.
Copyright © 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 10 Practical Database Design Methodology and Use of UML Diagrams.
Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
OWL Web Ontology Language Summary IHan HSIAO (Sharon)
ISO/IEC CD and WD : Core Model and Model Mapping ISO/IEC JTC1/SC32/WG September 2005, Toronto SC32/WG2 Japan (Kanrikogaku Ltd) Masaharu.
Computer Engineering 203 R Smith Requirements Management 6/ Requirements IEEE Standard Glossary A condition or capability needed by a user to solve.
Slide 1 Wolfram Höpken RMSIG Reference Model Special Interest Group Second RMSIG Workshop Methodology and Process Wolfram Höpken.
TST R01-MBT_for_test_suites_development Use of MBT for test suites development- discussion Group Name: TST WG Source: Easy Global Market (EGM)
Dr. Darius Silingas | No Magic, Inc. Domain-Specific Profiles for Your UML Tool Building DSL Environments with MagicDraw UML.
Alignment of ATL and QVT © 2006 ATLAS Nantes Alignment of ATL and QVT Ivan Kurtev ATLAS group, INRIA & University of Nantes, France
International Civil Aviation Organization AIM Operational Concept Alexander Pufahl ICAO Aeronautical Information Management (AIM) AIS-AIM SG Meeting, Montreal,
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
Software Engineering Chapter 8 Fall Analysis Extension of use cases, use cases are converted into a more formal description of the system.Extension.
CSIS 4850: CS Senior Project – Spring 2009 CSIS 4850: Senior Project Spring 2009 Object-Oriented Design.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 2, Modeling with UML, Part 4 UML 2 Metamodel.
18 June, 2013 Katrin Heinze, Bundesbank CEN/WS XBRL CWA1: European Filing Rules Data Point Meta Model Data Point Methodology Guidance European Taxonomy.
SEA-1 20 Nov 2014 CCSDS System Engineering Area (SEA): System Architecture WG (SAWG) Restart Peter Shames, SEA AD 20 Nov 2014.
ICT EMMSAD’05 13/ Assessing Business Process Modeling Languages Using a Generic Quality Framework Anna Gunhild Nysetvold* John Krogstie *, § IDI,
TMF - Terminological Markup Framework Laurent Romary Laboratoire LORIA (CNRS, INRIA, Universités de Nancy) ISO meeting London, 14 August 2000.
Introduction to UML Visual modeling Models and its importance History of the UML Basic UML concepts.
CS 4850: Senior Project Fall 2014 Object-Oriented Design.
CASE Tools And Their Effect On Software Quality Peter Geddis – pxg07u.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of SDL Amardeo Sarma NEC Europe Ltd.
Software Engineering Lecture 10: System Engineering.
10 December, 2013 Katrin Heinze, Bundesbank CEN/WS XBRL CWA1: DPM Meta model CWA1Page 1.
Information Design Trends Unit Three: Information Visualization Lecture 3: Visual Languages.
Supplement 02CASE Tools1 Supplement 02 - Case Tools And Franchise Colleges By MANSHA NAWAZ.
1, Workshop ISO/TC211 Standards in Action ISO/TC 211 Workshop Standards in Action Swiss Contribution.
8:15 AM Tuesday September 15, 2009 Karl Frank, Point of Contact for Constellation Projects Validating Integration Requirements Diagrams for illustrative.
Software test automation with UML2.0 TestingProfile & TTCN-3 Maili Markvardt.
© 2010 Health Information Management: Concepts, Principles, and Practice Chapter 5: Data and Information Management.
The Re-engineering and Reuse of Software Patrick A.V. Hall and Lingzi Jin Vol 1, p Presented by: Andrew Wheeler.
© 2017 SlidePlayer.com Inc. All rights reserved.