Overview of the ETSI Test Description Language

Slides:



Advertisements
Similar presentations
Restricted © Siemens AG All rights reserved Siemens Corporate Technology | Month 20XX Proposed topics for TDL phase 3.
Advertisements

TEST DESCRIPTION LANGUAGE Work Item DES/MTS-140_TDL – STF work plan © ETSI All rights reserved Andreas Ulrich, Siemens AG (Rapporteur)MTS#58,
Automated Test Design ™ © 2011 Conformiq, Inc. CONFORMIQ DESIGNER On ES v1.2.1 Stephan Schulz MBT Working Meeting/MTS#56, Göttingen.
A Brief Introduction. Acknowledgements  The material in this tutorial is based in part on: Concurrency: State Models & Java Programming, by Jeff Magee.
Developed by Reneta Barneva, SUNY Fredonia Component Level Design.
End-to-End Design of Embedded Real-Time Systems Kang G. Shin Real-Time Computing Laboratory EECS Department The University of Michigan Ann Arbor, MI
David Harrison Senior Consultant, Popkin Software 22 April 2004
Copyright © Siemens AG All rights reserved. Essential Criteria on MBT to Ensure Quality of Software in Industry PVR Murthy Andreas Ulrich Siemens.
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
CIT UPES | Sept 2013 | Unified Modeling Language - UML.
2nd TTCN-3 User Conference, June The TTCN-3 Metamodel – A Basis for Tool Integration Ina Schieferdecker TU Berlin/Fraunhofer Fokus Hajo Eichler,
Chapter 5 Models and UML Notation for The Object-Oriented Approach.
7 Systems Analysis and Design in a Changing World, Fifth Edition.
TTCN-3 MOST Challenges Maria Teodorescu
Laboratory of Model Driven Engineering for Embedded Systems An Execution Framework for MARTE-based Models UML&AADL’2008 workshop Belfast, Northern Ireland.
Capturing Requirements. Questions to Ask about Requirements 1)Are the requirements correct? 2)Consistent? 3)Unambiguous? 4)Complete? 5)Feasible? 6)Relevant?
21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.
Defects of UML Yang Yichuan. For the Presentation Something you know Instead of lots of new stuff. Cases Instead of Concepts. Methodology instead of the.
Automated Test Design ™ © 2011 Conformiq, Inc. CONFORMIQ DESIGNER MBT Working Meeting Report Stephan Schulz MTS#56, Göttingen.
STF 454 “DESIGN OF TDL” Proposed TDL features © ETSI All rights reserved.
Copyright © Siemens AG All rights reserved. Corporate Technology A Test Scenario Description Language Bridging the gap between model-based testing.
SysML 2.0 Requirements for Visualization
Systems Analysis and Design in a Changing World, Fourth Edition
Welcome to M301 P2 Software Systems & their Development
Chapter 5 System modeling
TQS - Teste e Qualidade de Software (Software Testing and Quality) Test Case Design – Model Based Testing João Pascoal.
SysML 2.0 Requirements for Visualization
TDL Standardization and Development – Building a Community
Course Outcomes of Object Oriented Modeling Design (17630,C604)
Object-Oriented Analysis and Design
SysML v2 Formalism: Requirements & Benefits
Automated Interoperability Testing
Introduction to Design Patterns
Unified Modeling Language
SysML 2.0 Interface Concepts Modeling Core Team
Introduction to Unified Modeling Language (UML)
Automated Interoperability Testing
STF 454 “Design of TDL” – Status Report
STF 454 “Design of TDL” – Status Report
SysML 2.0 Concept and Needs for Visualization
STF 454 “Design of TDL” – Status Report
SAD ::: Spring 2018 Sabbir Muhammad Saleh
TDL: The ETSI Test Description Language
2. An overview of SDMX (What is SDMX? Part I)
CS310 Software Engineering Dr.Doaa Sami
Input to ETSI TDL tool development
ETSI Work Item on “Test Description Language”
Software Design Lecture : 15.
TDL: The ETSI Test Description Language
ETSI TC MTS TDL SC meeting Reports
Using Use Case Diagrams
Implementing the Standardised Mapping of TDL to TTCN-3
Software Engineering System Modeling Chapter 5 (Part 1) Dr.Doaa Sami
Visual Modeling Using Rational Rose
Overview of the ETSI Test Description Language
TDL and TOP Development at MTS
ETSI TC MTS TDL SC meeting Reports
Chapter 22 Object-Oriented Systems Analysis and Design and UML
ETSI TC MTS TDL SC meeting Reports
TDL: The ETSI Test Description Language
STF 454 TDL – Overview Last change:
SysML 2.0 Interface Concepts Modeling Core Team
PASSI (Process for Agent Societies Specification and Implementation)
TDL and TOP Development at MTS
Uml diagrams In ooad.
ETSI MTS#76 Meeting 23-Jan-2019
Software Development Process Using UML Recap
UML Design for an Automated Registration System
Introduction to TDL and TOP
Software Architecture & Design
Presentation transcript:

