Comparing TTCN-3 and TTCN-2 TTCN-3 User Conference May 3 rd -May 5 th,2004 Sophia Antipolis.

Slides:



Advertisements
Similar presentations
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Advertisements

TTCN-3 & Conformance Testing Anitha Krishnamoorthy.
SDL+ The Simplest, Useful Enhanced SDL-Subset The documentation is the design, the design is the system! Copyright © SDL Task Force Consortium.
08/2012Tanya Mishra1 EASYC for VEX Cortex Llano Estacado RoboRaiders FRC Team 1817.
HUAWEI TECHNOLOGIES CO., LTD. Security Level: Slide title :40-47pt Slide subtitle :26-30pt Color::white Corporate Font : FrutigerNext LT Medium Font to.
Statement-Level Control Structures
GFT The Graphical Format of TTCN-3
1 C++ Syntax and Semantics The Development Process.
The Intelligent Fuzzing in TTCN-3 Xu Luo, Wu Ji, Liu Chao Software Engineering Institute Beihang University
IHA præsentation1 Protocol Testing Lesson 5. IHA præsentation2 Outline for today Guidelines for testing protocols TTCN – A Standard Language For Testing.
Java Programming, 3e Concepts and Techniques Chapter 4 Decision Making and Repetition with Reusable Objects.
Chapter 3 Program translation1 Chapt. 3 Language Translation Syntax and Semantics Translation phases Formal translation models.
C++ for Engineers and Scientists Third Edition
Programming Logic and Design, Introductory, Fourth Edition1 Understanding Computer Components and Operations (continued) A program must be free of syntax.
Introduction to C Programming
Principles of Procedural Programming
Chapter 3 Planning Your Solution
Doc.: IEEE /063r0 Submission March 2000 Matthew Graney, TelelogicSlide 1 Project: IEEE P Working Group for Wireless Personal Area Networks.
Chapter 9 Introduction to ActionScript 3.0. Chapter 9 Lessons 1.Understand ActionScript Work with instances of movie clip symbols 3.Use code snippets.
Object Oriented Software Development
ETSI Protocol and Testing Competence Centre
1 Chapter 5: Names, Bindings and Scopes Lionel Williams Jr. and Victoria Yan CSci 210, Advanced Software Paradigms September 26, 2010.
Imperative Programming
 Value, Variable and Data Type  Type Conversion  Arithmetic Expression Evaluation  Scope of variable.
INTRODUCTION TO PROGRAMMING STRUCTURE Chapter 4 1.
C++ Code Analysis: an Open Architecture for the Verification of Coding Rules Paolo Tonella ITC-irst, Centro per la Ricerca Scientifica e Tecnologica
© LogicaCMG All rights reserved Erik Altena Jos van Rooyen Leon Wolters Towards a Keyword-Driven Test Presentation Format using TestFrame.
Programming Paradigms
Names Variables Type Checking Strong Typing Type Compatibility 1.
5-1 Chapter 5: Names, Bindings, Type Checking, and Scopes Variables The Concept of Binding Type Checking Strong Typing Type Compatibility Scope and Lifetime.
1 CSC 221: Introduction to Programming Fall 2012 Functions & Modules  standard modules: math, random  Python documentation, help  user-defined functions,
07 Coding Conventions. 2 Demonstrate Developing Local Variables Describe Separating Public and Private Members during Declaration Explore Using System.exit.
Describing Process Specifications and Structured Decisions Systems Analysis and Design, 7e Kendall & Kendall 9 © 2008 Pearson Prentice Hall.
CMPS 211 JavaScript Topic 1 JavaScript Syntax. 2Outline Goals and Objectives Goals and Objectives Chapter Headlines Chapter Headlines Introduction Introduction.
TTCN Protocol Testing on Steroids! IEEE P WPAN Meeting March 6-10, 2000 Albuquerque, NM USA 802 Plenary Meeting Matthew Graney Telelogic North America.
1 Type Checking Type checking ensures that the operands and the operator are of compatible types Generalized to include subprograms and assignments Compatible.
1 SystemVerilog Enhancement Requests Daniel Schostak Principal Engineer February 26 th 2010.
Property of Jack Wilson, Cerritos College1 CIS Computer Programming Logic Programming Concepts Overview prepared by Jack Wilson Cerritos College.
ISBN Chapter 8 Statement-Level Control Structures.
Lecture 2: Introduction to C Programming. OBJECTIVES In this lecture you will learn:  To use simple input and output statements.  The fundamental data.
Ch. 5 Ch. 51 jcmt CSE 3302 Programming Languages CSE3302 Programming Languages (more notes) Dr. Carter Tiernan.
C463 / B551 Artificial Intelligence Dana Vrajitoru Python.
Introducing Python CS 4320, SPRING Lexical Structure Two aspects of Python syntax may be challenging to Java programmers Indenting ◦Indenting is.
Copyright SOLINET GmbH SDL & Requirements of Signalling Systems William H. Skelton SOLINET, Stuttgart.
C++ Programming: Program Design Including Data Structures, Fourth Edition Chapter 8: User-Defined Simple Data Types, Namespaces, and the string Type.
Java Programming, 2E Introductory Concepts and Techniques Chapter 4 Decision Making and Repetition with Reusable Objects.
Structure of Programming Languages Names, Bindings, Type Checking, and Scopes.
TTCN-3 and ASN.1 interworking Analysis of backward compatibility in ASN.1 Géza Horváth TTCN-3 User Conference – 9 June 2011.
Ch. 5 Ch. 51 jcmt Summer 2003Programming Languages CSE3302 Programming Languages (more notes) Summer 2003 Dr. Carter Tiernan.
 2008 Pearson Education, Inc. All rights reserved Introduction to Classes and Objects.
