TT-Medal Project Overview

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

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

3
ITEA - Project Partners

• Germany
• DaimlerChrysler, Nokia, Fokus, TestingTech
• Finland
• Nokia, Nethawk, Conformiq, VTT
• The Netherlands
• LogicaCMG, ProRail, Improve QS, CWI

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

5
Application Domains

• Automotive Telematics
• DaimlerChrysler
• Telecommunications
• Nokia, Nethawk
• Financial Domain
• LogicaCMG
• Railway safety
• ProRail, CWI

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

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