SlideShare une entreprise Scribd logo
1  sur  33
Télécharger pour lire hors ligne
ADVANCED TEST MODELLING AND EXECUTION 
BASED ON THE INTERNATIONAL STANDARDIZED 
TECHNIQUES TTCN-3 AND UTP 
Axel Rennoch, Marc-Florian Wendland, Andreas Hoffmann 
ISCTCS, Beijing, 28. November 2014
2 
CONTENTS 
 TTCN-3 
 Concepts 
 Tools 
 Applications: 
 Industrial domains 
 Model-based testing 
 UML testing profile 
 Conclusion
3 
CONTENTS 
 TTCN-3 
 Concepts 
 Tools 
 Applications: 
 Industrial domains 
 Model-based testing 
 UML testing profile 
 Conclusion
4 
TESTING TODAY 
Is 
 Important for QA 
 Expensive (costs!) 
 Time critical 
But 
 Only rarely practiced 
 Unsystematic 
 Performed by hand 
 Error-prone 
 Uncool („If you are a bad programmer you might be a tester.“) 
 Destructive
5 
IDEA & DESIGN PRINCIPLES OF TTCN-3 
One test technology for different tests 
 Distributed, platform-independent testing 
 Integrated graphical test development, 
-documentation and –analysis 
 Adaptable, open test environment 
Areas of Testing 
 Regression Testing 
 Conformance and Functionality Testing 
 Interoperability and Integration Testing 
 Load/ Stress Testing
6 
TTCN-3 MULTIPART-STANDARD 
ETSI ES 201 873-1 TTCN-3 Core Language (CL) 
ETSI ES 201 873-2 TTCN-3 Tabular Presentation Format (TFT) 
ETSI ES 201 873-3 TTCN-3 Graphical Presentation Format (GFT) 
ETSI ES 201 873-4 TTCN-3 Operational Semantics 
ETSI ES 201 873-5 TTCN-3 Runtime Interface (TRI) 
ETSI ES 201 873-6 TTCN-3 Control Interfaces (TCI) 
ETSI ES 201 873-7 Integration of ASN.1 
ETSI ES 201 873-8 Integration of IDL 
ETSI ES 201 873-9 Integration of XML 
ETSI ES 201 873-10 T3Doc 
ETSI ES 201 873-11 Using JSON with TTCN-3 (under development!) 
Standard available for free download at http://www.ttcn-3.org
7 
WHAT IS TTCN-3? 
 Testing and Test Control Notation 
 Internationally standardized testing language for formally defining test 
scenarios. Designed purely for testing 
testcase Hello_Bob () { 
p.send(“How do you do?“); 
alt { 
[]p.receive(“Fine!“); 
BUPT 2014, Slide 7 
{setverdict( pass )}; 
[else] 
{setverdict( inconc )} //Bob asleep! 
} 
}
8 
TTCN-3 EXECUTION 
testcase Hello_Bob () { 
p.send(“How do you do?“); 
alt { 
[]p.receive(“Fine!“); 
{setverdict( pass )}; 
[else] 
{setverdict( inconc )} //Bob asleep! 
} 
} 
SUT 
System 
Tester 
TTCN-3 
API / Communication 
API / Network
9 
TTCN-3 IS DESIGNED FOR BLACK-BOX TESTING 
TTCN-3 Test Case 
Port.send(Stimulus) Port.receive(Response) 
Port 
System Under Test 
• Assignment 
of a 
Test Verdict
10 
MAJOR LANGUAGE ELEMENTS OF TTCN-3 NOTATION 
module definitions 
Imports Importing definitions from other modules defined in 
TTCN-3 or other languages 
Data Types User defined data types (messages, PDUs, 
information elements, …) 
Test Data Test data transmitted/expected during test 
execution (templates, values) 
Test Configuration Definition of the test components and 
communication ports 
Test Behavior Specification of the dynamic test behavior
11 
TYPICAL LANGUAGE ELEMENTS: 
Type definitions: boolean, integer, float, bitstring, charstring, 
octectstring, hexstring, record, set, enumeration, union 
Programming constucts: 
 message: send/receive 
 procedure: call/getcall, reply/getreply, raise/catch 
 if-then-else, loops: for, while, do-while, functions, alternatives 
 component/port/timer control 
Predefined functions: type conversion, lengthof (string), sizeof 
(records), … 
Overview: e.g. TTCN-3 Quick Reference Card
12 
CONTENTS 
 TTCN-3 
 Concepts 
 Tools 
 Applications: 
 Industrial domains 
 Model-based testing 
 UML testing profile 
 Conclusion
