1 / 7

TT-Medal Project Overview

TT-Medal Project Overview. Jaco van de Pol CWI, SEN 2 Amsterdam Stefan Blom, Jens Calam é , Wan Fokkink, Nicu Goga, Natalia Ioustinova, Bert Lisser. Project Goals. T est & T esting Me tho d ologies for A dvanced L anguages Goal:

amalia
Download Presentation

TT-Medal Project Overview

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

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

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

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

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

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

  7. 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 1st DWFTT - 21/06/05 - Amsterdam

More Related