Overview of the ETSI Test Description Language Andreas Ulrich (Rapporteur) Siemens AG andreas.ulrich@siemens.com © ETSI 2012. All rights reserved 2nd MBT User Conference 2012 Tallinn, Estonia September 25–27, 2012

2nd MBTUC 2012, Tallinn, Estonia Overview What can I do with TDL? What are the concepts behind TDL? How does TDL compare to other approaches? How does TDL look like to users? What comes next? 2nd MBTUC 2012, Tallinn, Estonia

2nd MBTUC 2012, Tallinn, Estonia What can I do with TDL? 2nd MBTUC 2012, Tallinn, Estonia

2nd MBTUC 2012, Tallinn, Estonia Purpose of TDL Scope Black-box testing of distributed communicating real-time systems Design/representation of test descriptions before implementing them Using different representation syntaxes Indifferent to application domains Telecommunication / automotive / avionics / automation / others Application scenarios Manual specification of tests from use cases, user stories etc. Intermediate representation of automatically generated tests Representing output from MBT tools Generation of Executable tests Test documentation Visualization of test logs 2nd MBTUC 2012, Tallinn, Estonia

An Application Scenario Example for TDL Test Purpose Spec (ExTRA) System Model (State Chart) Automatic Test Case Generation Manual Derivation In Syntax #1 Test Description (TDL) Test Documentation (MS Word) Generation In Syntax #2 Automatic Code Generation Executable Tests (TTCN-3) 2nd MBTUC 2012, Tallinn, Estonia

2nd MBTUC 2012, Tallinn, Estonia TDL Specifies… Interactions between SUT/tester at observable interfaces (only) System inputs/outputs: messages, calls, signals Expected flow of interactions Sequential, alternative, concurrent, recurrent behavior, etc. Mock-up (default) behavior, others Timing constraints System response time (system in/out, out/out constraints) Tester reaction time (system out/in constraints) Abstract test data Relevant values Constraints on test data, i.e. ranges or intervals Parameterization of test descriptions 2nd MBTUC 2012, Tallinn, Estonia

What are the concepts behind TDL? 2nd MBTUC 2012, Tallinn, Estonia

Ingredients of a Software Language Abstract Syntax (abstract syntax graph, meta-model) Concrete Syntax (syntax tree, BNF grammar) Semantics (transitional or operational sem.) 2nd MBTUC 2012, Tallinn, Estonia

2nd MBTUC 2012, Tallinn, Estonia Coverage by TDL Abstract Syntax Standardized, incl. extension capabilities Concrete Syntax At least one standardized representation Semantics Standardized 2nd MBTUC 2012, Tallinn, Estonia

