TTCN Protocol Testing on Steroids! IEEE P802.15 WPAN Meeting March 6-10, 2000 Albuquerque, NM USA 802 Plenary Meeting Matthew Graney Telelogic North America.

Slides:



Advertisements
Similar presentations
Doc.: IEEE /064r0 Submission March 2000 Mårten Mattsson, EricssonSlide 1 Project: IEEE P Working Group for Wireless Personal Area Networks.
Advertisements

System and Software Engineering Research 1 Motorola 2003 Integrated Application of MSC Clive Jervis Rapporteur Q15 Motorola UK Research Labs.
Use of ITU-T languages in Nokia
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.
Conformance Testing of MOST based Applications Towards Effective System Testing André Baresel, Michael Schmidt - DaimlerChrysler AG Contact:
Comparing TTCN-3 and TTCN-2 TTCN-3 User Conference May 3 rd -May 5 th,2004 Sophia Antipolis.
Tool support for Distributed Object Technology
1 © NOKIA Test Implementation using TTCN-3 Libraries.ppt/ /S. Schulz and S. Müller Test Implementation using TTCN-3 Libraries TTCN-3 User Conference,
SOFTWARE TESTING. INTRODUCTION  Software Testing is the process of executing a program or system with the intent of finding errors.  It involves any.
The Use of TTCN-3 for Software Testing Ina Schieferdecker FOKUS, Berlin
IHA præsentation1 Protocol Testing Lesson 5. IHA præsentation2 Outline for today Guidelines for testing protocols TTCN – A Standard Language For Testing.
1 William Stallings Data and Computer Communications 7 th Edition Chapter 2 Protocols and Architecture.
Page 1 Building Reliable Component-based Systems Chapter 16 - Component based embedded systems Chapter 16 Component based embedded systems.
PROTOCOLS AND ARCHITECTURE Lesson 2 NETS2150/2850.
Behavioral Design Outline –Design Specification –Behavioral Design –Behavioral Specification –Hardware Description Languages –Behavioral Simulation –Behavioral.
Applying Ulysses to Bluetooth Alvise Bonivento Mentor: Marco Sgroi.
Data Communications Architecture Models. What is a Protocol? For two entities to communicate successfully, they must “speak the same language”. What is.
CS 290C: Formal Models for Web Software Lecture 6: Model Driven Development for Web Software with WebML Instructor: Tevfik Bultan.
William Stallings Data and Computer Communications 7 th Edition Chapter 2 Protocols and Architecture.
® The Bluetooth Architecture APIs, L2CAP, Link Management, Baseband, and the Radio.
COE 342: Data & Computer Communications (T042) Dr. Marwan Abu-Amara Chapter 2: Protocols and Architecture.
Community Manager A Dynamic Collaboration Solution on Heterogeneous Environment Hyeonsook Kim  2006 CUS. All rights reserved.
Architectural Design Establishing the overall structure of a software system Objectives To introduce architectural design and to discuss its importance.
 The Open Systems Interconnection model (OSI model) is a product of the Open Systems Interconnection effort at the International Organization for Standardization.
