Real-time reactive and embedded systems are usually used in circumstances where safety is important and the margin for errors is narrow. These kinds of systems have applicability in a broad band of domains as: automotive, avionics, air traffic control, nuclear power stations, industrial control, etc. As the name denotes, the main feature of ”realtime” systems is the criticality of their timeliness. Guaranteeing a certain timeliness requires appropriate testing. As manual testing is burdensome and error prone, automated testing techniques should be developed. Although the importance of having a standard environment for automatic testing is high, the technologies in this area are not sufficiently developed. This thesis reviews the standardized test description language ”Testing and Test Control Notation version 3 (TTCN-3)” as a mean for real-time testing and proposes extensions to enable real-time testing with TTCN-3. The aim is to provide a complete testing solution for automatic functional and real-time testing, built around this already standardised testing language. The solution includes an environment for designing and running the tests written in the extended language. As a proof of concept, test examples, designed using the enhanced TTCN-3, are mapped to real-time platform implementations and the timeliness of each implementation is analyzed.
Echtzeit-reaktive und eingebettete Systeme werden gewöhnlich in Bereichen genutzt, in denen Sicherheit sehr wichtig und die Fehlertoleranz begrenzt ist. Diese Systeme finden ihre Anwendung in vielen Bereichen: in der Automobilindustrie, in der Luftfahrtindustrie, in der Luftfahrtberwachung, in nuklearen Anlagen, in der Regelungsund Steuerungstechnik, etc. Wie der Name bereits andeutet, liegt das charakteristische Merkmal von Echtzeit-systemen in der Sicherstellung der Rechtzeitigkeit von Ereignissen. Das Garantieren einer bestimmten Rechtzeitigkeit erfordert geeignete Testmethoden. Da manuelles Testen beschwerlich und sehr fehleranf¨allig ist, sollten automatisierte Testmethoden zur Anwendung kommen. Obwohl es sehr wichtig ist, für das automatisierte Testen eine standardisierte Testumgebung zu besitzen, sind die Technologien in diesem Bereich nicht ausreichend entwickelt. Diese Dissertation betrachtet die standardisierte Testbeschreibungssprache ”Testing and Test Control Notation Version 3 (TTCN-3)” als ein Mittel für das Testen von Echtzeitsystemen und unterbreitet Vorschläge für Erweiterungen der Testsprache, um das Testen von Echtzeit-systemen mit TTCN-3 zu ermöglichen. Ziel ist es, ein komplette Testlösung f¨ur das automatisierte funktionale Testen und das Testen von Echtzeit-systemen bereitzustellen, welche auf diese bereits standardisierte Testsprache aufbaut. Die Lösung bietet Erweiterungen der Sprache sowie eine Umgebung für das Erstellen und das Ausführen der Tests an. Im Rahmen einer Machbarkeits-studie werden Testbeispiele erstellt, die auf Implementierungen von Echtzeitsystemen angewendet werden.
