1st DWFTT - 21/06/05 - Amsterdam TT-Medal Project Overview Jaco van de Pol CWI, SEN 2 Amsterdam Stefan Blom, Jens Calamé, Wan Fokkink, Nicu Goga, Natalia.

Slides:



Advertisements
Similar presentations
Fraunhofer FOKUS Competence Center MOTION FOKUS VIEW ON MODEL-BASED TEST DESCRIPTION LANGUAGES (TDLS) Alain-G. Vouffo Feudjio.
Advertisements

Use of ITU-T languages in Nokia
© SMARTESTING 2011 – This document is the property of Smartesting. It may not be reproduced in whole or in part Cliquez pour modifier le style du titre.
Visual Model-based Software Development EUD-Net Workshop, Pisa, Italy September 23 rd, 2002 University of Paderborn Gregor Engels, Stefan Sauer University.
BAiT: Adaptive Test Case Execution in Practice Jens R. Calamé Centrum voor Wiskunde en Informatica, Amsterdam.
MBT Working Meeting Report Stephan Schulz MTS#56, Göttingen
© 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.
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems Artemis-AAL day 7 May, Budapest 1BME and.
Conformance Testing of MOST based Applications Towards Effective System Testing André Baresel, Michael Schmidt - DaimlerChrysler AG Contact:
Introduction to Workflow. Slide 2 Overview What is workflow? What is business process management? Common workflow and process problems The functional.
Automated Test Design ™ © 2011 Conformiq, Inc. CONFORMIQ DESIGNER On ES v1.2.1 Stephan Schulz MBT Working Meeting/MTS#56, Göttingen.
WebRatio BPM: a Tool for Design and Deployment of Business Processes on the Web Stefano Butti, Marco Brambilla, Piero Fraternali Web Models Srl, Italy.
Job No/ 1 © British Crown Copyright 2008/MOD Developing a High Integrity Code Generator Using iUML/iCCG Sam Moody AWE plc, Aldermaston, Berkshire, United.
An overview on the Testing and Test Control Notation version 3 (TTCN-3) Helmut Neukirchen Háskóli Íslands
A model-driven course on Petri-Nets, Metamodels and Graph Grammars Pieter Van Gorp Hans Schippers Dirk.
Final Thesis Presentation on TEST DERIVATION AND REUSE THROUGH HORIZONTAL TRANSFORMATION OF SYSTEM MODELS Submitted by-Supervised by- Jenis KavadiyaAntonio.
Towards Automatic Generation of Parameterized Test Cases from Abstractions Jens R. Calamé Natalia Ioustinova Jaco van de Pol Centrum voor Wiskunde en Informatica,
Systems Engineering Project: System Validation and Verification Using SDL Ron Henry ENSE 623 November 30, 2004.
CS 290C: Formal Models for Web Software Lecture 6: Model Driven Development for Web Software with WebML Instructor: Tevfik Bultan.
Chapter 3 Planning Your Solution
Simulated Time for Host-Based Testing with TTCN-3 Stefan Blom (Innsbruck Univ.), Thomas Deiss (Nokia Research Center, NRC), Natalia Ioustinova (CWI), Ari.
5/24/011 Advanced Tool Integration for Embedded Systems Assurance Insup Lee Department of Computer and Information Science University of Pennsylvania.
Merlin ITEA Symposium Merlin Overview2 Problem domain Companies hardly develop embedded products completely on their own Embedded systems need.
Jos van Rooyen Erik Altena Leon Wolters TTCN-3 in the Financial Domain.
Using UML Models for the Performance Analysis of Network Systems Nico de Wet and Pieter Kritzinger Department of Computer Science University of Cape Town.
- 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.
10th TTCN-3 User Conference, 7-9 June 2011, Bled, Slovenia AUTOSAR Conformance Tests - Feedback on their development and utilization Alain Feudjio-Vouffo,
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 18 Slide 1 Software Reuse.
© Siemens AG, CT SE 1, Dr. A. Ulrich C O R P O R A T E T E C H N O L O G Y Research at Siemens CT SE Software & Engineering Development Techniques.
Adaptive Services Grid FP6 – IST Develop a prototype of an open development platform for adaptive services registration,
Software Engineering Reuse.
ITEA Common Workshop on automotive Tooling Prepared by the projects AMALTHEA, MAENAD, SAFE, TIMMO-2-USE 24 th and 25 th September 2012 in Berlin.
VTT-STUK assessment method for safety evaluation of safety-critical computer based systems - application in BE-SECBS project.
Dr. Tom WayCSC Code Reviews & Inspections CSC 4700 Software Engineering.
Assessing the SoP of MBE in the Embedded Systems Domain Xubo Miao MSc, School of Computing Supervisor: James R. Cordy.
2nd TTCN-3 User Conference, June The TTCN-3 Metamodel – A Basis for Tool Integration Ina Schieferdecker TU Berlin/Fraunhofer Fokus Hajo Eichler,
Reliable Design of Safety Critical Systems Dr. Abhik Roychoudhury School of Computing
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 18 Slide 1 Software Reuse.
January 25, 2006copyright Thomas Pole , all rights reserved 1 Software Reuse: History 1980 to 2005 History: Changes to Software Reuse Driven by.
Verification and Validation in the Context of Domain-Specific Modelling Janne Merilinna.
MODA-TEL An IST project on Model Driven Architectures for Telecommunications System Development and Operation.
Modelling Class T16: Conceptual Modelling – Architecture Image from
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
©2002 B&R Software Technology - Automation Studio.
Testing Railway Interlockings with N. Ioustinova, J. van de Pol, N. Goga Centrum voor Wiskunde en Informatica Amsterdam, The Netherlands TT-Medal Review.
Agile Test-based Modeling 資工 聶順成. Outline  Introduction : Modeling meets Programming  Agile Modeling: Using Models in Agile Projects  Model-based.
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.
MODUS Project FP7- SME – , Eclipse Conference Toulouse, May 6 th 2013 Page 1 MODUS Project FP Methodology and Supporting Toolset Advancing.
Copyright SOLINET GmbH SDL & Requirements of Signalling Systems William H. Skelton SOLINET, Stuttgart.
CASE1 Computer-Aided Software Engineering Advanced Software Engineering COM360 University of Sunderland © 2000.
Testing Railway Interlockings with TTCN-3 Stefan Blom University of Innsbruck Natalia Ioustinova,Jaco van de Pol
Value chain analysis general overview Some reminders Software has a high development cost But production cost almost nil Automotive software specifics.
The New Solution? Translate XHTML to Java GUI.. Advantages Using XML W3C support XSLT Language Testing Language Specification Using XHTML Reuse web tools.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of SDL Amardeo Sarma NEC Europe Ltd.
ARTEMIS JU Grant Agreement number WP4 Instantiation WP4 Status 25 September, 2013.
Reuse Contracts A Historic Overview Dr. Tom Mens Programming Technology Lab Vrije Universiteit Brussel Course OOSE.RC EMOOSE
Automaton-Based Approach for Defining Dynamic Semantics of DSLs Ulyana Tikhonova St. Petersburg State Polytechnical University,
TTCN-3 Testing and Test Control Notation Version 3.
Software test automation with UML2.0 TestingProfile & TTCN-3 Maili Markvardt.
Page 1 Hitachi Ltd. – FhI FOKUS TTCN-3 User Conference, June 2005 MDA based approach for generation of TTCN-3 test specifications Hideto Ogawa, Hitachi.
Automated Test Design ™ © 2011 Conformiq, Inc. CONFORMIQ DESIGNER MBT Working Meeting Report Stephan Schulz MTS#56, Göttingen.
Dr. Colin Willcock Nokia Research Center
Software Reuse Objectives
Overview of the ETSI Test Description Language
On the notion of Variability in Software Product Lines
Test Generation with Abstraction and Concretization
Real-Time Systems, COSC , Lecture 18
Presentation transcript:

