Automatische Wertebereichsanalyse
DOI:
https://doi.org/10.17560/atp.v54i07-08.2179Abstract
Der Wertebereich ist die Menge aller Werte, die eine Variable während der Programmausführung tatsächlich annehmen kann. Der Beitrag stellt eine automatische Bestimmung der Wertebereiche von Variablen in SPS-Programmen vor. Mit dieser Information lassen sich Fehler schnell erkennen beziehungsweise ausschließen, ohne dass das korrekte Programmverhalten formal spezifiziert werden muss. Die verwendeten Techniken benötigen kein Modell des Programmverhaltens, sondern verarbeiten direkt den Programmcode. Der Ansatz ist im Werkzeug Arcade.PLC implementiert und wird an einer industriellen Fallstudie illustriert.Downloads
Veröffentlicht
Ausgabe
Rubrik
Lizenz
Die Zeitschrift und alle in ihr enthaltenen Beiträge und Abbildungen sind urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulässig und strafbar. Das gilt insbesondere für Vervielfältigungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Bearbeitung in elektronischen Systemen. Auch die Rechte der Wiedergabe durch Vortrag, Funk- und Fernsehsendung, im Magnettonverfahren oder ähnlichem Wege bleiben vorbehalten.