THE ETSI TEST DESCRIPTION LANGUAGE (TDL)

Similar documents
Introducing MBT to Standardization. ETSI All rights reserved

A scenario-based test approach for testing reactive concurrent systems

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

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

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

APPLYING TDL IN PRACTICE

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

Harmonizing System Development and Test Development with MDA

DO WE NEED TEST SPECIFICATION LANGUAGES?!

V&V: Model-based testing

APPROACHES TO AUTOMATED TEST IMPLEMENTATION IN MODEL DRIVEN TEST AUTOMATION ARCHITECTURES

The learning objectives of this chapter are the followings. At the end of this chapter, you shall

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

Applied Formal Methods - From CSP to Executable Hybrid Specifications

AADL Requirements Annex Review

Interoperability in Aerospace Public Use Case of CRYSTAL project

Test Architect A Key Role defined by Siemens

Automated generation of TTCN-3 test scripts for SIP-based calls

Model Transformers for Test Generation from System Models

AN EFFICIENT APPROACH FOR MODEL- BASED TESTING: SIEMENS USE CASE IN THE MBAT EUROPEAN PROJECT

Architecture of models in testing how models of various abstraction levels relate to each other

ETSI ES V1.1.1 ( )

A UML 2 Profile for Variability Models and their Dependency to Business Processes

ISO compliant verification of functional requirements in the model-based software development process

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

Successful Test Automation without Coding. Marc J. Balcer Chief Architect Model Compilers

DEFINITION OF A PILOT TEST PLAN FOR COOPERATION OF AGRICULTURE EQUIPMENT WITH ONEM2M AND C-ITS

Sequence Diagrams. Massimo Felici. Massimo Felici Sequence Diagrams c

ON THE DESIGN OF THE NEW TESTING LANGUAGE TTCN-3

PAPYRUS TOOL SUPPORT FOR FMI

Practical Model-based Testing With Papyrus and RT-Tester

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

SoberIT Software Business and Engineering Institute. SoberIT Software Business and Engineering Institute. Contents

Soumya Kanti Datta Research Engineer

TOWARDS THE THIRD EDITION OF TTCN

RDF and Digital Libraries

REPROTOOL Workflow (Textual documents in SW development) D3S Seminar

Grammars. Prof. Andreas Prinz. Introduction, Compilers. Examples Meta-models vs. Grammars Summary

Object-Interaction Diagrams: Sequence Diagrams UML

Enabling Flexibility in Process-Aware

The etrice Eclipse Project Proposal

Guidelines for generic UI elements: extension for 3G mobile devices, services and applications

An overview on the. version 3 (TTCN-3)

Technischer Bericht. TRex The Refactoring and Metrics Tool for TTCN-3 Test Specifications

TTCN3 in Wireless Testing Eco Space

Semantics-Based Integration of Embedded Systems Models

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

PragmaDev. change request. Emmanuel Gaudin. PragmaDev ITU-T SG17 change request Grimstad June 24,

Automated Fault Identification (STATUS REPORT)

Seventh Framework Programme ICT Information and Communication Technology. Tagging Tool based on a Semantic Discovery Framework

Dictionary Driven Exchange Content Assembly Blueprints

The UML Extension Mechanisms

Improving the Quality of Test Suites for Conformance. Tests by Using Message Sequence Charts. Abstract

TTCN (Testing and Test Control Notation) A standard test specification and implementation language. Contents

02291: System Integration

Microsoft. Recertification for MCSD: Application Lifecycle Management

Unifying Carrier and Cloud Networks: Problem Statement and Challenges draft-unify-nfvrg-challenges-02

Reverse Engineering Models from Traces to Validate Distributed Systems An Industrial Case Study

Automated Test Design with TTCN-3

Integrating Model-Based Testing and Analysis Tools via Test Case Exchange

ACHIEVING INTEROPERABLE STANDARDS -THE ETSI APPROACH. Anthony Wiles Director Centre for Testing and Interoperability (CTI)

IOT-TESTWARE AN ECLIPSE PROJECT

Behaviour-Driven Development of Foundational UML Components

System-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex)

Designing a System Engineering Environment in a structured way

Chapter 7. Modular Refactoring. 7.1 Introduction to Modular Refactoring

Ensuring Interoperability with Automated Interoperability Testing

What s new in ASAM AE HIL API V1.0.0?

REACTIVE TEST OF EMBEDDED SYSTEMS USING MODELS

AN INTRODUCTION TO TTCN-3. Axel Rennoch TestingStage, Kiev, April 14, 2018

Development, testing and quality assurance report

EXECUTABLE MODELING WITH FUML AND ALF IN PAPYRUS: TOOLING AND EXPERIMENTS

Effizientere IT-Sicherheitstests mit Hilfe von Usage-based Testing

FRONT-END SOFTWARE ARCHITECTURE [FESA]

ETSI CENTRE OF TESTING & INTEROPERABILITY JANUARY 2011

Are functional languages a good way to represent productive meta models?

OMG SPECIFICATION DEVELOPMENT USING PAPYRUS (AND OTHER ECLIPSE TOOLING)

Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models

Sketch-based Metamodel Construction. Research Internship II Lucas Heer

Two hours. Appendices A and B are located at the back of the exam UNIVERSITY OF MANCHESTER SCHOOL OF COMPUTER SCIENCE

PROOF OF CONCEPT FOR MODEL-BASED TESTING OF IEC SMART GRID USING TTCN-3 & UML

