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

Project Goals

• • • •

T

est &

T

esting

Me

tho

d

ologies for

A

dvanced

L

anguages 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

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

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

Application Domains

• • • •

Automotive & Telematics

• DaimlerChrysler

Telecommunications

• Nokia, Nethawk

Financial Domain

• LogicaCMG

Railway safety

• ProRail, CWI 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.) 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 1st DWFTT - 21/06/05 - Amsterdam