Error Example - 65/4; ! Toplevel input: ! 65/4; ! ^^ ! Type clash: expression of type ! int ! cannot have type ! real.
1 COS 260 DAY 12 Tony Gauvin. 2 Agenda Questions? 5 th Mini quiz –Chapter 5 40 min Assignment 3 Due Assignment 4 will be posted later (next week) –If.
Chapter 1: Preliminaries Lecture # 2. Chapter 1: Preliminaries Reasons for Studying Concepts of Programming Languages Programming Domains Language Evaluation.
TTCN-3 Testing and Test Control Notation Version 3.
© 2006 Lawrenceville Press Slide 1 Chapter 4 Variables  A variable is a name for a value stored in memory.  Variables are created using a declaration.
FILES AND EXCEPTIONS Topics Introduction to File Input and Output Using Loops to Process Files Processing Records Exceptions.
Chapter 27 Network Management Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.
A variable is a name for a value stored in memory.
Def: A control structure is a control statement and
Type Checking, and Scopes
STF 454 TDL – Overview Last change:
SIMPL-T: SDL Intended for Management and Planning of Tests By
4. Javascript Pemrograman Web I Program Studi Teknik Informatika
TTCN Overview Ishwar.
Variables ICS2O.
Unit 1: Introduction Lesson 1: PArts of a java program
TTCN-3 Status Report.
PHP.
Topics Introduction to Functions Defining and Calling a Function
STF 454 TDL – Overview Last change:
Presentation transcript:

Comparing TTCN-3 and TTCN-2 TTCN-3 User Conference May 3 rd -May 5 th,2004 Sophia Antipolis

Introduction Standards Presentation Formats Structure Types Comparing TTCN-3 and TTCN-2 syntax! Migrating to TTCN-3? Conclusions 2 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

What’s in a Name? 3 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

Standards 4 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

Presentation Formats 5 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches) TTCN-2 MP/ BNF + $Keywords TTCN-3 GR / Tabular Core Notation / Text TFT / Tabular GFT / MSC-like Other Format(s) Other Format(s) ? Yes, but…

Structure 6 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

Types 7 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

Types TTCN-2 & TTCN-3 are weakly typed languages TTCN-3 provides extensive type compatibility rules TTCN-3 adds several new types –For convenience –For better harmonization with ASN.1 8 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

Basic Types 9 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

New TTCN-3 Types address—provides access to SUT internals. port— replaces TTCN-2 PCO and CP types component— adds the concept of component types record— replaces TTCN-2 structured type, ASN.1 type, and tabular and ASN.1 ASP, PDU and CM types (8 types in all) (no implicit fields) “Arrays” — Although strictly not a type, single and multi-dimensional support for arrays was added 10 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