Doc.: IEEE /063r0 Submission March 2000 Matthew Graney, TelelogicSlide 1 Project: IEEE P Working Group for Wireless Personal Area Networks.
Using UML Models for the Performance Analysis of Network Systems Nico de Wet and Pieter Kritzinger Department of Computer Science University of Cape Town.
Testing Techniques Conformance Testing Methodology and Framework ISO IS-9646.
A. Mednonogov / Helsinki University of Technology / Conformance Testing of CORBA Services Using TTCN / / Page 1 Conformance Testing of CORBA Services.
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
Protocols and the TCP/IP Suite
Architectures. Many tasks involved in encoding, protecting and transmitting user application data as bit stream. Network Architecture is how tasks are.
Software Models (Cont.) 9/22/2015ICS 413 – Software Engineering1 -Component-based software engineering -Formal Development Model.
National Institute of Standards and Technology Technology Administration U.S. Department of Commerce 1 Patient Care Devices Domain Test Effort Integrating.
Networks – Network Architecture Network architecture is specification of design principles (including data formats and procedures) for creating a network.
William Stallings Data and Computer Communications 7 th Edition Data Communications and Networks Overview Protocols and Architecture.
Assessing the Suitability of UML for Modeling Software Architectures Nenad Medvidovic Computer Science Department University of Southern California Los.
11 August 2010Abstract Test Cases 1 Abstract Test Case Development Phil Beecher (BCC) Edge / Enterprise Conformity.
Model Based Conformance Testing for Extensible Internet Protocols Anastasia Tugaenko Scientific Adviser: Nikolay Pakulin, PhD.
1. Validating Wireless Protocol Conformance Test Cases Amresh Nandan Paresh Jain June 2004.
International Telecommunication Union Geneva, 9(pm)-10 February 2009 Providing testability for ITU Recommendations Ostap Monkewich, OMCI ITU-T Workshop.
Composing Adaptive Software Authors Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng Presented by Ana Rodriguez June 21, 2006.
Doc.: IEEE /042r1 Submission July 1999 Tom Siep, Texas InstrumentsSlide 1 Description of Proposed Structure for Draft MAC and PHY Standards IEEE.
King Fahd University of Petroleum & Minerals Electrical Engineering Department EE400 PROJECT Personal Area Networks Instructed by Dr.AlGhadbanPresenters.
DOCUMENT #:GSC15-PLEN-51 FOR:Presentation SOURCE:ITU AGENDA ITEM:Plenary 6.10 Conformance and Interoperability Testing.
Lyra – A service-oriented and component-based method for the development of communicating systems (by Sari Leppänen, Nokia/NRC) Traditionally, the design,
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
Doc.: IEEE /044r0 Submission March, 2000 Cypher/NISTSlide 1 Project: IEEE P Working Group for Wireless Personal Area Networks (WPANs) Submission.
Copyright SOLINET GmbH SDL & Requirements of Signalling Systems William H. Skelton SOLINET, Stuttgart.
Electrical and Computer Engineering University of Cyprus LAB 1: VHDL.
Celluloid An interactive media sequencing language.
Formal Methods in Software Engineering Credit Hours: 3+0 By: Qaisar Javaid Assistant Professor.
Gregor v. Bochmann, University of Ottawa Based on Powerpoint slides by Gunter Mussbacher(2009) with material from Amyot User Requirements Notation (URN)
16/11/ Web Services Choreography Requirements Presenter: Emilia Cimpian, NUIG-DERI, 07April W3C Working Draft.
TTCN-3 and ASN.1 interworking Analysis of backward compatibility in ASN.1 Géza Horváth TTCN-3 User Conference – 9 June 2011.
LO-5: Testing Lecturer: Ricardo Gonçalves. 2 Testing Overview Conformance Testing –Definition –Methodologies –Application Architecture Interoperability.
Doc.: IEEE /042r4 Submission July 1999 Tom Siep, Texas InstrumentsSlide 1 Description of Proposed Structure for Draft MAC and PHY Standards IEEE.
TTCN-3 Testing and Test Control Notation Version 3.
© 2009 Artisan Software Tools. All rights reserved. Testing Solutions with UML/SysML Andrew Stuart, Matthew Hause.
By Jeremy Burdette & Daniel Gottlieb. It is an architecture It is not a technology May not fit all businesses “Service” doesn’t mean Web Service It is.
TTCN Case Study - InterWatch
Testing Wireless over Wire with TTCN-3
SIMPL-T: SDL Intended for Management and Planning of Tests By
IEEE Working Group for Wireless Personal Area Networks (WPANs)
TTCN Overview Ishwar.
Submission Title: [Add name of submission]
Software Engineering Group, Motorola India Electronics Pvt. Ltd.,
Overview of the ETSI Test Description Language
IEEE Working Group for Wireless Personal Area Networks (WPANs)
Introduction to TDL and TOP
Presentation transcript:

TTCN Protocol Testing on Steroids! IEEE P WPAN Meeting March 6-10, 2000 Albuquerque, NM USA 802 Plenary Meeting Matthew Graney Telelogic North America Inc. Ph: (408)

TTCN: Protocol Testing on Steroids! 2 Overview Conformance Testing  Behavior Testing  ISO 9646 Introduction to TTCN  Why use TTCN?  ASN.1  Terminology and Perspective TTCN in the Real World  GSM, 3GPP, Bluetooth  TTCN Executable Test Suites Demos and Conclusions Overview

TTCN: Protocol Testing on Steroids! 3 Why Test Behavior? Many protocols, many vendors  interoperability is an issue Brute force check for interoperability  test all implementations against all other implementations Better to use a standard test suite  all vendors must pass  does not guarantee interoperability, but increases confidence product1 product2 product3 product4 TestSuite product1product2 productn ? Conformance Testing

TTCN: Protocol Testing on Steroids! 4 Conformance Testing Definition  the process of verifying that an implementation performs in accordance (conforms) with a particular standard/specification. Concerned with...  external behavior (black box)  prerequisites for interoperability  testing of implementations  but not with performance, reliability, fault tolerance, efficiency, etc. Enables…  preparation for interoperability  comparability and mutual recognition of results  reduction in the cost of testing Conformance Testing

TTCN: Protocol Testing on Steroids! 5 ISO/IEC 9646 ISO/IEC 9646 (ITU-T X.290)  Framework and Methodology for Conformance Testing of Implementations of OSI and ITU Protocols 7 part standard  1. General Concepts  2. Abstract Test Suite Specification  3. Tree and Tabular Combined Notation (TTCN)  4. Test Realization  5. Conformance Assessment Process  6. Protocol Profile Test Specification  7. Implementation Conformance Statement Conformance Testing 9646

