We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byKarlie Barrand
Modified about 1 year ago
Restricted © Siemens AG 2014. All rights reserved Siemens Corporate Technology | Month 20XX Proposed topics for TDL phase 3
Page 2August 2014Corporate Technology Restricted © Siemens AG 2014. All rights reserved General timeline for TDL phase 3 STF M1:Start of work:01-Feb-2015 M2:1 st draft:24-Apr-2015(2 weeks ahead of MTS#65) M3:Start of work 2:01-May-2015(for some tasks of the STF) M4:2 nd draft:18-Sep-2015(2 weeks ahead of MTS#66) M5:3 rd draft:18-Dec-2015(4 weeks ahead of MTS#67) M6:End of work:31-Jan-2016
Page 3August 2014Corporate Technology Restricted © Siemens AG 2014. All rights reserved Assumptions for resource/cost calculation STF management (reporting etc.): 6 days Each draft at M2, M4, M5 shall be accomplished in 2 sessions à 5 days per person Cost calculation Voluntary effort of 20% for contracted work Remuneration: 600 € per day Travelling costs (3 MTS meetings + UCAAT or similar): 4000 €
Page 4August 2014Corporate Technology Restricted © Siemens AG 2014. All rights reserved 1) New: Test generation capabilities WI on TDL-MM v 1.3.1 Enhance and enable TDL to generate abstract tests, i.e. test descriptions expressed in TDL (phases 1/2 put emphasis on generation of concrete tests, i.e. test cases expressed, e.g., in TTCN-3) Additional language features Nondeterministic choice over behavior (to specify choice over test description references) Similar to Highlevel-MSC (not so much of state machines); see next slides (Might cover also parallel composition of tests) Nondeterministic choice over data Consider test descriptions with free, unassigned parameters Provide a data pool for data values to be assigned to these free parameters test data gen. Correct data, invalid data, data interval/range etc. Similar to UTP data pool Need to cover test campaign specification (set of test cases and their ordering of execution) Start of work: M3; end of work: M5 (2 draft versions) Resources: 2 persons in 4 sessions
Page 5August 2014Corporate Technology Restricted © Siemens AG 2014. All rights reserved Test scenario graph modeling – Example
Page 6August 2014Corporate Technology Restricted © Siemens AG 2014. All rights reserved Modeling scenario graph and alternative approach vs. Test generator generates tests according to chosen coverage criterion. User models tests explicitly and keeps control over them.
Page 7August 2014Corporate Technology Restricted © Siemens AG 2014. All rights reserved 2) Improved: TDL static and operational semantics WI on TDL-MM v 1.3.1 Currently all semantic descriptions provided as free text Review and refinement of static semantics of all MM elements Possibly: refinement of static semantics in OCL constraints Elaboration of operational semantics for parts of the MM related to behavior descriptions Improved text More formalization desirable, e.g. provision of a mapping to UPPAAL models (translational semantics), but might be not achievable Start of work: M3, end of work: M5 (2 drafts) Resources: 2 persons in 4 sessions
Page 8August 2014Corporate Technology Restricted © Siemens AG 2014. All rights reserved 3) Maintenance of TDL-MM WI on TDL-MM v 1.3.1 Updates and resolving of change requests on the MM (left-over from TDL2) Start: M1, end: M4 Resources: 1 person in 4 sessions
Page 9August 2014Corporate Technology Restricted © Siemens AG 2014. All rights reserved 4) Maintenance of TDL-GR and TDL-XF and TDL-TO WI on TDL-GR v 1.2.1, TDL-XF v 1.2.1, TDL-TO v 1.2.1 Updates and resolving of change requests on the MM Some extensions of TDL-TO (part 4) according to ETSI’s needs, e.g. parallel events etc. Start: M3, end: M5 Resources: 2 persons in 4 sessions
Page 10August 2014Corporate Technology Restricted © Siemens AG 2014. All rights reserved 5) UML profile for TDL; amendment of TDL-MM part 1 WI on TDL-MM v 1.3.1 Provided as an informative or normative annex of part 1 Defines a mapping of all or a subset of essential parts of the TDL-MM to the UML-MM Partial validation of the mapping within Eclipse environment, e.g. based on Papyrus UML editor Start: M1, end: M5 Resources: 2 persons in 6 sessions
Page 11August 2014Corporate Technology Restricted © Siemens AG 2014. All rights reserved 6) Reference implementation for textual TDL (incl. ETSI syntax on TDL-TO) New WI: DTR/MTS-203119REFv1.1.1 Provision of a reference implementation of TDL in textual syntax TDL MM in a possible textual syntax, closely related to TTCN-3 (or another programming language) Includes the ETSI syntax on a test purpose language Includes the implementation of the TDL-XF (exchange format) Based on open-source software and also provided as open-source to the community Eclipse, EMF, Xtext Start: M1, end: M5 Resources: 2 persons in 6 sessions
Page 12August 2014Corporate Technology Restricted © Siemens AG 2014. All rights reserved Overall resources requested Task 0: Management 6M1 – M6 Task 1: Test generation30M3 – M5 Task 2: Semantics20M3 – M5 Task 3: Maintenance TDL-MM40M1 – M4 Task 4: Maintenance GR, XF and TO (part 4)70M3 – M5 Task 5: UML profile40M1 – M5 Task 6: Reference implementation60M1 – M5 Total:266 days Costs Contracted efforts (20% voluntary): 213 days * 600 € = 127,800 € Travel costs: 4000 € Assuming a budget of 120k€, there are at most 242 days available
TEST DESCRIPTION LANGUAGE Work Item DES/MTS-140_TDL – STF work plan © ETSI All rights reserved Andreas Ulrich, Siemens AG (Rapporteur)MTS#58,
STF 454 “DESIGN OF TDL” – STATUS REPORT Last change: © ETSI All rights reserved.
Automated Test Design ™ © 2011 Conformiq, Inc. CONFORMIQ DESIGNER On ES v1.2.1 Stephan Schulz MBT Working Meeting/MTS#56, Göttingen.
Copyright © Siemens AG All rights reserved. Corporate Technology A Test Scenario Description Language Bridging the gap between model-based testing.
Gregor v. Bochmann, University of Ottawa Based on Powerpoint slides by Gunter Mussbacher(2009) with material from Amyot User Requirements Notation (URN)
Automated Test Design © 2011 Conformiq, Inc. CONFORMIQ DESIGNER MBT Working Meeting Report Stephan Schulz MTS#56, Göttingen.
Copyright © Siemens AG All rights reserved. Essential Criteria on MBT to Ensure Quality of Software in Industry PVR Murthy Andreas Ulrich Siemens.
1 Introduction to Software Engineering Lecture 1.
Introduction to Software Engineering 1. Software Engineering Failures – Complexity – Change 2. What is Software Engineering? – Using engineering approaches.
ISBN Chapter 3 Describing Syntax and Semantics.
Formal Methods of Systems Specification Logical Specification of Hard- and Software Prof. Dr. Holger Schlingloff Institut für Informatik der.
Formal Methods in Software Engineering1 Lecture 17 Describing Syntax and Semantics.
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Logical view –show classes and objects Process view –models the executables Implementation view –Files, configuration and versions Deployment view –Physical.
Modeling Formalism Modeling Language Foundations System Modeling & Assessment Roadmap WG SE DSIG Working Group Orlando – June 2016.
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.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 2, Modeling with UML: UML 2 Metamodel Note to Instructor: The material in this.
Lecture 3 Uses Cases Topics UML Use Cases pop quiz Readings: Chapter 3 January 24, 2008 CSCE 492 Software Engineering.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
USE Case Model. Use-case model The use case model captures the requirements of a system. Use cases are created based on identified functional requirements.
Correctness of Software Models Mira Balaban, Azzam Maraee Computer Science Department Ben-Gurion University Model correctnessFall
Specifications Liskov Chapter 9 SWE 619 Last Updated Fall 2008.
Using UML and Alloy to Specify and Analyze Access Control Features Eunjee Song, Xi Hua SP05-CS681 Project Proposal.
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
Automated Test Design ™ © 2011 Conformiq, Inc. CONFORMIQ DESIGNER MBT Working Meeting Report Stephan Schulz MTS#56, Göttingen.
STF 454 “DESIGN OF TDL” Proposed TDL features © ETSI All rights reserved.
System Requirement Specification and System Planning.
REQUIREMENT HANDLING Requirement Analysis Phases Inception (initiation) Elicitation (gathering) Problems of scope Problems of understanding.
Software Development Process CS 360 Lecture 3. Software Process The software process is a structured set of activities required to develop a software.
Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
Copyright © 2006 Addison-Wesley. All rights reserved. 3.5 Dynamic Semantics Meanings of expressions, statements, and program units Static semantics – type.
From Module Breakdown to Interface Specifications Completing the architectural design of Map Schematizer.
1 IBM Software Group ® Mastering Object-Oriented Analysis and Design with UML 2.0 Module 1: Best Practices of Software Engineering.
Requirement Engineering. Recap Elaboration Behavioral Modeling State Diagram Sequence Diagram Negotiation.
UML AN OVERVIEW. Topics covered in this Session 1. Introducing UML. 2. What constitutes the UML. 3. Concepts of UML.
© 2006 Pearson Addison-Wesley. All rights reserved 2-1 Chapter 2 Principles of Programming & Software Engineering.
ETSI MTS#34 Meeting, Apr 2002, Rome GFT The Graphical Format of TTCN-3 Ina Schieferdecker.
The Software Product Life Cycle. Views of the Software Product Life Cycle Management Software engineering Engineering design Architectural design.
Applying a Research Prototype Tool in Industrial Practice Ottawa Carleton Institute for Computer Science Umple: a Model Oriented Programming Language University.
Slide 1 Systems Analysis and Design with UML Version 2.0, Second Edition Alan Dennis, Barbara Haley Wixom, and David Tegarden Chapter 7: Structural Modeling.
W3C XML Query Language Working Group Mark Needleman Data Research Associates ZIG Current Awareness Session July 13, 2000.
LIRICS Mid-term Review 1 LIRICS WP2 – NLP Lexica Monica Monachini CNR-ILC - Pisa 23rd May 2006.
Introduction to UML: Structural &Use Case Modeling.
Agenda 1. Introduction 2. Overview of SU-MoVal 3. OCL-based Model Validation 4. QVT-based Transformations 5. Demo of SU-MoVal 6. Conclusion and Future.
Introduction to Software Testing Chapter 9.4 Model-Based Grammars Paul Ammann & Jeff Offutt
Train Control Language Teaching Computers Interlocking By: J. Endresen, E. Carlson, T. Moen1, K. J. Alme, Haugen, G. K. Olsen & A. Svendsen Synthesizing.
PowerPoint Presentation for Dennis, Wixom & Tegardem Systems Analysis and Design Copyright 2001 © John Wiley & Sons, Inc. All rights reserved. Slide 1.
3 June 2013 SDMX Technical Working Group Luxembourg 1 WP Item 6 Expressions and Calculations.
© 2017 SlidePlayer.com Inc. All rights reserved.