New Types for use with ASN.1 Adds: –char, charstring, universal charstring, –record [of] (SEQUENCE [OF]) –set [of] ( SET [OF]) –union (CHOICE) –float (REAL) –enumerated (ENUMERATED)

Parameterization 12 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

Scope 13 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches) –TTCN-2: Two levels of scope Global for TSVs*, TSCs, TSPs, TCVs*, and Local for variables in TSOPs & IFEOD –TTCN-3: Seven levels of scope Module Control Part Components Functions Altsteps Test cases and Blocks of statements TSV: Test Suite Variable TCV: Test Case Variable TSC: Test Suite Constant TSP: Test Suite Parameter TSOP: Test Suite Operation Procedure IFEOD:Invalid Field Encoding Operation Description * Exceptions not visible in: constraints, TSOPs, IFEODs

Change = Big Returns? 14 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches) Modernizing: New look & feel –Lower case reserved words  improved readability –Object Oriented-like syntax –Clear separation of TTCN-3 & ASN.1 –Removing cryptic & OSI centric notation –Eliminating duplicate information –Left to right order of evaluation –Simpler verdict assignment rules

Timers 15 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches) timer myTimer := 0.001; // TTCN-3 timer 1ms TTCN-3 timers always have a base unit of second

Send & Receive 16 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

Verdicts 17 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches) TTCN-3 adopts the preliminary verdicts as used in TTCN-2. TTCN-3 adds the ‘error’ verdict which can only be set by the test System (caused by a test case execution). Cannot be set by use of setverdict(); NOTE: TTCN-3 does not provide the global R variable as in TTCN-2. Care must be taken if this is used in a test suite.

Sequential Behaviour 18 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches) S1; S2; S3; S4; S5; S6; Or preferably: S1; S2; S3; S4; S5; S6 TTCN-3 is a free format notation S1; S2; S3; S4; S5; S6; Or preferably: S1; S2; S3; S4; S5; S6 TTCN-3 is a free format notation S1 S2 S3 S4 S5 S6 TTCN-2 uses indentation S1 S2 S3 S4 S5 S6 TTCN-2 uses indentation TTCN-3 TTCN-2 S1S2S3S4S5S6

S1 S2 S4 S7 S5 S8 S9 S10 S3 S6 S1 S2 S4 S7 S5 S8 S9 S10 S3 S6 Alternative Behaviour 19 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches) S1; alt { [] S2;alt { [] S4; S7; [] S5; S8; alt { [] S9; [] S10; } [] S3; S6; } S1; alt { [] S2;alt { [] S4; S7; [] S5; S8; alt { [] S9; [] S10; } [] S3; S6; } S4 S1 S3 S6 S2 S7 S5 S8 S9S10 TTCN-3TTCN-2 S2&S3, S4&S5, and S9&S10 are alternatives S1,S2,S4,S7. S1,S2,S5,S8,S9. S1,S2,S5,S8,S10. and S1,S3,S6. are the possible event sequences.

Why Migrate to TTCN-3? TTCN-3 is superior to TTCN-2 Number of tool vendors to choose from increasing Good tools exist for: –Development –Conversion from TTCN-2 to TTCN-3 20 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

Why Migrate to TTCN-3? TTCN-3’s new look&feel and Java/C++ like syntax is expected to lower developers & testers resistance to its use. Which: –Should help break down the usually disjoint product development/test process –Should encourage re-use, sharing of tests, and improve the team’s overall product knowledge –Should improve team flexibility (developers/testers may be interchanged) –Should lead to shorter test suite development time 21 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)

Conclusions TTCN-3 is a superior solution to TTCN-2 TTCN-2 will continue to exist for a few years Migration from TTCN-2 to TTCN-3 will be gradual To ensure TTCN-3’s evolution and continued success tool vendors must: –Provide input to, and offer continued support to standards bodies, –Provide affordable, innovative, & timely solutions which meet user needs, –Offer user friendly, simple to use, & high quality tools, –Promote use of TTCN-3 by: Keeping their tools aligned to the evolving standards. Offering professional training and quality support. TTCN-3 provides organizations with the ability to design and architect well engineered test systems! 22 May3rd-May5th, 2004 Comparing TTCN-3 and TTCN-2 (Claude Desroches)