1. 1st DWFTT - 21/06/05 - Amsterdam 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. 1st DWFTT - 21/06/05 - Amsterdam 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. 1st DWFTT - 21/06/05 - Amsterdam ITEA - Project Partners Germany DaimlerChrysler, Nokia, Fokus, TestingTech Finland Nokia, Nethawk, Conformiq, VTT The Netherlands LogicaCMG, ProRail, Improve QS, CWI

4. 1st DWFTT - 21/06/05 - Amsterdam 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. 1st DWFTT - 21/06/05 - Amsterdam Application Domains Automotive & Telematics DaimlerChrysler Telecommunications Nokia, Nethawk Financial Domain LogicaCMG Railway safety ProRail, CWI

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