TDL. bridging the gap between specifications and testing. Dr. Gusztáv Adamis Dr. GyÖrgy réthy Ericsson Hungary Test Solutions and Competence Center

Similar documents
THE ETSI TEST DESCRIPTION LANGUAGE (TDL)

Introducing MBT to Standardization. ETSI All rights reserved

Different levels of Interoperability

Modeling Requirements

STF 476: TDL Phase 2. Status Report. ETSI All rights reserved

Ingegneria del Software Corso di Laurea in Informatica per il Management. Introduction to UML

APPLYING TDL IN PRACTICE

STF 492: TDL Phase 3. Status Report. ETSI All rights reserved

TECHNICAL REPORT Methods for Testing and Specification (MTS); The Test Description Language (TDL); Reference Implementation

IMS networks PSTN/ISDN simulation services conformance testing using ETSI standardized test suites and commercial TTCN-3 test tools

Future Directions for SysML v2 INCOSE IW MBSE Workshop January 28, 2017

LTE test suites for UE conformance

V&V: Model-based testing

ETSI Experiences in Testing and Interoperability

Modelling in Enterprise Architecture. MSc Business Information Systems

ETSI ES V1.1.1 ( )

A Solution Based on Modeling and Code Generation for Embedded Control System

STF 492: TDL Phase 3. Status Report. ETSI All rights reserved

WHY WE NEED AN XML STANDARD FOR REPRESENTING BUSINESS RULES. Introduction. Production rules. Christian de Sainte Marie ILOG

T : Protocol Design

It s all Done with Mirrors Patterns and OCL. KMF Kent Modelling Framework D.H.Akehurst and O.Patrascoiu

UML 2.5: Specification Simplification

Modeling pilot project at Ericsson Expert Analytics

Enabling Component-Based Model Transformations with QVT. Li Dan

Outline. A little history. Outline. The Unified Modeling Language Opportunities and Challenges for Formal Methods

Object Security. Model Driven Security. Ulrich Lang, Rudolf Schreiner. Protection of Resources in Complex Distributed Systems

Information systems modeling. Tomasz Kubik

CISC836: Models in Software Development: Methods, Techniques and Tools

Computation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM):

MBT TO TTCN 3 TOOL CHAIN: THE

ETSI documents published or circulated for vote/comment in May 2018

Model driven Engineering & Model driven Architecture

Executive Summary. Round Trip Engineering of Space Systems. Change Log. Executive Summary. Visas

Advanced Topics in Software Engineering (02265) Ekkart Kindler

From Object Composition to Model Transformation with the MDA

Workshop Data Modelling [en]

Software. Test. Architecture. Dr Sigrid Eldh. Ericsson AB Stockholm, Sweden. Public Ericsson AB Page 1

ETSI STANDARD Methods for Testing and Specification (MTS); The Test Description Language (TDL); Part 3: Exchange Format

The Eclipse Modeling Framework and MDA Status and Opportunities

ISO/IEC INTERNATIONAL STANDARD. Information technology Metamodel framework for interoperability (MFI) Part 1: Reference model

All you need are models Anneke Kleppe, Klasse Objecten

The Specifications Exchange Service of an RM-ODP Framework

Institute of Automatics AGH University of Science and Technology, POLAND. Hybrid Knowledge Engineering.

Practical Model-based Testing With Papyrus and RT-Tester

02291: System Integration

This paper is more intended to set up a basis for a constructive discussion than to offer definitive answers and closed solutions.

MOF 2.0 IDL CORBA Components based Repositories

Towards Formalizing Domain-specific Modeling Languages. Kai Chen Janos Sztipanovits Sandeep Neema

Semantic Web Domain Knowledge Representation Using Software Engineering Modeling Technique

A Comparison of Ecore and GOPPRR through an Information System Meta Modeling Approach

Modellierung operationaler Aspekte von Systemarchitekturen. Master Thesis presentation. October 2005 March Mirko Bleyh - Medieninformatik

Comparing graphical DSL editors

An introduction to MOF MetaObject Facility.

Acceleo Galileo Simultaneous Release

Modelling Constraints

On the Standardization of Conformance Tests for Communicating Systems. State of the Art and Future Trends. Prof. Dr.

Model Transformations for Embedded System Design and Virtual Platforms

Automated Test Design with TTCN-3

Introduction to OpenArchitectureWare

Construction of Complex UML Profiles

ECLIPSE MODELING PROJECT

ETSI SPECIFICATION Methods for Testing and Specification (MTS); The Test Description Language (TDL)

Model-Driven Engineering (MDE) Lecture 1: Metamodels and Xtext Regina Hebig, Thorsten Berger

ETSI CENTRE OF TESTING & INTEROPERABILITY JANUARY 2011

Wikileaking Eclipse Modeling - Spilling the beans on how industry uses EMF based tooling successfully! Ronan Barrett, Ericsson

Metamodeling. Janos Sztipanovits ISIS, Vanderbilt University

Compositional Model Based Software Development

Design and Prototypical Implementation of a Pivot Model as Exchange Format for Models and Metamodels in a QVT/OCL Development Environment

Kermeta tutorial. How to create a metamodel. François Tanguy, Didier Vojtisek. Abstract

ATHABASCA UNIVERSITY RULE ENHANCED BUSINESS PROCESS MODELING OF SERVICE ORIENTED ARCHITECTURES LUIS ROCHA. A project submitted in partial fulfillment

Christian Doppler Laboratory

Constraint-enabled Process Modeling. Conrad Bock U.S. National Institute of Standards and Technology November 20, 2007

SCENTOR: Scenario-Based Testing of E-Business Applications

RDF and Digital Libraries

The Model-Driven Semantic Web Emerging Standards & Technologies

