Use of ITU-T languages in Nokia

Slides:



Advertisements
Similar presentations
TTCN-3 Users Conference
Advertisements

Large-Scale, Adaptive Fabric Configuration for Grid Computing Peter Toft HP Labs, Bristol June 2003 (v1.03) Localised for UK English.
© 2005 by Prentice Hall Appendix 3 Object-Oriented Analysis and Design Modern Systems Analysis and Design Fourth Edition Jeffrey A. Hoffer Joey F. George.
The 4 T’s of Test Automation:
M2M Architecture Inge Grønbæk, Telenor R&I ETSI Workshop on RFID and The Internet Of Things, 3rd and 4th December 2007.
Maximilian Frey P1016 MINIT Mobile IP-Network Integration Testing.
INTERVAL Next Previous 13/02/ Timed extensions to SDL Analysis requirements –Assumptions on moments and duration Semantics with controllable time.
INTERVAL Project Copyright 2000 by the INTERVAL Consortium Last revised 24 October 2000 ETSI-MTS Meeting, Sophia Consortium Objectives Technical.
1 Introducing the Specifications of the Metro Ethernet Forum.
Need for Specification Techniques in NGN Janusz StateSoft.org Copyrights StateSoft Inc., This information is protected by one or more.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of URN Daniel Amyot University of Ottawa, Canada
System and Software Engineering Research 1 Motorola 2003 Integrated Application of MSC Clive Jervis Rapporteur Q15 Motorola UK Research Labs.
International Telecommunication Union Plenary Session on ITU-T Standards 15th Biennial TDI International Conference – Las Vegas, Nevada, USA Total Conversation.
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Multivendor Interoperability
1MEDIACON 2004 © 2001, Cisco Systems, Inc. A View on Mobility for Multimedia Arthur Feather Mobile Wireless Group Cisco Systems Arthur Feather Mobile Wireless.
International Telecommunication Union © ITU-T Study Group 17 Use of ITU-T Formal Languages Amardeo Sarma NEC Europe Ltd.
SDL+ The Simplest, Useful Enhanced SDL-Subset The documentation is the design, the design is the system! Copyright © SDL Task Force Consortium.
Flexible Airborne Architecture
.NET Technology. Introduction Overview of.NET What.NET means for Developers, Users and Businesses Two.NET Research Projects:.NET Generics AsmL.
Construction process lasts until coding and testing is completed consists of design and implementation reasons for this phase –analysis model is not sufficiently.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 14 Slide 1 Object-oriented Design 1.
INTRODUCTION TO SIMULATION WITH OMNET++ José Daniel García Sánchez ARCOS Group – University Carlos III of Madrid.
Mobile IP. 2 N+I_2k © 2000, Peter Tomsu 02_mobile_ip Evolution of Data Services Mobile IP GSM GPRS CDMA Other Cellular Circuit Switched Data Today Packet.
Component-Based Software Engineering Main issues: assemble systems out of (reusable) components compatibility of components.
© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:1 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Making TTCN-3 work! Issues and strategies.
Database System Concepts and Architecture
Requirements Analysis Moving to Design b521.ppt © Copyright De Montfort University 2000 All Rights Reserved INFO2005 Requirements Analysis.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 4 Slide 1 Software processes 2.
Prescriptive Process models
COMP1007 Introduction to Requirements Analysis © Copyright De Montfort University 2002 All Rights Reserved COMP1007 Introduction to Requirements Analysis.
Mobile Switching Systems Unit, L M Ericsson in Finland
Unpublished : Copyright Marconi Communications Limited. All Rights Reserved. 1 The First Product Line Conference Workshop on Generative.
Conformance Testing of MOST based Applications Towards Effective System Testing André Baresel, Michael Schmidt - DaimlerChrysler AG Contact:
TTCN-3 Based Automation Framework for LTE UE Protocol Stack Testing
Tool support for Distributed Object Technology
PRESENTED BY USHA GHIMIRE. Introduction-The need for MBSE MBSE now and present shortcomings A view of MBSE in the future Key advantages and disadvantages.
A Brief Introduction. Acknowledgements  The material in this tutorial is based in part on: Concurrency: State Models & Java Programming, by Jeff Magee.
Industrial usage of Formal Methods – an Ericsson view Jens E. Kristensen
Recall The Team Skills 1. Analyzing the Problem (with 5 steps) 2. Understanding User and Stakeholder Needs 3. Defining the System 4. Managing Scope 5.
Systems Engineering Project: System Validation and Verification Using SDL Ron Henry ENSE 623 November 30, 2004.
- Chaitanya Krishna Pappala Enterprise Architect- a tool for Business process modelling.
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
Testing RAVEN Helmut Neukirchen Faculty of Industrial Engineering, Mechanical Engineering and Computer Science University of Iceland, Reykjavík, Iceland.
Page  1 Developing a Cross Platform IMS Client using the JAIN SIP Applet Phone Muswera Walter Supervisor: Prof Alfredo Terzoli.
Architectural Design portions ©Ian Sommerville 1995 Establishing the overall structure of a software system.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Architectural Design l Establishing the overall structure of a software system.
1 SAM /JUNE/2000 SDL Based Auto Code Generation: A Multi Beneficial Approach Bhaskar Rao.G Software Engineering Group, Motorola India Electronics.
2nd TTCN-3 User Conference, June The TTCN-3 Metamodel – A Basis for Tool Integration Ina Schieferdecker TU Berlin/Fraunhofer Fokus Hajo Eichler,
1. Validating Wireless Protocol Conformance Test Cases Amresh Nandan Paresh Jain June 2004.
High Performance Embedded Computing © 2007 Elsevier Lecture 3: Design Methodologies Embedded Computing Systems Mikko Lipasti, adapted from M. Schulte Based.
TTCN Protocol Testing on Steroids! IEEE P WPAN Meeting March 6-10, 2000 Albuquerque, NM USA 802 Plenary Meeting Matthew Graney Telelogic North America.
IMS Service Monitoring. 2 Will Brouwer Business Development Converged Tool Set End-to-End Phased Analysis Converge.
High Performance Embedded Computing © 2007 Elsevier Chapter 1, part 2: Embedded Computing High Performance Embedded Computing Wayne Wolf.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 14 Slide 1 Object-oriented Design.
TTCN-3 MOST Challenges Maria Teodorescu
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.
Copyright SOLINET GmbH SDL & Requirements of Signalling Systems William H. Skelton SOLINET, Stuttgart.
1 © NOKIA Functionality and Testing of Policy Control in IP Multimedia Subsystem Skander Chaichee HUT/Nokia Networks Supervisor: Professor Raimo.
Architecture View Models A model is a complete, simplified description of a system from a particular perspective or viewpoint. There is no single view.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of SDL Amardeo Sarma NEC Europe Ltd.
Specification and Description Language Peyman Dodangeh March 2013 Sharif University of Technology In The Name Of God.
Hardware/Software Co-Design of Complex Embedded System NIKOLAOS S. VOROS, LUIS SANCHES, ALEJANDRO ALONSO, ALEXIOS N. BIRBAS, MICHAEL BIRBAS, AHMED JERRAYA.
TTCN-3 Testing and Test Control Notation Version 3.
Dr. Colin Willcock Nokia Research Center
Object-Oriented Analysis and Design
Testing Wireless over Wire with TTCN-3
Software Engineering Group, Motorola India Electronics Pvt. Ltd.,
JAIN FOR MAP PROJECT GROUP: Maurizio Bonuccelli Piero Lauri
Presentation transcript:

