Tool für statische Code-Analyse (Erweiterung zu logi.CAD/logi.DOC)

Mit logi.LINT unterziehen Sie IEC 61131-3-Quellcode (z. B. Funktionspläne, die in logi.CAD bzw. logi.DOC erstellt wurden) einer statischen Code-Analyse.

 

Vorteile von logi.LINT

  • Kostengünstige Möglichkeit zur Qualitätsverbesserung
  • Automatischer Test ohne zusätzliche Ressourcen
  • Gezielte Suche nach Fehlerquellen

Durch den Einsatz von logi.LINT entsteht eine kostengünstige Möglichkeit zur Qualitätsverbesserung, da ein „automatischer Test“ durchgeführt wird, für den keine zusätzlichen Ressourcen notwendig sind. Es wird gezielt nach potentiellen Fehlerquellen gesucht. Durch diese Code-Analyse finden Sie auch schwer zu provozierende Fehler. Der Aufwand zum Lokalisieren der Fehlerquelle aufgrund von Fehlerwirkungen entfällt bzw. wird minimiert.

 

Leistungen von logi.LINT

Mit logi.LINT können einzelne Bausteine, Funktionen oder Programme oder auch ganze Ressourcen einer statischen Code-Analyse unterzogen werden. Dabei werden Fehler gefunden, die beim Übersetzen/der Code-Generierung auftreten, wie z. B.

  • nicht unterstützte Datentypen und Bausteine,
  • nicht aufgelöste Extern-Deklarationen oder Typkonflikte.

Zusätzlich werden auch typische Programmierfehler entdeckt, die syntaktisch allerdings völlig korrekt sind und deshalb vom Compiler/Code-Generator nicht gemeldet werden, z. B.

  • Mehrfachbeschreibungen von globalen Variablen,
  • nicht beschaltete Ein- und Ausgänge, offene Linien oder offene Konnektoren.

logi.LINT bietet auch Unterstützung bei der Optimierung und findet unbenutzte Variablen, leere Wertfelder (Variablenfelder) o. Ä. Zusätzlich können Namenskonventionen von Variablen und Bausteinen geprüft werden (besonders nützlich, wenn Code von Fremdfirmen zugeliefert wird) und die Einhaltung von Komplexitätsregeln (z. B. Größenbeschränkung für Bausteine, Anzahl Variablen,...) sichergestellt werden.

All diese Prüfungen werden für die graphischen Sprachen FBD, SFC und LD durchgeführt.

Jürgen Huber
Jürgen Huber
+43 5 77147-41
Dieter Goltz
Dieter Goltz
+49 2173 9191-0
+49 172 2574800