2nd MBTUC 2012, Tallinn, Estonia Using TDL Static analysis Consistency checks, visualization Common TDL meta-model Test concepts expressed in a single abstract syntax Test generation Transformation Abstract test descriptions Various user-defined syntaxes, e.g. graphical, tabular, textual Executable tests Various test environments and languages, e.g. TTCN-3, C# 2nd MBTUC 2012, Tallinn, Estonia

TDL is Adjustable by User TDL concrete syntax may cover only parts of the meta-model TDL meta-model can be extended by a user if need arises User extensions of the TDL meta-model can be subjected to further TDL standardization and maintenance Extends Partially implements User-defined concrete syntax TDL meta-model w/ user extensions 2nd MBTUC 2012, Tallinn, Estonia

How does TDL look like to users? 2nd MBTUC 2012, Tallinn, Estonia

Examples in Possible TDL Concrete Syntax Sequential test with multiple SUT ports Structured test with default behavior Note: Examples only, concrete syntax is definable by user! 2nd MBTUC 2012, Tallinn, Estonia

Examples in Possible TDL Concrete Syntax A concurrent test in graphical and textual notation testdescription joinTD() { UCAROL ! join(Carol, room1); par { { BOB ? joinPDU(Carol, ?); BOB ! joinPDU(Bob, room1) }, { ALICE ? joinPDU(Carol, ?); ALICE ! joinPDU(Alice, room1) } }; UCAROL ? joined() } A test scenario model Note: Examples only, concrete syntax is definable by user! 2nd MBTUC 2012, Tallinn, Estonia

How does TDL compare to other approaches? 2nd MBTUC 2012, Tallinn, Estonia

TDL vs. UML Testing Profile UTP Focus on test descriptions of tester/SUT interactions Various concrete syntaxes Common meta-model with semantics fosters reuse of tests and tools Amendable to user’s needs – extension, reduction of scope Wide scope inherited from UML, covers all kinds of test modeling Graphical language Tool-specific solutions, models hardly transferrable Captures not all needs, further profiles needed, e.g. MARTE The semantic fuzz of UML 2nd MBTUC 2012, Tallinn, Estonia

2nd MBTUC 2012, Tallinn, Estonia TDL vs. TTCN-3 TDL TTCN-3 Abstract test specification level – low level of detail Captures requirements on a tester w.r.t. SUT behavior Leaves room for various tester code generation strategies Lower test execution level – high level of detail Detailed tester implementation, incl. tester internal behavior Captures the user intension of an executable tester 2nd MBTUC 2012, Tallinn, Estonia

2nd MBTUC 2012, Tallinn, Estonia Business Value of TDL Support to test design before rushing to test code Better quality of tests Higher productivity in testing Common meta-model for all kind of tests descriptions Enabled development of specialized tools for Generation of executable test code using different strategies Test documentation and visualization Analysis of test descriptions Offers a way to exchange test descriptions Support for customized test languages (concrete TDL syntax) Graphical, Textual, Tabular representation of tests 2nd MBTUC 2012, Tallinn, Estonia

2nd MBTUC 2012, Tallinn, Estonia What comes next? 2nd MBTUC 2012, Tallinn, Estonia

2nd MBTUC 2012, Tallinn, Estonia Status & Outlook Achievements so far Identification of the purpose and business value of TDL Collection of related work Discussion on TDL features Next steps First draft of TDL covering core features Definition of the TDL meta-model Validation of TDL in a reference implementation  Make a stable draft of the ETSI standard on TDL available in 2013! Do you want to join? 2nd MBTUC 2012, Tallinn, Estonia

2nd MBTUC 2012, Tallinn, Estonia Acknowledgments So far, the TDL initiative has attracted quickly 30+ persons and different organisations from industry, tool providers, and research from inside and outside of ETSI. The rapporteur of this activity is thankful for the many stimulating and controversial discussions by various people to lay out the cornerstones of TDL! Siemens AG acknowledges partial funding of this activity from the ARTEMIS Joint Undertaking, grant agreement no. 269335 and the German BMBF. 2nd MBTUC 2012, Tallinn, Estonia

Thank you! Your questions?