13 
COMMERCIAL TTCN-3 TOOLS (SOURCE: WWW.TTCN-3.ORG) 
TTCN-3 Compilers and Interpreters 
 Exhaustif/TTCN: compiler (C++) produced by Métodos y Tecnología (MTP), Spain. 
 OpenTTCN: interpreter (C, Java, C# interfaces) produced by OpenTTCN Ltd, Finland. 
 MessageMagic: compiler (C/C++, Java, C#) produced by ELVIOR, Estonia. 
 Real Time Developer Studio: modelling tool including TTCN-3 compiler by PragmaDev, France. 
 TAU Tester: compiler (C) by IBM. 
 TTCN-3 toolbox: compiler (C) by Danet Group, Germany. 
 TTCN-3 Express: compiler (C#) by Fraunhofer FIRST and Metarga GmbH, Germany. 
 TTworkbench: compiler (C, Java) by Testing Technologies, Germany. 
TTCN-3 Generators 
 Qtronic by Conformiq OY, Finland. generate complete TTCN-3 test suites from e.g., UML, Java, 
or C# models. 
 MaTeLo by All4Tec, France (TTCN-3 test suites from usage models specified using Markov 
chains). 
 MOTES by ELVIOR, Estonia (from the state model of the SUT)
14 
OPEN SOURCE TTCN-3 TOOLS (SOURCE: WWW.TTCN-3.ORG) 
 LoongTesting testing platform including TTCN-3 compiler and integrated development environment by 
Information Processing Center of USTC , China. 
 BBT TTCN-3 Compiler, by BroadBit, Hungary. 
 TRex: by University of Göttingen to provide IDE functionality for TTCN-3 core notation, and to support 
assessment and automatic restructuring of TTCN-3 test suites. (open-source Eclipse plug-in). 
 T3doc by Federico Engler and further developed by ETSI. for generating HTML documentation via tagged 
TTCN-3 comments. 
 Codec generator by IRISA as part of T3DevKit. It automatically generates a codec based on TTCN-3 type 
module(s), C++ codec functions. 
 T3DevLib by IRISA as part of T3DevKit. It allows the development or integration of Codec, SUT and 
Platform Adapter implementations written in C++. 
 NEW TITAN by Ericson: https://projects.eclipse.org/projects/tools.titan ! 
... and more academic prototype/research tools 
(guideline checking, quality analysis, ...)
15 
TTCN-3 DOMAINS: TELECOM 
Industrial use 
 Big companies with hundreds of TTCN-3 engineers: Ericson, Nokia, Siemens, 
Motorola 
 large distribution among SME 
Standardization bodies 
 standardized test suites: 
ETSI / 3GPP (LTE!)/ OMA / TETRA and its members 
 IMS performance benchmark project: 
Intel, HP, BT, FOKUS and others 
Test tool manufacturer: 
 Commercial Tektronix, Catapult, Nexus, R&S, Spirent, … 
 Open source community projects: NEW: TITAN from Ericson 
Certification program based on TTCN-3: e.g. WiMax forum
Amplifier 
/ Tuner 
16 
TTCN-3 DOMAINS: AUTOMOTIVE 
Car communication systems 
 Daimler, Volkswagen, SiemensVDO 
 edutainment bus system (test suite) 
Standardization groups: 
 AUTOSAR consortium 
 MOST cooperation 
Car-to-car communication 
Telematics Applications in the Cockpit 
• Audio (CD / Radio), Video 
• Telephone, SMS 
• Navigation 
• Speech recognition 
• User interface for 
body electronic 
Head Unit 
loudness 
playCDTitle 
Test cases: 
MOST Bus 
Tester 
Speaker 
CD 
Changer
17 
TTCN-3 DOMAINS: OTHER DOMAINS 
Medicine 
 SiemensMED (image processing) 
 HL7 eHealth protocols (Interoperability) 
Power transmission and distribution: 
 SiemensPTD (safe and reliable energy system) 
Financial data warehouse: 
 International bank (functional / regression testing) 
Avionics 
 European Space Agency 
Railways 
 Dutch railways (TT-Medal project)
18 
18 
TTCN-3 IN MBT 
 TTCN-3 is used in several domains as binding link 
between modelling and execution 
 Commercial tools do generate 
TTCN-3 code for test execution 
 lots of academic prototype tools 
 selection of industrial case studies: 
e.g. European MIDAS project 
 pilots in SOA testing automation
19 
ADVANCED PILIOTS: EUROPEAN PROJECT MIDAS 
 Automated testing of Services architectures 
 available as a Software as a Service (SaaS) on a 
Cloud infrastructure 
 spans all activities: test generation, execution,… 
 relies on standardized TTCN-3 and UTP 
 More information online www.midas-project.eu
20 
TTCN-3 APPLICATIONS: VARIOUS INDUSTRIAL DOMAINS 
Objective: 
• To develop an efficient test platform fulfilling industrial testing requirements 
• To execute high-level test models, e.g. UML testing profile 
 
Industrial Testing 
Requirements 
Automotive 
Mobile 
Communication 
... 
UML 2.0 
Testing Profile 
Embedded System Design 
Systems 
Avionics 
Railway Systems 
TTCN-3 Test Design 
An efficient test platform 
Methods, Tools, Guidelines 
Test 
Results 
Approach
21 
CONTENTS 
 TTCN-3 
 Concepts 
 Tools 
 Applications: 
 Industrial domains 
 Model-based testing 
 UML testing profile 
 Conclusion
22 
UML TESTING PROFILE (UTP) 
 Standard by the Object Management Group: 
Version 1.0 (2004), current version 1.2 (2013), new draft version 2.0 (May 2014) 
 Profile of UML version 2: 
Industrial standard for (graphical) modeling of Test architectures, behavior and 
data. 
 Conceptual Model: 
Test context, cases, objectives, data, configuration, arbitration &verdicts, logs 
 UTP library: 
predefined types and values (e.g. ISO 25010 Quality model, ISTQB Test levels) 
 Extras: 
Mapping to TTCN-3 
23 
UTP MAJOR USE 
 Domain-independent test modeling for dynamic testing approaches: 
 Test environments, test configurations, test case specifications 
(including test case derivation), test data specifications/values 
 Test evaluation, i.e., managing and visualization of test results 
 Integration of best practices 
such as keyword-driven testing, equivalence class testing, etc. 
 Combination with other UML profiles (e.g., SysML, MARTE, SoaML) 
 E.g. to achieve requirements traceability, …
24 
UTP TOOL SUPPORT: FOKUS!MBT
25 
CONTENTS 
 TTCN-3 
 Concepts 
 Tools 
 Applications: 
 Industrial domains 
 Model-based testing 
 UML testing profile 
 Conclusion
26 
TTCN-3 INNOVATIONS / BENEFITS 
TTCN-3 as standardized test language and implementation 
Easy (human readable) description of test scenarios 
 free from programming issues, 
(transparent framework for end-customers) 
 platform and tool vendor independence 
 different presentation formats 
Clear separation of testing issues: 
 test configuration, data and behaviour 
 SUT specific adaptation and codec
27 
CONCLUSIONS: TTCN-3 
1992 – today, long history and great value 
Wide range of applicability 
 different communication paradigms, testing types 
 domains: Telecom, Automotive, Medicine, Finance, Railways, 
Avionics… 
 used in research and industry 
Creates International community, expertise, commercial and open 
source tools 
TTCN-3 is established and in well accepted for the future
28 
CONCLUSIONS: UML TESTING PROFILE 
2004 – today, shorter history, innovative 
Wide range of applicability 
 different communication paradigms, testing types 
 All domains 
 used in research and industry 
Industrial and academic users, expertise, but less tools 
Recently UTP becomes more well-known and accepted
29 
SUMMARY 
TTCN-3 and UTP 
- international Standards for testing 
- allow abstract definitions for testing 
- accepted in research and industry 
- Tool support 
- UML -> UTP -> TTCN-3 
- important for (standardized) quality assurance 
- please have closer look to TTCN-3 and UTP
30 
TTCN-3 SOURCES 
Online information 
 www.ttcn-3.org 
TTCN-3 User Conference 
 2014 in Munich, Germany 
TTCN-3 Standards, Papers, Book 
 http://www.ttcn.de/ 
Quick Reference 
 http://www.blukaktus.com/ 
Exercises and Tooling 
 research licenses
31 
UTP SOURCES 
Online information 
 http://www.fokusmbt.com 
MBT User Conference 
 2014 in Munich, Germany 
UTP Standards 
 http://utp.omg.org/ 
MDT/UTP Book 
 http://www.springer.com 
Exercises and Tooling 
 research licenses
32 
Thank you 
for your attention! 
www.fokus.fraunhofer.de 
(System Quality Center)
33 
CONTACT 
Fraunhofer FOKUS 
Kaiserin-Augusta-Allee 31 
10589 Berlin, Germany 
www.fokus.fraunhofer.de 
Axel Rennoch 
Project Manager 
axel.rennoch@fokus.fraunhofer.de 
Phone +49 30 3463-7344

Contenu connexe

En vedette

TDC 2016 Floripa - Testando APIs REST com Supertest e Promises
TDC 2016 Floripa - Testando APIs REST com Supertest e PromisesTDC 2016 Floripa - Testando APIs REST com Supertest e Promises
TDC 2016 Floripa - Testando APIs REST com Supertest e PromisesStefan Teixeira
 
Ultherapy non-surgical facelift New Jersey Monmouth Middlesex county
Ultherapy non-surgical facelift New Jersey Monmouth Middlesex countyUltherapy non-surgical facelift New Jersey Monmouth Middlesex county
Ultherapy non-surgical facelift New Jersey Monmouth Middlesex countySamraGroup
 
Magazine Dedicace - Vol.1 - Mai 2011
Magazine Dedicace - Vol.1 - Mai 2011Magazine Dedicace - Vol.1 - Mai 2011
Magazine Dedicace - Vol.1 - Mai 2011Guy Boulianne
 
Paracas- Administración en Turismo y Hoteleria
Paracas- Administración en Turismo y HoteleriaParacas- Administración en Turismo y Hoteleria
Paracas- Administración en Turismo y Hoteleriaalessandra26585
 
Cacu 1230854402310081-1
Cacu 1230854402310081-1Cacu 1230854402310081-1
Cacu 1230854402310081-1jdfox98
 
Comida D Juan Antonio
Comida D Juan AntonioComida D Juan Antonio
Comida D Juan Antonioenriquegudin
 
Diseno Del Mueble Mesa De Centro Spritmod Final 1212005864121383 9
Diseno Del Mueble Mesa De Centro Spritmod Final 1212005864121383 9Diseno Del Mueble Mesa De Centro Spritmod Final 1212005864121383 9
Diseno Del Mueble Mesa De Centro Spritmod Final 1212005864121383 9fedemaderas
 
Gerd all in one 2011
Gerd all in one 2011Gerd all in one 2011
Gerd all in one 2011wykypieh
 
125 frases sintetia_2015_low
125 frases sintetia_2015_low125 frases sintetia_2015_low
125 frases sintetia_2015_lowJavier García
 
Lecture 5 cell growth phases
Lecture 5   cell growth phasesLecture 5   cell growth phases
Lecture 5 cell growth phasesSarah Aira Santos
 
Ada Byron Lovelace
Ada Byron LovelaceAda Byron Lovelace
Ada Byron LovelaceBárbara C.
 
U0 03 prediccion y comportamiento del reservorio
U0 03 prediccion y comportamiento del reservorioU0 03 prediccion y comportamiento del reservorio
U0 03 prediccion y comportamiento del reservoriorobert flores
 
Modules in ECMAScript 6.0
Modules in ECMAScript 6.0Modules in ECMAScript 6.0
Modules in ECMAScript 6.0Eyal Vardi
 
手動テストからの移行大作戦
手動テストからの移行大作戦手動テストからの移行大作戦
手動テストからの移行大作戦Satsuki Urayama
 
A Comparative Study on Carbon Nanotube MOSFET, Silicon Nanowire MOSFET and Si...
A Comparative Study on Carbon Nanotube MOSFET, Silicon Nanowire MOSFET and Si...A Comparative Study on Carbon Nanotube MOSFET, Silicon Nanowire MOSFET and Si...
A Comparative Study on Carbon Nanotube MOSFET, Silicon Nanowire MOSFET and Si...Mukit Ahmed Chowdhury
 
Abstract Art sgp power point
Abstract Art sgp power pointAbstract Art sgp power point
Abstract Art sgp power point102235
 
5â° bã¡sico lenguaje estudiante piedra del sol
5â° bã¡sico lenguaje estudiante piedra del sol5â° bã¡sico lenguaje estudiante piedra del sol
5â° bã¡sico lenguaje estudiante piedra del solCarolina Mora Neira
 

En vedette (20)

TDC 2016 Floripa - Testando APIs REST com Supertest e Promises
TDC 2016 Floripa - Testando APIs REST com Supertest e PromisesTDC 2016 Floripa - Testando APIs REST com Supertest e Promises
TDC 2016 Floripa - Testando APIs REST com Supertest e Promises
 
Ultherapy non-surgical facelift New Jersey Monmouth Middlesex county
Ultherapy non-surgical facelift New Jersey Monmouth Middlesex countyUltherapy non-surgical facelift New Jersey Monmouth Middlesex county
Ultherapy non-surgical facelift New Jersey Monmouth Middlesex county
 
Magazine Dedicace - Vol.1 - Mai 2011
Magazine Dedicace - Vol.1 - Mai 2011Magazine Dedicace - Vol.1 - Mai 2011
Magazine Dedicace - Vol.1 - Mai 2011
 
Paracas- Administración en Turismo y Hoteleria
Paracas- Administración en Turismo y HoteleriaParacas- Administración en Turismo y Hoteleria
Paracas- Administración en Turismo y Hoteleria
 
Diseña tu propio armario empotrado o vestidor
Diseña tu propio armario empotrado o vestidorDiseña tu propio armario empotrado o vestidor
Diseña tu propio armario empotrado o vestidor
 
Cacu 1230854402310081-1
Cacu 1230854402310081-1Cacu 1230854402310081-1
Cacu 1230854402310081-1
 
Comida D Juan Antonio
Comida D Juan AntonioComida D Juan Antonio
Comida D Juan Antonio
 
Diseno Del Mueble Mesa De Centro Spritmod Final 1212005864121383 9
Diseno Del Mueble Mesa De Centro Spritmod Final 1212005864121383 9Diseno Del Mueble Mesa De Centro Spritmod Final 1212005864121383 9
Diseno Del Mueble Mesa De Centro Spritmod Final 1212005864121383 9
 
Gerd all in one 2011
Gerd all in one 2011Gerd all in one 2011
Gerd all in one 2011
 
125 frases sintetia_2015_low
125 frases sintetia_2015_low125 frases sintetia_2015_low
125 frases sintetia_2015_low
 
ARS
ARSARS
ARS
 
Lecture 5 cell growth phases
Lecture 5   cell growth phasesLecture 5   cell growth phases
Lecture 5 cell growth phases
 
Ada Byron Lovelace
Ada Byron LovelaceAda Byron Lovelace
Ada Byron Lovelace
 
U0 03 prediccion y comportamiento del reservorio
U0 03 prediccion y comportamiento del reservorioU0 03 prediccion y comportamiento del reservorio
U0 03 prediccion y comportamiento del reservorio
 
Modules in ECMAScript 6.0
Modules in ECMAScript 6.0Modules in ECMAScript 6.0
Modules in ECMAScript 6.0
 
Resistencia de materiais
Resistencia de materiaisResistencia de materiais
Resistencia de materiais
 
手動テストからの移行大作戦
手動テストからの移行大作戦手動テストからの移行大作戦
手動テストからの移行大作戦
 
A Comparative Study on Carbon Nanotube MOSFET, Silicon Nanowire MOSFET and Si...
A Comparative Study on Carbon Nanotube MOSFET, Silicon Nanowire MOSFET and Si...A Comparative Study on Carbon Nanotube MOSFET, Silicon Nanowire MOSFET and Si...
A Comparative Study on Carbon Nanotube MOSFET, Silicon Nanowire MOSFET and Si...
 
Abstract Art sgp power point
Abstract Art sgp power pointAbstract Art sgp power point
Abstract Art sgp power point
 
5â° bã¡sico lenguaje estudiante piedra del sol
5â° bã¡sico lenguaje estudiante piedra del sol5â° bã¡sico lenguaje estudiante piedra del sol
5â° bã¡sico lenguaje estudiante piedra del sol
 

Similaire à Advanced Testing with TTCN-3 and UML Testing Profile

project introduction
project introductionproject introduction
project introductionstinmon
 
Functional and non-functional testing with IoT-Testware
Functional and non-functional testing with IoT-TestwareFunctional and non-functional testing with IoT-Testware
Functional and non-functional testing with IoT-TestwareAxel Rennoch
 
Design and development of automated tests for the IoT
Design and development of automated tests for the IoTDesign and development of automated tests for the IoT
Design and development of automated tests for the IoTAxel Rennoch
 
USING TDL FOR STANDARDISED TEST PURPOSE DEFINITIONS
USING TDL FOR STANDARDISED TEST PURPOSE DEFINITIONSUSING TDL FOR STANDARDISED TEST PURPOSE DEFINITIONS
USING TDL FOR STANDARDISED TEST PURPOSE DEFINITIONSAxel Rennoch
 
pythonOCC PDE2009 presentation
pythonOCC PDE2009 presentationpythonOCC PDE2009 presentation
pythonOCC PDE2009 presentationThomas Paviot
 
Test Execution Infrastructure for IoT Quality analysis
Test Execution Infrastructure for IoT Quality analysisTest Execution Infrastructure for IoT Quality analysis
Test Execution Infrastructure for IoT Quality analysisAxel Rennoch
 
“eXtending” the Automation Toolbox: Introduction to TwinCAT 3 Software and eX...
“eXtending” the Automation Toolbox: Introduction to TwinCAT 3 Software and eX...“eXtending” the Automation Toolbox: Introduction to TwinCAT 3 Software and eX...
“eXtending” the Automation Toolbox: Introduction to TwinCAT 3 Software and eX...Design World
 
Michael_Joshua_Validation
Michael_Joshua_ValidationMichael_Joshua_Validation
Michael_Joshua_ValidationMichaelJoshua
 
DCCN 2016 - Tutorial 1 - Communication with LAN/WLAN
DCCN 2016 - Tutorial 1 - Communication with LAN/WLANDCCN 2016 - Tutorial 1 - Communication with LAN/WLAN
DCCN 2016 - Tutorial 1 - Communication with LAN/WLANrudndccn
 
DE-CPS 2017 The INTO-CPS Cyber-Physical System Profile Alessandra Bagnato
DE-CPS 2017 The INTO-CPS Cyber-Physical System Profile Alessandra BagnatoDE-CPS 2017 The INTO-CPS Cyber-Physical System Profile Alessandra Bagnato
DE-CPS 2017 The INTO-CPS Cyber-Physical System Profile Alessandra BagnatoAlessandra Bagnato
 
Qiang Yu CV
Qiang Yu CVQiang Yu CV
Qiang Yu CVQiang Yu
 
Elvior Company Introduction T3UC Beijing 2010
Elvior Company Introduction T3UC Beijing 2010Elvior Company Introduction T3UC Beijing 2010
Elvior Company Introduction T3UC Beijing 2010ELVIOR
 
Digital design with Systemc
Digital design with SystemcDigital design with Systemc
Digital design with SystemcMarc Engels
 
Hakan Fredriksson - Experiences With MBT and Qtronic
Hakan Fredriksson - Experiences With MBT and Qtronic Hakan Fredriksson - Experiences With MBT and Qtronic
Hakan Fredriksson - Experiences With MBT and Qtronic TEST Huddle
 

Similaire à Advanced Testing with TTCN-3 and UML Testing Profile (20)

project introduction
project introductionproject introduction
project introduction
 
Functional and non-functional testing with IoT-Testware
Functional and non-functional testing with IoT-TestwareFunctional and non-functional testing with IoT-Testware
Functional and non-functional testing with IoT-Testware
 
Design and development of automated tests for the IoT
Design and development of automated tests for the IoTDesign and development of automated tests for the IoT
Design and development of automated tests for the IoT
 
USING TDL FOR STANDARDISED TEST PURPOSE DEFINITIONS
USING TDL FOR STANDARDISED TEST PURPOSE DEFINITIONSUSING TDL FOR STANDARDISED TEST PURPOSE DEFINITIONS
USING TDL FOR STANDARDISED TEST PURPOSE DEFINITIONS
 
pythonOCC PDE2009 presentation
pythonOCC PDE2009 presentationpythonOCC PDE2009 presentation
pythonOCC PDE2009 presentation
 
Test Execution Infrastructure for IoT Quality analysis
Test Execution Infrastructure for IoT Quality analysisTest Execution Infrastructure for IoT Quality analysis
Test Execution Infrastructure for IoT Quality analysis
 
Ankit sarin
Ankit sarinAnkit sarin
Ankit sarin
 
“eXtending” the Automation Toolbox: Introduction to TwinCAT 3 Software and eX...
“eXtending” the Automation Toolbox: Introduction to TwinCAT 3 Software and eX...“eXtending” the Automation Toolbox: Introduction to TwinCAT 3 Software and eX...
“eXtending” the Automation Toolbox: Introduction to TwinCAT 3 Software and eX...
 
Michael_Joshua_Validation
Michael_Joshua_ValidationMichael_Joshua_Validation
Michael_Joshua_Validation
 
An Introduction to OMNeT++ 6.0
An Introduction to OMNeT++ 6.0An Introduction to OMNeT++ 6.0
An Introduction to OMNeT++ 6.0
 
DCCN 2016 - Tutorial 1 - Communication with LAN/WLAN
DCCN 2016 - Tutorial 1 - Communication with LAN/WLANDCCN 2016 - Tutorial 1 - Communication with LAN/WLAN
DCCN 2016 - Tutorial 1 - Communication with LAN/WLAN
 
DE-CPS 2017 The INTO-CPS Cyber-Physical System Profile Alessandra Bagnato
DE-CPS 2017 The INTO-CPS Cyber-Physical System Profile Alessandra BagnatoDE-CPS 2017 The INTO-CPS Cyber-Physical System Profile Alessandra Bagnato
DE-CPS 2017 The INTO-CPS Cyber-Physical System Profile Alessandra Bagnato
 
Qiang Yu CV
Qiang Yu CVQiang Yu CV
Qiang Yu CV
 
Dsp lab manual 15 11-2016
Dsp lab manual 15 11-2016Dsp lab manual 15 11-2016
Dsp lab manual 15 11-2016
 
Elvior Company Introduction T3UC Beijing 2010
Elvior Company Introduction T3UC Beijing 2010Elvior Company Introduction T3UC Beijing 2010
Elvior Company Introduction T3UC Beijing 2010
 
An Introduction to OMNeT++ 5.4
An Introduction to OMNeT++ 5.4An Introduction to OMNeT++ 5.4
An Introduction to OMNeT++ 5.4
 
Digital design with Systemc
Digital design with SystemcDigital design with Systemc
Digital design with Systemc
 
Conformiq Tutorial
Conformiq TutorialConformiq Tutorial
Conformiq Tutorial
 
Hakan Fredriksson - Experiences With MBT and Qtronic
Hakan Fredriksson - Experiences With MBT and Qtronic Hakan Fredriksson - Experiences With MBT and Qtronic
Hakan Fredriksson - Experiences With MBT and Qtronic
 
Avionics Test Station Setup
Avionics Test Station Setup Avionics Test Station Setup
Avionics Test Station Setup
 

Dernier

08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking MenDelhi Call girls
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonetsnaman860154
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesSinan KOZAK
 
08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking MenDelhi Call girls
 
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhi
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | DelhiFULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhi
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhisoniya singh
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j
 
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024BookNet Canada
 
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationBeyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationSafe Software
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationMichael W. Hawkins
 
Maximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxMaximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxOnBoard
 
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge GraphSIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge GraphNeo4j
 
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Allon Mureinik
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 3652toLead Limited
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsMark Billinghurst
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsMemoori
 
How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?XfilesPro
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slidespraypatel2
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxKatpro Technologies
 
Pigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationRidwan Fadjar
 

Dernier (20)

08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen Frames
 
08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men
 
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhi
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | DelhiFULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhi
FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhi
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
 
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
 
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationBeyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day Presentation
 
Maximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxMaximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptx
 
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge GraphSIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
 
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
 
How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slides
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
 
Pigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping ElbowsPigging Solutions Piggable Sweeping Elbows
Pigging Solutions Piggable Sweeping Elbows
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 Presentation
 

Advanced Testing with TTCN-3 and UML Testing Profile

  • 1. ADVANCED TEST MODELLING AND EXECUTION BASED ON THE INTERNATIONAL STANDARDIZED TECHNIQUES TTCN-3 AND UTP Axel Rennoch, Marc-Florian Wendland, Andreas Hoffmann ISCTCS, Beijing, 28. November 2014
  • 2. 2 CONTENTS  TTCN-3  Concepts  Tools  Applications:  Industrial domains  Model-based testing  UML testing profile  Conclusion
  • 3. 3 CONTENTS  TTCN-3  Concepts  Tools  Applications:  Industrial domains  Model-based testing  UML testing profile  Conclusion
  • 4. 4 TESTING TODAY Is  Important for QA  Expensive (costs!)  Time critical But  Only rarely practiced  Unsystematic  Performed by hand  Error-prone  Uncool („If you are a bad programmer you might be a tester.“)  Destructive
  • 5. 5 IDEA & DESIGN PRINCIPLES OF TTCN-3 One test technology for different tests  Distributed, platform-independent testing  Integrated graphical test development, -documentation and –analysis  Adaptable, open test environment Areas of Testing  Regression Testing  Conformance and Functionality Testing  Interoperability and Integration Testing  Load/ Stress Testing
  • 6. 6 TTCN-3 MULTIPART-STANDARD ETSI ES 201 873-1 TTCN-3 Core Language (CL) ETSI ES 201 873-2 TTCN-3 Tabular Presentation Format (TFT) ETSI ES 201 873-3 TTCN-3 Graphical Presentation Format (GFT) ETSI ES 201 873-4 TTCN-3 Operational Semantics ETSI ES 201 873-5 TTCN-3 Runtime Interface (TRI) ETSI ES 201 873-6 TTCN-3 Control Interfaces (TCI) ETSI ES 201 873-7 Integration of ASN.1 ETSI ES 201 873-8 Integration of IDL ETSI ES 201 873-9 Integration of XML ETSI ES 201 873-10 T3Doc ETSI ES 201 873-11 Using JSON with TTCN-3 (under development!) Standard available for free download at http://www.ttcn-3.org
  • 7. 7 WHAT IS TTCN-3?  Testing and Test Control Notation  Internationally standardized testing language for formally defining test scenarios. Designed purely for testing testcase Hello_Bob () { p.send(“How do you do?“); alt { []p.receive(“Fine!“); BUPT 2014, Slide 7 {setverdict( pass )}; [else] {setverdict( inconc )} //Bob asleep! } }
  • 8. 8 TTCN-3 EXECUTION testcase Hello_Bob () { p.send(“How do you do?“); alt { []p.receive(“Fine!“); {setverdict( pass )}; [else] {setverdict( inconc )} //Bob asleep! } } SUT System Tester TTCN-3 API / Communication API / Network
  • 9. 9 TTCN-3 IS DESIGNED FOR BLACK-BOX TESTING TTCN-3 Test Case Port.send(Stimulus) Port.receive(Response) Port System Under Test • Assignment of a Test Verdict
  • 10. 10 MAJOR LANGUAGE ELEMENTS OF TTCN-3 NOTATION module definitions Imports Importing definitions from other modules defined in TTCN-3 or other languages Data Types User defined data types (messages, PDUs, information elements, …) Test Data Test data transmitted/expected during test execution (templates, values) Test Configuration Definition of the test components and communication ports Test Behavior Specification of the dynamic test behavior
  • 11. 11 TYPICAL LANGUAGE ELEMENTS: Type definitions: boolean, integer, float, bitstring, charstring, octectstring, hexstring, record, set, enumeration, union Programming constucts:  message: send/receive  procedure: call/getcall, reply/getreply, raise/catch  if-then-else, loops: for, while, do-while, functions, alternatives  component/port/timer control Predefined functions: type conversion, lengthof (string), sizeof (records), … Overview: e.g. TTCN-3 Quick Reference Card
  • 12. 12 CONTENTS  TTCN-3  Concepts  Tools  Applications:  Industrial domains  Model-based testing  UML testing profile  Conclusion
  • 13. 13 COMMERCIAL TTCN-3 TOOLS (SOURCE: WWW.TTCN-3.ORG) TTCN-3 Compilers and Interpreters  Exhaustif/TTCN: compiler (C++) produced by Métodos y Tecnología (MTP), Spain.  OpenTTCN: interpreter (C, Java, C# interfaces) produced by OpenTTCN Ltd, Finland.  MessageMagic: compiler (C/C++, Java, C#) produced by ELVIOR, Estonia.  Real Time Developer Studio: modelling tool including TTCN-3 compiler by PragmaDev, France.  TAU Tester: compiler (C) by IBM.  TTCN-3 toolbox: compiler (C) by Danet Group, Germany.  TTCN-3 Express: compiler (C#) by Fraunhofer FIRST and Metarga GmbH, Germany.  TTworkbench: compiler (C, Java) by Testing Technologies, Germany. TTCN-3 Generators  Qtronic by Conformiq OY, Finland. generate complete TTCN-3 test suites from e.g., UML, Java, or C# models.  MaTeLo by All4Tec, France (TTCN-3 test suites from usage models specified using Markov chains).  MOTES by ELVIOR, Estonia (from the state model of the SUT)
  • 14. 14 OPEN SOURCE TTCN-3 TOOLS (SOURCE: WWW.TTCN-3.ORG)  LoongTesting testing platform including TTCN-3 compiler and integrated development environment by Information Processing Center of USTC , China.  BBT TTCN-3 Compiler, by BroadBit, Hungary.  TRex: by University of Göttingen to provide IDE functionality for TTCN-3 core notation, and to support assessment and automatic restructuring of TTCN-3 test suites. (open-source Eclipse plug-in).  T3doc by Federico Engler and further developed by ETSI. for generating HTML documentation via tagged TTCN-3 comments.  Codec generator by IRISA as part of T3DevKit. It automatically generates a codec based on TTCN-3 type module(s), C++ codec functions.  T3DevLib by IRISA as part of T3DevKit. It allows the development or integration of Codec, SUT and Platform Adapter implementations written in C++.  NEW TITAN by Ericson: https://projects.eclipse.org/projects/tools.titan ! ... and more academic prototype/research tools (guideline checking, quality analysis, ...)
  • 15. 15 TTCN-3 DOMAINS: TELECOM Industrial use  Big companies with hundreds of TTCN-3 engineers: Ericson, Nokia, Siemens, Motorola  large distribution among SME Standardization bodies  standardized test suites: ETSI / 3GPP (LTE!)/ OMA / TETRA and its members  IMS performance benchmark project: Intel, HP, BT, FOKUS and others Test tool manufacturer:  Commercial Tektronix, Catapult, Nexus, R&S, Spirent, …  Open source community projects: NEW: TITAN from Ericson Certification program based on TTCN-3: e.g. WiMax forum
  • 16. Amplifier / Tuner 16 TTCN-3 DOMAINS: AUTOMOTIVE Car communication systems  Daimler, Volkswagen, SiemensVDO  edutainment bus system (test suite) Standardization groups:  AUTOSAR consortium  MOST cooperation Car-to-car communication Telematics Applications in the Cockpit • Audio (CD / Radio), Video • Telephone, SMS • Navigation • Speech recognition • User interface for body electronic Head Unit loudness playCDTitle Test cases: MOST Bus Tester Speaker CD Changer
  • 17. 17 TTCN-3 DOMAINS: OTHER DOMAINS Medicine  SiemensMED (image processing)  HL7 eHealth protocols (Interoperability) Power transmission and distribution:  SiemensPTD (safe and reliable energy system) Financial data warehouse:  International bank (functional / regression testing) Avionics  European Space Agency Railways  Dutch railways (TT-Medal project)
  • 18. 18 18 TTCN-3 IN MBT  TTCN-3 is used in several domains as binding link between modelling and execution  Commercial tools do generate TTCN-3 code for test execution  lots of academic prototype tools  selection of industrial case studies: e.g. European MIDAS project  pilots in SOA testing automation
  • 19. 19 ADVANCED PILIOTS: EUROPEAN PROJECT MIDAS  Automated testing of Services architectures  available as a Software as a Service (SaaS) on a Cloud infrastructure  spans all activities: test generation, execution,…  relies on standardized TTCN-3 and UTP  More information online www.midas-project.eu
  • 20. 20 TTCN-3 APPLICATIONS: VARIOUS INDUSTRIAL DOMAINS Objective: • To develop an efficient test platform fulfilling industrial testing requirements • To execute high-level test models, e.g. UML testing profile  Industrial Testing Requirements Automotive Mobile Communication ... UML 2.0 Testing Profile Embedded System Design Systems Avionics Railway Systems TTCN-3 Test Design An efficient test platform Methods, Tools, Guidelines Test Results Approach
  • 21. 21 CONTENTS  TTCN-3  Concepts  Tools  Applications:  Industrial domains  Model-based testing  UML testing profile  Conclusion
  • 22. 22 UML TESTING PROFILE (UTP)  Standard by the Object Management Group: Version 1.0 (2004), current version 1.2 (2013), new draft version 2.0 (May 2014)  Profile of UML version 2: Industrial standard for (graphical) modeling of Test architectures, behavior and data.  Conceptual Model: Test context, cases, objectives, data, configuration, arbitration &verdicts, logs  UTP library: predefined types and values (e.g. ISO 25010 Quality model, ISTQB Test levels)  Extras: Mapping to TTCN-3 
  • 23. 23 UTP MAJOR USE  Domain-independent test modeling for dynamic testing approaches:  Test environments, test configurations, test case specifications (including test case derivation), test data specifications/values  Test evaluation, i.e., managing and visualization of test results  Integration of best practices such as keyword-driven testing, equivalence class testing, etc.  Combination with other UML profiles (e.g., SysML, MARTE, SoaML)  E.g. to achieve requirements traceability, …
  • 24. 24 UTP TOOL SUPPORT: FOKUS!MBT
  • 25. 25 CONTENTS  TTCN-3  Concepts  Tools  Applications:  Industrial domains  Model-based testing  UML testing profile  Conclusion
  • 26. 26 TTCN-3 INNOVATIONS / BENEFITS TTCN-3 as standardized test language and implementation Easy (human readable) description of test scenarios  free from programming issues, (transparent framework for end-customers)  platform and tool vendor independence  different presentation formats Clear separation of testing issues:  test configuration, data and behaviour  SUT specific adaptation and codec
  • 27. 27 CONCLUSIONS: TTCN-3 1992 – today, long history and great value Wide range of applicability  different communication paradigms, testing types  domains: Telecom, Automotive, Medicine, Finance, Railways, Avionics…  used in research and industry Creates International community, expertise, commercial and open source tools TTCN-3 is established and in well accepted for the future
  • 28. 28 CONCLUSIONS: UML TESTING PROFILE 2004 – today, shorter history, innovative Wide range of applicability  different communication paradigms, testing types  All domains  used in research and industry Industrial and academic users, expertise, but less tools Recently UTP becomes more well-known and accepted
  • 29. 29 SUMMARY TTCN-3 and UTP - international Standards for testing - allow abstract definitions for testing - accepted in research and industry - Tool support - UML -> UTP -> TTCN-3 - important for (standardized) quality assurance - please have closer look to TTCN-3 and UTP
  • 30. 30 TTCN-3 SOURCES Online information  www.ttcn-3.org TTCN-3 User Conference  2014 in Munich, Germany TTCN-3 Standards, Papers, Book  http://www.ttcn.de/ Quick Reference  http://www.blukaktus.com/ Exercises and Tooling  research licenses
  • 31. 31 UTP SOURCES Online information  http://www.fokusmbt.com MBT User Conference  2014 in Munich, Germany UTP Standards  http://utp.omg.org/ MDT/UTP Book  http://www.springer.com Exercises and Tooling  research licenses
  • 32. 32 Thank you for your attention! www.fokus.fraunhofer.de (System Quality Center)
  • 33. 33 CONTACT Fraunhofer FOKUS Kaiserin-Augusta-Allee 31 10589 Berlin, Germany www.fokus.fraunhofer.de Axel Rennoch Project Manager axel.rennoch@fokus.fraunhofer.de Phone +49 30 3463-7344