1st DWFTT - 21/06/05 - Amsterdam TT-Medal Project Overview Jaco van de Pol CWI, SEN 2 Amsterdam Stefan Blom, Jens Calamé, Wan Fokkink, Nicu Goga, Natalia Ioustinova, Bert Lisser

1st DWFTT - 21/06/05 - Amsterdam Project Goals Test & Testing Methodologies for Advanced Languages Goal: Efficient testing techniques for the whole life cycle by: standards, automation, reuse Technologies: UML 2.0 – TTCN-3 – U2TP Apply this ETSI-standard technology to new application domains

1st DWFTT - 21/06/05 - Amsterdam ITEA - Project Partners Germany DaimlerChrysler, Nokia, Fokus, TestingTech Finland Nokia, Nethawk, Conformiq, VTT The Netherlands LogicaCMG, ProRail, Improve QS, CWI

1st DWFTT - 21/06/05 - Amsterdam Research Issues Testing techniques for UML diagrams Automated test case generation with data Reusable test suites in standard platform- independent language: TTCN-3 Test execution via standard interfaces: (Codec, TRI, TCI) Test reuse (horizontal & vertical) Domain specific testing profiles

1st DWFTT - 21/06/05 - Amsterdam Application Domains Automotive & Telematics DaimlerChrysler Telecommunications Nokia, Nethawk Financial Domain LogicaCMG Railway safety ProRail, CWI

1st DWFTT - 21/06/05 - Amsterdam Industrial Tools TTthree + TTworkbench: TTCN-3 compiler + test control GUI Conformiq tool: On-the-fly testing from StateCharts TTCN test suite generation CTE: Classification Tree Method (DaimlerChr.)

1st DWFTT - 21/06/05 - Amsterdam CWI contributions Simulated time (FATES 2005) Efficient for testing discrete time software Implemented for TTCN-3 interfaces (TRI) Based on distributed termination detection Railway Safety case-study (with ProRail) Simulate interlockings + discrete time in µCRL Link µCRL toolset to TTCN-3 execution engine We found errors in existing VPI code Symbolic test case generation Based on Abstraction and Concretization