Continuous TTCN-3: testing of embedded control systems

Authors:
Ina Schieferdecker;Eckard Bringmann;Jürgen Großmann
Affiliations:
Technical University Berlin/Fraunhofer FOKUS, Berlin, Germany;DaimlerChrysler AG, Berlin, Germany;DaimlerChrysler AG, Berlin, Germany
Venue:
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Year:
2006

Citing 2
Cited 5

Refinement of Time

ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
From U2TP models to executable tests with TTCN-3 - an approach to model driven testing -

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems

TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

Model-Driven Development of Reliable Automotive Services
Modeling Property Based Stream Templates with TTCN-3

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Testing embedded control systems with TTCN-3: an overview on TTCN-3 continuous

SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Bottom-up reuse for multi-level testing

Journal of Systems and Software
A methodology for testing intersection related Vehicle-2-X applications

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

The systematic testing approaches developed within the telecommunication domain for conformance and interoperability testing of communication protocols have been extended and broadened to allow the testing of local and distributed, reactive and proactive systems in further domains such as Internet, IT, control systems in automotive, railways, avionics and alike. With the application of these testing principles it became apparent that the testing of systems with continuous systems is different to that of discrete systems. Although every continuous signal can be discretized by sampling methods (and hence mapped to the discrete signal paradigm), abstraction and performance issues in this setting become critical. This paper revises the initial design of Continuous TTCN-3. It presents the concepts for specifying continuous and hybrid test behavior. The TTCN-3 extensions are demonstrated for a case study1.