70 likes | 198 Views
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:
E N D
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 • 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
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