© 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.

Slides:



Advertisements
Similar presentations
May 23, 2004OWL-S straw proposal for SWSL1 OWL-S Straw Proposal Presentation to SWSL Committee May 23, 2004 David Martin Mark Burstein Drew McDermott Deb.
Advertisements

1 Knowledge Representation Introduction KR and Logic.
© 2005 by Prentice Hall Appendix 3 Object-Oriented Analysis and Design Modern Systems Analysis and Design Fourth Edition Jeffrey A. Hoffer Joey F. George.
© 2005 by Prentice Hall Chapter 13 Finalizing Design Specifications Modern Systems Analysis and Design Fourth Edition Jeffrey A. Hoffer Joey F. George.
Chapter 7 System Models.
17 Copyright © 2005, Oracle. All rights reserved. Deploying Applications by Using Java Web Start.
Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Use of ITU-T languages in Nokia
Addition Facts
1 9 Moving to Design Lecture Analysis Objectives to Design Objectives Figure 9-2.
Lecture 10 Flow of Control: Loops (Part 2) COMP1681 / SE15 Introduction to Programming.
Bringing Procedural Knowledge to XLIFF Prof. Dr. Klemens Waldhör TAUS Labs & FOM University of Applied Science FEISGILTT 16 October 2012 Seattle, USA.
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.
Configuration management
Software change management
Chapter 11: Models of Computation
Why Do We Need a (Plan) Portability API? Gerd Breiter Frank Leymann Thomas Spatzier.
Content Interaction and Formatting, Tayeb LEMLOUMA & Nabil Layaïda. November Tayeb Lemlouma & Nabil Layaïda Presented by Sébastien Laborie November.
Testing Workflow Purpose
Xilinx 6.3 Tutorial Integrated Software Environment (ISE) Set up basic environment Select Gates or Modules to Be simulated (Insert Program Code) Run Waveform.
Component-Based Software Engineering Main issues: assemble systems out of (reusable) components compatibility of components.
User Defined Functions
Page 1 October 31, 2000 An Introduction to Large-Scale Software Development Steve Varnau Core HP-UX Operation October 31, 2000.
1 CS 446 – Tutorial 6 Frid. Nov. 6 th, 2009 Implementation Tutorial.
Lecture 9: Implementation Dr Valentina Plekhanova University of Sunderland, UK.
Executional Architecture
Addition 1’s to 20.
Copyright © 2003 by Prentice Hall Computers: Tools for an Information Age Chapter 15 Programming and Languages: Telling the Computer What to Do.
Chapter 10: The Traditional Approach to Design
Systems Analysis and Design in a Changing World, Fifth Edition
1 © NOKIA A Process Model of Developing Micro- code for a Network Processor Jani Koski Author: Jani Koski Supervisor: Prof. Raimo.
Distributed DBMS©M. T. Özsu & P. Valduriez Ch.15/1 Outline Introduction Background Distributed Database Design Database Integration Semantic Data Control.
14-1 © Prentice Hall, 2004 Chapter 14: OOSAD Implementation and Operation (Adapted) Object-Oriented Systems Analysis and Design Joey F. George, Dinesh.
From Model-based to Model-driven Design of User Interfaces.
ECOE 560 Design Methodologies and Tools for Software/Hardware Systems Spring 2004 Serdar Taşıran.
1 ICS102: Introduction To Computing King Fahd University of Petroleum & Minerals College of Computer Science & Engineering Information & Computer Science.
Case Tools Trisha Cummings. Our Definition of CASE  CASE is the use of computer-based support in the software development process.  A CASE tool is a.
© Janice Regan, CMPT 102, Sept CMPT 102 Introduction to Scientific Computer Programming The software development method algorithms.
Behavioral Design Outline –Design Specification –Behavioral Design –Behavioral Specification –Hardware Description Languages –Behavioral Simulation –Behavioral.
1 SYSTEM and MODULE DESIGN Elements and Definitions.
Chapter 1 Software Development. Copyright © 2005 Pearson Addison-Wesley. All rights reserved. 1-2 Chapter Objectives Discuss the goals of software development.
Computers: Tools for an Information Age
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
UML - Development Process 1 Software Development Process Using UML (2)
Benefits of PL/SQL. 2 home back first prev next last What Will I Learn? In this lesson, you will learn to: –List and explain the benefits of PL/SQL –List.
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
Chap. 1 Overview of Digital Design with Verilog. 2 Overview of Digital Design with Verilog HDL Evolution of computer aided digital circuit design Emergence.
Introduction to MDA (Model Driven Architecture) CYT.
1 Systems Analysis and Design in a Changing World, Thursday, January 18, 2007.
Model Driven Development An introduction. Overview Using Models Using Models in Software Feasibility of MDA MDA Technologies The Unified Modeling Language.
The Systems Development Life Cycle
1-1 Software Development Objectives: Discuss the goals of software development Identify various aspects of software quality Examine two development life.
1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.
1 SYS366 Week 1 - Lecture 1 Introduction to Systems.
JavaScript Introduction and Background. 2 Web languages Three formal languages HTML JavaScript CSS Three different tasks Document description Client-side.
CMSC 2021 Software Development. CMSC 2022 Software Development Life Cycle Five phases: –Analysis –Design –Implementation –Testing –Maintenance.
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.
Advanced Higher Computing Science
CSCI-235 Micro-Computer Applications
Computer Aided Software Engineering (CASE)
Unified Modeling Language
Behavioral Design Patterns
Chapter 1 Introduction(1.1)
Analysis models and design models
Chapter 7 –Implementation Issues
Execute your Processes
H a r d w a r e M o d e l i n g O v e r v i e w
Presentation transcript:

