Systemstrukturbasiertes Testen fur verteilte Automatisierungssysteme zur Erhohung der Testzuverlassigkeit

摘要

Bei vernetzten wertdiskreten Echtzeitsystemen helfen automatisierte Testverfahren komponentenubergreifende Fehler wahrend der Systemintegration und im laufenden Betrieb zu entdecken. Die Testfalle werden mit zeitbehafteten Ursache-Wirkungs-Graphen beschrieben. Mit graphischen Testfallen und Messungen des Busverkehrs wird der Informationsfluss im verteilten System verfolgt und auf Inhalt und Zeitbedingungen uberpruft. Somit sind die Knotengruppen oder auch Knoten lokalisierbar, die am Fehlverhalten beteiligt sind. Bei der erweiterten Informationsflussverfolgung wird zusatzlich die Systemstruktur des Testobjektes, bestehend aus Knoten und Verbindungen, verwendet. Mit symbolischen Testplandaten und der Filterung der Rohdaten wird dieser White-Box Test auf einem hohen Abstraktionsniveau durchgefuhrt. Eine Komponentenbibliothek dient hierbei zur Zeitspezifikation der Netzknoten und der Verbindungen. Die Zeitbedingung wird mit den berechneten Ubertragungszeiten der Verbindungen und den vorgegebenen Verarbeitungszeiten der Knoten auf Plausibilitat uberpruft. Mit der Integration der Systemstruktur-Information in die Testplanung werden die Nachrichten fur die Testfalle interaktiv generiert. Somit wird die Testplanerstellung erleichtert und die Testzuverlassigkeit erhoht.