Test und Fehlersuche in komplexen Autonomen Systemen

In diesem Papier wird ein neuartiger Ansatz für Test und Fehlersuche in komplexen Autonomen Systemen vorgestellt. Basis der Lösung ist die Analyse von Trace-Daten, die von dem Zielsystem über eine dedizierte, häufig schon vorhandene Prozessoreinheit zur Verfügung gestellt werden. Im Vergleich mit dem aktuellen Stand der Technik wird der Ansatz eingeordnet und die besonderen Vorzüge hinsichtlich der Nicht-Intrusivität und der unbegrenzten Überwachungslaufzeit herausgestellt.

Nach einem kurzen Einblick in die Funktionsweise des Systems folgen zwei Anwendungsbeispiele, die Code-Coverage-Messung und die dynamische Analyse, mit welchen der praktische Nutzen des Systems verdeutlicht und ein Einblick in die Handhabung der neuen Methode geliefert wird. Die Möglichkeiten des Systems reichen von einfachen Zeitmessungen, über Wirkkettenmessungen (WCRT Abschätzung), bis hin zu komplexen funktionalen Tests. Wesentlicher Bestandteil für die dynamische Analyse stellt dabei die Verifikationssprache TeSSLa dar, welche dem Leser anhand von kurzen, prägnanten Beispielen näher gebracht wird. Abschließend werden Anforderungen an das zu beobachtende System gegeben, um den Einsatz des vorgestellten Werkzeugs zu ermöglichen.