Specifying Precise Use Cases with Use Case Charts

AN AGILE MDA APPROACH FOR EXECUTABLE UML STRUCTURED ACTIVITIES

Part 1.3 Modal I/O Transition Systems as Semantics of UML4SOA

A PROPOSAL FOR MODELING THE CONTROL SYSTEM FOR THE SPANISH LIGHT SOURCE IN UML

Alcatel-Lucent Enterprise Model Based Testing applied to Video Testing. Michel SUHR ETSI MBT User Conference Berlin October

An Approach for the Semi-automated Derivation of UML Interaction Models from Scenario-based Runtime Tests

Self-Controlling Architecture Structured Agents

Development of a new security architecture for signalling at DB Netz AG Intelligent Rail Summit 2017

Software Engineering with Objects and Components Open Issues and Course Summary

Model Based Software Testing GOTCHA-TCBeans AGEDIS

Business Process Modelling & Semantic Web Services

Software Architecture

Web Services Annotation and Reasoning

Weaving Variability into Domain Metamodels

From Models to Components. Rapid Service Creation with

From Scenarios to Test Implementations via Promela

Topics. Software Process. Agile. Requirements. Basic Design. Modular Design. Design Patterns. Testing. Quality. Refactoring.

Time Tested. Testing Improved. The Materials

How Can a Tester Cope With the Fast Paced Iterative/Incremental Process?

Transcription:

THE ETSI TEST DESCRIPTION LANGUAGE (TDL) Results from the ETSI project STF 454 A. Ulrich, G. Adamis, F. Kristoffersen, Ph. Makedonski, M.-F. Wendland, A. Wiles

Outline Motivation and introduction Design principles An example Conclusions, next steps 2

MOTIVATION AND INTRODUCTION 3

Validating Complex Systems Engineered systems become more and more complex Complex design ( system of systems) Complex behavior ( real-time) Complex data ( big data) Validation and testing need to cope with complexity Proper modeling techniques Proper test automation Proper fault analysis techniques Intelligent Transport Systems ETSI 4

Software Development Turns Agile An agile process follows different approaches Story/feature driven modeling Test driven development, etc. Leads to scenario-based approach in testing Describe a scenario of interacting with the system Define test objectives from requirements and connect them to scenarios Derive tests from scenarios and automate them User System 5

TDL Addresses Needs from Practice TDL for testing reactive distributed real-time systems Provides common black-box testing concepts Adjustable to domain-specific needs Supporting agile testing process TDL is standardized Clear semantics Interoperability of tools and test specifications Maintained and kept updated with user needs TDL use cases Manual specification of tests for functional/conformance/interoperability testing Representing tests from other sources, e.g. output from MBT test generators Documentation of tests 6

DESIGN PRINCIPLES 7

ETSI Standards on TDL Design ETSI ES 203 119-1 (2014) ETSI ES 203 119-2,-3 (2015) Abstract Syntax (UML based meta-model) Standardized Concrete Syntax Defined by user & standardized (graphical + exchange) Semantics (currently informal) Standardized 8

TDL is Adjustable by User Concrete syntax may cover only parts of the meta-model Meta-model can be extended by a user if need arises User extensions of the meta-model can be subjected to further TDL standardization and maintenance Extends Partially implements User-defined TDL concrete syntax TDL meta-model with user extensions 9

Key elements of a TDL specification Test configuration Set of interacting components in the roles Tester or SUT Test description Represents the expected foreseeable (passing) behaviour, i.e. any deviation is a fail Expresses a test in terms of interactions of data exchanged between tester and SUT components Interactions are totally ordered, i.e. they are implicitly synchronized among components Test data Represented as abstract name tuples 10

TDL Meta-Model Overview Structure of TDL specification Tester and SUT components, test configuration Types and data for interactions Concepts for time and time constraints Structure of test description Behavioral elements, e.g. seq, alt, par, loop Tracing of test objectives to elements of a test descr. 11 ETSI 2011. All rights reserved

AN EXAMPLE 12

Example: Scenario on a Rail Interlocking System (Siemens, MBAT) Test Configuration Test Description 13

Generated Editor for Textual TDL Specifications (EMFText) Interrupting interactions Sequence of blocks Sequence of interactions (Partial) TDL Concrete Syntax 14

CONCLUSIONS, NEXT STEPS 15

Conclusions, Next Steps TDL meta-model is available currently as an ETSI draft standard Further validation of the meta-model necessary Final draft for publication planned for January 2014 Next steps Design of concrete syntaxes (graphical + exchange format) Getting tool support: editors, analyzers, test generators Further refinement of the TDL meta-model Extend TDL to support test automation Extensions to ensure executability Composition of test descriptions User story models 16

Team & Acknowledgement Team Andreas Ulrich, Siemens AG, andreas.ulrich@siemens.com (STF lead) Gusztáv Adamis, Ericsson, Gusztav.Adamis@ericsson.com Finn Kristoffersen, Cinderella, finn@cinderella.dk Philip Makedonski, U Göttingen, makedonski@informatik.uni-goettingen.de Marc-Florian Wendland, FhG FOKUS, marc-florian.wendland@fokus.fraunhofer.de Anthony Wiles, ETSI CTI, Anthony.Wiles@ETSI.ORG Acknowledgement A. Ulrich, Siemens AG acknowledges partial funding of this activity from the ARTEMIS Joint Undertaking, grant agreement no. 269335 (MBAT) and the German BMBF. 17