Constraintbasierte Testdatenermittlung für Automatisierungssoftware auf Grundlage von Signalflussplänen

Themen: KI | Digital Twin

Publikationsform: Fachartikel
Artikelnummer: 03654_2008_05_05
Ausgabe: 05
Zeitschrift: Constraintbasierte Testdatenermittlung für Automatisierungssoftware auf Grundlage von Signalflussplänen
Erscheinungsdatum: 01.05.2008
Autor: Paul Linder/Universität Stuttgart
Verlag: DIV Deutscher Industrieverlag GmbH
Seiten: 6
Publikationsformat: PDF
Sprache: Deutsch
Themenbereich: atp edition

Details

Der Test von Automatisierungssoftware erfordert dynamische Testfälle mit zeitlichem Verhalten zur Überprüfung der Interaktion zwischen der Automatisierungssoftware und der Eigendynamik des technischen Prozesses. Der vorliegende Beitrag befasst sich mit einem constraintbasierten Verfahren zur modellbasierten Ermittlung der benötigten zeitabhängigen Testdaten. Als Testbasis werden Signalflusspläne mit hybrider, diskretkontinuierlicher Dynamik betrachtet, welche bei der modellgetriebenen Entwicklung von Automatisierungssoftware häufig zur Spezifikation der Automatisierungsfunktionalität eingesetzt werden. Kern des Verfahrens ist die Darstellung der Testdatenermittlung als Constraint-Problem, welches durch eine mutationsbasierte Auswertung der vorliegenden Modellinformation gewonnen wird. Das Constraint-Problem dient als Testüberdeckungskriterium und ermöglicht sowohl die modellbasierte dynamische Analyse der Testdaten in der Modellsimulation als auch die modellbasierte Testdatengenerierung.

Preis: 4,90 €Zum Shop