Eclipse Automotive Working Group

CWM: Model Driven Architecture

Better Metadata Management through Better Metamodels

Model Querying with Graphical Notation of QVT Relations

White Paper on RFP II: Abstract Syntax Tree Meta-Model

Possibility of SystemC code generation from SDL specication

Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007

EATOP: An EAST-ADL Tool Platform for Eclipse

UML Semantics FAQ. ECOOP 99 Workshop Proposal

ETSI and GRID Standardisation. Mike Fisher, BT ETSI TC GRID Chair. 23 October 2006 ITU-T/OGF Workshop on Next Generation Networks and Grids

Papyrus: Advent of an Open Source IME at Eclipse (Redux)

A Framework for Testing AIS Implementations

Challenges for advanced domain-specific modeling. István Ráth. Budapest University of Technology and Economics

Preserving Non-essential Information Related to the Presentation of a Language Instance. Terje Gjøsæter and Andreas Prinz

Towards Multi-Perspective Modeling with BPMN

ROLE OF OCL AND ITS SUPPORTING TOOLS IN REQUIREMENT SPECIFICATION

METADATA INTERCHANGE IN SERVICE BASED ARCHITECTURE

IOT-TESTWARE AN ECLIPSE PROJECT

Sequence Diagram Generation with Model Transformation Technology

MODEL BASED TESTING AND COVERAGE OF XML REQUIREMENTS Presented by Abderrazek Boufahja

* Corresponding Author

SUMMARY: MODEL DRIVEN SECURITY

A universal PNML Tool. Lukasz Zoglowek

Content Mirroring in EPiServer

1Z0-560 Oracle Unified Business Process Management Suite 11g Essentials

Transcription:

TDL bridging the gap between specifications and testing Dr. Gusztáv Adamis Dr. GyÖrgy réthy Ericsson Hungary Test Solutions and Competence Center

Contents Problem definition TDL - the new ETSI test language Role of TDL in testing Activities on TDL Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 2

Test Development Manual workflow Requirement and System specification Feature description, IW Description etc. Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 3

Test Development Manual workflow Test design Done at the test execution language level Test cases API (product specific) Test Framework Test tool (IDE, execution environment) Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 4

Abstraction Gap Requirement management/ system specification Test design/execution Test cases Test Framework Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 5

Test Development MBT workflow Orig FSM public void reselec.on(string p_legid) { vg_sip_parameters.withoutringing = true; mgcfdialog = new SIPCallTerm(mgcfOut, mgcfin); mgcfdialog.legid = "mgcf1"; mgcfdialog.teardown = false; mgcfdialog.start("mgcf1"); if (vg_e_params.mgcf2behavior == "serviceunavailable") mgcfdialog.finalresp = 503; } Test harness in destination language, e.g. Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 6

The Abstraction Gap MBT requires knowledge on Modeling level Programming level Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 7

We need a language that Can describe the test cases Both generated and manually designed at the abstraction level of the model Can be used also by nonprogrammers Enables incremental development Standardised From system specification to test case design level Can be used by different tools Has a graphical representation TDL Test Description Language Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 8

TDL Meta-model Well-defined language constructs UML MOF-based description OCL constraints Makes it possible to develop different domainspecific concrete syntaxes Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 9

Structure of TDL Test Data TDL meta-model Time, Timers Foundation Data Time Test Configuration Test Configuration Test Behaviour Test Behaviour Test Description Test Behaviour Elements Test Objective Including test-specific constructs, like alternative default verdict Test Objectives Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 10

TDL Graphical Syntax Standardised by ETSI Similar approach to UML SD But new symbols to new constructs Graphical symbols Formal description of the contained text Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 11

TDL Graphical Syntax Data Specification Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 12

TDL Graphical Syntax Test Configuration Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 13

TDL Graphical Syntax Test Behaviour Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 14

Transfer Syntax Goals: Interoperability between tools Interoperability between different concrete syntaxes XMI (XML Metadata Interchange) To serialize the meta-model Syntactical check possible Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 15

Incremental Design UE Network Connection Establishment Data Transfer Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 16

Incremental Design UE Network Request Accept Data Transfer Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 17

Incremental Design UE Network Request (ID:=1, Type:=Voice) Accept (ID:=1) Data Transfer Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 18

Incremental Design UE Network Request (ID:=1, Type:=Voice) Accept (ID:=1) Deny Data Transfer Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 19

Incremental Design UE Network Data Resource Mapping TTCN_Data ResourceURI Data.ttcn Request (ID:=1, Type:=Voice) Accept (ID:=1) Deny Data Transfer Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 20

Incremental Design UE Node 1 Node 2 Data Resource Mapping TTCN_Data ResourceURI Data.ttcn Request (ID:=1, Type:=Voice) Accept (ID:=1) Deny Request (Type:=Voice) OK NOK Data Transfer Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 21

TDL in Test development http://tdl.etsi.org/index.php/about/introduction Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 22

Activities on TDL At ETSI: Latest versions of TDL standards are published in 05/2016 See more at http://tdl.etsi.org Tool Prototypes (will be open sourced) Reference TDL-GR viewer TDL XMI -> TDL GR Papyrus-based TDL editor TDL -> UML mapping Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 23

Activities on TDL At Ericsson TCC: Participation in all ETSI TDL activities Language development projects (STFs Specialized Task Force) TB MTS (approving the TDL standards and TDL STF requests) TDL Steering Group Prototype TDL GR editor integrated into Intuitive tool Working on TDL -> TTCN-3 M2M transformation With cooperation of Budapest University of Technology and Economics - Mapping of TDL to TTCN-3 - Prototype tool - The coming new ETSI STF will standardize the mapping Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 24

Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 25 and

Ericsson Modeling Days 2016 Ericsson AB 2016 2016-09-13 Page 26