Use of ITU-T languages in Nokia Experiences and Challenges Colin Willcock Nokia Research Center ITU-T Workshop Geneva, July 2004 colin.willcock@nokia.com

Contents Specification Languages Testing Languages Future Trends MSC ASN.1 SDL Testing Languages TTCN-2 TTCN-3 Future Trends

Specification: MSC used in two ways: design and requirements notation to clarify interactions of components in a system (both in standards and in implementations) used extensively for the representation of design and requirements for software object interaction with messages trace output notation to show how system behaved(in environments that naturally support this (=Telelogic tools)) used with phone trace output to provide a clear representation of the phones behaviour. A number of tools are used to provide MSC representation from phone software trace output.

Specification: ASN.1 Used a lot. Partly because it is used in a lot of standards in mobile communication. But also it has been found a convenient means to define protocols and to get codecs generated automatically. Used extensively in conjunction with TTCN-2 and SDL to define data types used in the protocol software implementation and testing. i.e. both products and product test systems. Internal CASN compiler tools SDL. Note: not following Z.105 but defined own mapping of ASN.1 to SDL data.

Specification: SDL SDL is used to create protocol emulators for testers. This is enabled by 3G SDL library project. Nokia NET has own version of the SDL that is is used quite extensively in some products. On the NMP side used extensively for the design of many protocol software sub-systems (embedded and workstation based simulation). These models are used as the basis for automatic code generation using various SDL->C code generators.

