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 over 3 years 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
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
MBT Working Meeting Report Stephan Schulz MTS#56, Göttingen
Based on Powerpoint slides by Gunter Mussbacher, Gregor v. Bochmann User Requirements Notation (URN) SEG3101 (Fall 2010)
GFT The Graphical Format of TTCN-3
TEST DESCRIPTION LANGUAGE Work Item DES/MTS-140_TDL – STF work plan © ETSI All rights reserved Andreas Ulrich, Siemens AG (Rapporteur)MTS#58,
Kellan Hilscher. Definition Different perspectives on the components, behavioral specifications, and interactions that make up a software system Importance.
Automated Test Design ™ © 2011 Conformiq, Inc. CONFORMIQ DESIGNER On ES v1.2.1 Stephan Schulz MBT Working Meeting/MTS#56, Göttingen.
Introduction to UML: Structural &Use Case Modeling
ISBN Chapter 3 Describing Syntax and Semantics.
Copyright © 2006 Addison-Wesley. All rights reserved. 3.5 Dynamic Semantics Meanings of expressions, statements, and program units Static semantics – type.
Formal Methods of Systems Specification Logical Specification of Hard- and Software Prof. Dr. Holger Schlingloff Institut für Informatik der.
CT1404 Lecture 2 Requirement Engineering and Use Cases 1.
Train Control Language Teaching Computers Interlocking By: J. Endresen, E. Carlson, T. Moen1, K. J. Alme, Haugen, G. K. Olsen & A. Svendsen Synthesizing.
Using UML and Alloy to Specify and Analyze Access Control Features Eunjee Song, Xi Hua SP05-CS681 Project Proposal.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
Major Exam II Reschedule 5:30 – 7:30 pm in Tue Dec 5 th.
Feb. 23, 2004CS WPI1 CS 509 Design of Software Systems Lecture #5 Monday, Feb. 23, 2004.
From Module Breakdown to Interface Specifications Completing the architectural design of Map Schematizer.
© 2018 SlidePlayer.com Inc. All rights reserved.