© 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 for its use in product development Martin Botteck, Thomas Deiß, Colin Willcock Nokia Research Center Bochum, Germany

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:2 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work TTCN-3 adoption today: Generally, uptake is slower than anticipated. Speed-up could be possible through : Handling variations of the testing task Integrating TTCN-3 into existing test environments Using TTCN-3 in the hardware development process

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:3 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Overview TTCN-3 for testing hardware Conclusion/Summary TTCN-3 in existing test environments Variations in Test Systems

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:4 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Variations in Testing Within a set of test cases there often are several commonalities Example: 3G “Call” –several types of calls (voice, data,…) and calling routes –behaviour will in many cases be similar, but not the same –“intuitive” solution: copy/paste code from one test case to another “similar” one -> maintenance problem when the 3G specification is updated –alternative solution: add a parameter in the test case invocation -> code will become hard to read

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:5 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Types of variations Value Variants –Variations that may be expressed by altering a parameter inside a test case or message sent to the SUT –seems trivial but soon becomes difficult due to vast amount of parameters and combinations typically not all combinations make sense dependancies between the values is typically not documented and implicit –a language or coding style solution needs to be found for this

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:6 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Types of variations (ctd) Behavioural Variants –Variations that may be expressed by a different sequence of messages between the SUT and the tester several messages or sets of sequences may remain the same some are different –decomposition of the SUT may reveal common abstract test case structures with respect to the SUT components –but what about complex composition variants of such components? –-> Abstract Modelling of the tester? (UML testing profile, Test Purpose Language)

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:7 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Types of variations (ctd) Variants of the System under test –product customisation –evolution of conformance standards Might be expressed by altering a parameter (e.g. “feature_x=OFF”, “call_type=‘rich_call’”) in combination with reference to a set of message sequences –Typically, a vast amount of such combinations will be needed How to solve this without copy/paste of code but still avoiding combinatorial logic to the user?

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:8 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Overview TTCN-3 for testing hardware Conclusion/Summary TTCN-3 in existing test environments Variations in Test Systems

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:9 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work The dilemma of choice Nowadays most R&D departments already perform testing: Conformance testing, hardware testing, product testing, module testing, unit testing… Proprietary test systems (“home grown” or “tailor made”) Multitude of vendors with closed environments Trying out a system is a lot of effort. So, shortcomings of any choice being made show up too late for reversing the choice

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:10 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work The testing tool chain for each stage components from different vendors need to interoperate clearly defined interfaces are needed Testware Test cases Test System Codec Router Test Development Tools Editor Compiler Codec Generator … Test Execution Control Log Analysis Thomas Deiß: Usually, in the TTCN-3 world, the platform and the SUT adapter are considered to work side by side, not the PA on top of the SA. MBo: Better this way? It does not become clear to me, what are the stages: Tools, Testware (development), Test sytem (development?), Test execution. But 'tools' is not a stage. MBo: Indeed. Let´s talk Editorial comment: Test system Test Execution, note different capitalization of the second word Thomas Deiß: Usually, in the TTCN-3 world, the platform and the SUT adapter are considered to work side by side, not the PA on top of the SA. MBo: Better this way? It does not become clear to me, what are the stages: Tools, Testware (development), Test sytem (development?), Test execution. But 'tools' is not a stage. MBo: Indeed. Let´s talk Editorial comment: Test system Test Execution, note different capitalization of the second word Run Time System Executable Test System (ETS) Platform Adapter SUT Adapter SUT Codec

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:11 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Run Time System Executable Test System (ETS) Platform Adapter SUT Adapter SUT Codec The testing tool chain interfaces Testware Test cases Test System Codec Router Test Development Tools Editor Compiler Codec Generator … Test Execution Control Log Analysis TTCN-3 core notation language for exchange of test cases Run Time IF for Adaptors and Codecs Test Execution Control and logging through TCI TCI/Log TRI

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:12 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Further work on interfaces Tool vendors have a notion to “close shop” and not support public interfaces Codec interface part in TCI leads to non-interchangeable codecs realisation of a given specification in IDL depends on the target language. Java based tools and C based tools require different codecs performance problems when separating the codec to a separate executable Standardisation sometimes lags behind (e.g. TCI) It is also desirable to generate as many test cases and parts of the environment as possible directly from the behavioural description of the IUT -> modelling representations (e.g. XMI) need to be supported in the tools

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:13 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Overview TTCN-3 for testing hardware Conclusion/Summary TTCN-3 in existing test environments Variations in Test Systems

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:14 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Hw design flow Algorithmic description informal model, e.g. C source code Highest Level behavioural model (e.g. SystemC) Decomposition (Block diagram) Notion of “Time” Bit accurate Hardware model (e.g. VHDL) Notion of “Clock Cycles” Physical Model (e.g. RTL, Spice,…) Introduction of physics (layout, transistor, …) Description consistent through all stages/levels Automatic generation of tests (“Test vectors”) Back annotation integral part of the process

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:15 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Sw design flow use case description formal model, e.g. UML UC Highest Level behavioural model (e.g. UML sequence diagram, state chart) Decomposition (package diagram) Refinement, Introduction of “Signals” executable (e.g. binary, script,…) Introduction of programming language syntax (C, C++, Java,…) more detailed behavioural model (e.g. UML sequence diagram, state chart) Rather “novel” approach Automatic generation of tests (“Test vectors”) still in experimental phase Back annotation is not formally specified

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:16 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work “Traditional” HW-SW integration Algorithmic description informal model, e.g. C source code Highest Level behavioural model (e.g. SystemC) Decomposition (Block diagram) Notion of “Time” Bit accurate Hardware model (e.g. VHDL) Notion of “Clock Cycles” Physical Model (e.g. RTL, Spice,…) Introduction of physics (layout, transistor, …) use case description formal model, e.g. UML UC Highest Level behavioural model (e.g. UML sequence diagram, state chart) Decomposition (package diagram) Refinement, Introduction of “Signals” executable (e.g. binary, script,…) Introduction of programming language syntax (C, C++, Java,…) more detailed behavioural model (e.g. UML sequence diagram, state chart) SW release HW Prototype SW release HW prototype Integration Integration Tests

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:17 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Common nodes in the HW and SW design flow Integration tests are not determined by formal derivation from HW/SW high level models Integration typically is the 1 st stage where HW and SW meet Integration results feed back “somewhere” in the process in SW HW and SW tests only derive from HW and SW models respectively How about utilisation of SW models (e.g. High level behavioural) for generation of HW tests? including behavioural HW models (SystemC) in High level behavioural SW models? generation of tests directly from the model representation?

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:18 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Overview TTCN-3 for testing hardware Conclusion/Summary TTCN-3 in existing test environments Variations in Test Systems

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:19 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Summary/Conclusions Further deployment of TTCN-3 needs convincing advantages: –integration into existing test environments interfaces, replaceable components from heterogenous test systems –handling of variants through specific coding constructs –automated generation of test cases from abstract models –cover HW as well as SW through adequate representation in SW models

© NOKIA Originator: Martin Botteck / April 12, 2005 / Page:20 Nokia Research Center CAR/MEM/VTT Making TTCN-3 work Thank you! Questions? Acknowledgement: The authors would like to thank Mr. Risto Teittinen from Nokia Networks for his contributions to this topic