1 / 6

MOGENTES 3 rd and Final Review Reporting Period January 2010 – March 2011 Cologne, 26 May 2011

MOGENTES 3 rd and Final Review Reporting Period January 2010 – March 2011 Cologne, 26 May 2011. TRSS Demonstrator (WP5/WP6) Werner Schütz, Thales Austria GmbH. WP6 Railway Demonstrators - Objectives.

tomas
Download Presentation

MOGENTES 3 rd and Final Review Reporting Period January 2010 – March 2011 Cologne, 26 May 2011

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. MOGENTES 3rd and Final Review Reporting Period January 2010 – March 2011 Cologne, 26 May 2011 TRSS Demonstrator (WP5/WP6) Werner Schütz, Thales Austria GmbH

  2. WP6 Railway Demonstrators - Objectives • General WP6 Objectives: to demonstrate applicability of model-based test case generation for applications in the railway interlocking sector

  3. WP6 / TRSS – Work in Reporting Period Finished UML Model and station data export for configuring the TCG tools. Modification of demonstrator configuration Existing test stations for train route tests(HMT, LBT) too complex for the TCG tools Developed the configuration of a smaller test station MOGENTES Meeting Station (MMS) See Example in D5.2b

  4. WP6 / TRSS - Results Layout of MMS

  5. WP6 / TRSS – TCG Results Test Cases were generated for a “minimal” test station • For the more complex MMS station, no interesting test cases could be generated. • State space explosion in the TCG tools • Over-detailed model (~100 concurrent objects) • Follow-up national project

  6. WP6 / TRSS – Exploitation Techniques and Tools To automate “routine” cases To free human personnel to concentrate on the most complex situations Apply TCG in module test Reduced size and complexity of models Employ “diverse” methods for implementing and testing a module. Force implementer to consider requirements in detail. SW engineer should learn the new methods more easily than a test engineer.

More Related