TTCN: Protocol Testing on Steroids! 6 Why Use TTCN? Quality  a well-tested product increases confidence in the product’s quality Time/Cost Improvement  TTCN is a language designed for protocol conformance testing  TTCN is standardized  TTCN is fairly simple Formal  strict rules, complete BNF and operational semantics Abstract  TTCN test suites are independent of an implementation Introduction to TTCN

TTCN: Protocol Testing on Steroids! 7 TTCN Benefits Standard  avoids ad-hoc testing solutions  ISO 9646 provides detailed framework for conformance test  off-the-shelf test suites GSM (ETS 11.10) TETRA WCDMA 3GPP etc. Unique functionality for testing  pre- and post-amble  separate error handling  verdicts  conditional repeated loops  wild card matching (*, ?)  optional elements  timer support Introduction to TTCN

TTCN: Protocol Testing on Steroids! 8 ASN.1 Abstract Syntax Notation One  language for describing structured information  standardized internationally (ISO/IEC 8824, ITU-T X.680) TTCN includes ASN.1  used for creating data descriptions and constraints  can be part of TTCN script or imported as a module SDL also includes ASN.1  ITU-T Z.105 ASN.1 can be re-used across design and test! Introduction to TTCN ASN.1 SDLTTCN

TTCN: Protocol Testing on Steroids! 9 Introduction to TTCN Terminology (1) Implementation Under Test (IUT)  black box System Under Test (SUT)  the system containing the IUT Test System  the system/device performing the test Abstract Test Suite (ATS)  the TTCN test suite itself

TTCN: Protocol Testing on Steroids! 10 Terminology (2) Introduction to TTCN OSI Conformance Test SP: Service Primitive SAP: Service Access Point PDU: Protocol Data Unit ASP: Abstract Service Primitive PCO: Point of Control and Observation PDU: Protocol Data Unit Tester: Lower and/or Upper Tester (TTCN scripts) Layer S Layer T Layer N PDU Service provided Service used SP SAP Tester IUT Tester ASP PCO PDU ASP

TTCN: Protocol Testing on Steroids! 11 SUT TTCN Perspective PASS, FAIL or INCONCLUSIVE TTCN Test Suite Result IUT Implementation Under Test Observe Responses Send Stimuli Behavioral testing  send stimulus, observe response  was response received within specified time? Test System Introduction to TTCN

TTCN: Protocol Testing on Steroids! 12 Concurrent TTCN Master Test Component Parallel Test Component Parallel Test Component sync IUT Introduction to TTCN

TTCN: Protocol Testing on Steroids! 13 TTCN in 3GPP Lessons from GSM  TTCN ATSs contribute to interoperability  powerful competitive tool for entry to the global GSM mobile market  TTCN ATSs widely used within members’ development processes 3GPP  TTCN in Protocol Conformance Specs Prose description of tests Implementation Conformance Statement (ICS) TTCN Abstract Test Suite  TTCN will be the normative specification TTCN in the Real World

TTCN: Protocol Testing on Steroids! 14 TTCN and Bluetooth Bluetooth SIG selected TTCN for...  definition of Protocol Requirements tests interoperability  definition of Profile Requirements tests application interoperability end-user expectations RF Baseband Audio Link Manager L2CAP TCP/IPHIDRFCOMM Applications Data Control TTCN in the Real World

TTCN: Protocol Testing on Steroids! 15 Bluetooth Test Architecture L2CAP Verification Air Interface L2CAP TCI-L2CAP TCI RF BB LM L2CA RF BB LM L2CA IUT Test Suite Executor Physical Bus TCI-L2CAP Driver Physical Bus TCI-L2CAP Firmware Test System Adaptor TC Firmware Implementation dependent interface TTCN in the Real World

TTCN: Protocol Testing on Steroids! 16 Example Bluetooth Test Cases BB  paging  inquiry LM  authentication  encryption  information requests  link handling L2CAP  connect/disconnect  send/receive data  group handling  protocol multiplexing  segmentation  reassembly  QoS parameter values TTCN in the Real World

TTCN: Protocol Testing on Steroids! 17 Executable TTCN TTCN is abstract  implementation and platform independent ISO specifies operational semantics  semantics defined using a functional approach  maps ATS concepts to executable model Executable Test Suite (ETS)  must implement operational semantics  one approach: compile TTCN to high-level language (C/C++, Java, etc.) develop adaptation for mapping TTCN primitives to real world link to form ETS TTCN in the Real World

TTCN: Protocol Testing on Steroids! 18 TTCN Demos Demos TTCN Language  structure of a test suite Test Suite Overview Declarations Part Constraints Part Dynamic Part  message definitions  simple test script SDL and TTCN  ASN.1 module shared by SDL design and TTCN test  Co-simulation TTCN behaves as SDL system’s environment

TTCN: Protocol Testing on Steroids! 19 Conclusions TTCN has pedigree  international standard  used successfully in key protocols TTCN has synergy...  with ASN.1  with SDL TTCN can...  improve time to market  reduce the “cost of quality” Thanks Conclusions