Current Specification Process Step 1 - System architecture functional specification: text with embedded MSC diagrams Stage 2 - Protocol specification object-oriented analysis and design with UML detailed protocol specification as an SDL-model messages and information elements described as ASN.1 protocol data units layer interfaces described as ASN.1 abstract service primitives Stage 3 - Protocol implementation may use code generation from SDL or other methods based on SDL specifications Step 1 - System architecture functional specification: text with embedded MSC diagrams in our case: JAFFA project deliverables Stage 2 - Protocol specification object-oriented analysis and design with UML detailed protocol specification as a SDL-model => needs to pass validation (by human observation) and verification (by computer-aided analysis); the latter serves the same purpose as simulation studies w.r.t. multiple-access method selection on layer 1 messages and information elements described as ASN.1 protocol data units validation and verification of the specified protocols layer interfaces described as ASN.1 abstract service primitives in our case: GUN project deliverables Stage 3 - Protocol implementation may use code generation from SDL or other methods in our case: 3gen product development 7 7 7

Introduction of TTCN-2 Testing Since 1993 TTCN-2 testing has been used in testing of GSM network elements: MSC/VLR, HLR, BSC, MS Other 2nd generation mobile phones: D-AMPS Transmission systems: V5.x IN systems: SSP, SCP In-house TTCN-2 tool developed with HUT first compiler based on DIS version of the TTCN language in 1990-91 tight integration with Nokia in-house ASN.1 tools

Early Experiences on TTCN-2 Testing testing with several PCOs: some PCOs are used as means for triggering test events to other PCOs well-designed test suites can be executed and analyzed automatically TTCN test suites are designed by a test team, which is independent from the product development team tools for TTCN programming are available development of an ETS based on TTCN ATS still requires some programming for test adaptors TTCN based method is not as flexible for interactive probing as protocol emulators validation of TTCN test suites prior to testing against SUT is a must

Evolution of TTCN-2 Testing Test automation has evolved with TTCN Modular and Concurrent TTCN in network element testing Improved integration with other languages => TTCN-2 Modelling of PDUs in ASN.1 also for non-ASN.1 protocols Cosimulation with SDL as means for test case validation MSC tracing of test case executions Standardized test suites, especially by ETSI Automatic test case generation – still a promise? TTCN testing has expanded to new systems within Nokia GPRS: SGSN UMTS: Node-B, RNC, MSC Server, MGW VoIP: CPS, HSS

Testing: TTCN-2 Summary Still under development at international bodies, e.g. Bluetooth and the test system for 3G UEs. Used extensively in Workstation and HW platform test environments for testing protocol software. This includes sub-system integration, system integration, release, regression and conformance testing. Quite successful in conformance testing but limitations in flexibility and ease of learning have stopped it spreading to other areas of testing

Future Testing Challenges Increasing complexity of products GSM Specifications 1306 3G Specifications 2290

Future Testing Challenges Pressure to shorten time to market New systems and services must be available quicker How can we reduce testing time? Pressure to improve quality SW outage average time for Network elements measured in seconds per year How can we improve testing quality (and quantify it) New types of testing IP based protocols Text based protocols Unified testing approach for software and protocol testing

Why is TTCN-3 Important TTCN-3 More Productive Easier to learn Easier to use More Powerful Extended functionality Support for IP protocol Support text-based protocols More Flexable Not tied to OSI model For many types of testing More Extendable Extensibility built-in TTCN-2 Software Testing Protocol Testing Function Module Layer Unit Intergration TTCN-3

TTCN-3 Nokia has been from the very beginning actively involved in the development of the TTCN-3 language at ETSI. The first product testers using TTCN-3 where introduced in Nokia in 2002. TTCN-3 especially strong in the text based protocol area like SIP. Used for almost all new test systems Investigation about usage in application areas that are not typical protocol testing such as software module testing. Area of active research and development. Conversion of test systems from TTCN-2 to TTCN-3 already started.

Future Trends: Specification Short term UML 2.0 tools will mature and the gaps will be filled to enable UML to be used not just at the abstract specifications (requirements) phase but further down towards implementation Medium Term As UML 2.0 tools mature and become available there will be a general move from SDL to UML for functional specification Long Term UML will become the glue which finally enables MBD to be realised

Future Trends: Testing Short term: Replacing TTCN-2 in functional and conformance testing as standard language. Increasing use within the IP world especially for text based protocols Possible key technology in the IP/telecom convergence. Medium term: Expanding from pure protocol testing to software testing and interworking testing. Possible key technology for unifying testing technology across whole product development. Long term: Real time and performance testing? (European INTERVAL project) Integration with UML (UML testing profile)