Continuous TTCN-3: testing of embedded control systems
Proceedings of the 2006 international workshop on Software engineering for automotive systems
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
Formal methods and testing
A methodology for testing intersection related Vehicle-2-X applications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |
TTCN-3 has gained increasing significance in recent years. Originally developed to fit the needs for testing software-based applications and systems in the telecommunication industry, TTCN-3 has shown its applicability to a wide range of other industrial domains in the mean time. TTCN-3 provides platform-independent, universal and powerful concepts to describe tests -- especially for discrete, interactive systems -- on different levels of abstraction. However, TTCN-3 addresses systems with discrete input and output characteristics only. In the automotive industry -- as well as in other industries that deal with highly complex software-based control systems -- this is not sufficient. Control systems often interact with their environment trough sensors and actuators using continuous signals. A test environment that adequately supports the specification, execution and evaluation of tests for embedded control systems has to provide concepts to handle this kind of signals. Moreover it has to support the test engineer with suitable abstractions that ease signal specification and signal evaluation.