Statische Analyse

Bei Durchführung der Statischen Analyse wird die Einhaltung der Kodierregeln, der Namenskonventionen und der unzulässigen Symbole überprüft. Im Folgenden finden Sie zu jedem dieser Aspekte ein separates Beispiel.

1) Kodierregeln

Im diesem Beispiel sind einige Kodierregeln als Fehler konfiguriert. Die Verletzungen dieser Kodierregeln werden nach Ausführung der Statischen Analyse folglich als Fehler gemeldet. Nähere Informationen können Sie dem folgenden Bild entnehmen.

2) Namenskonventionen

Es sind folgende Namenskonventionen konfiguriert:

• Präfix "b" für Variablen vom Typ BOOL (NC0003)
• Präfix "fb" für Funktionsbausteininstanzen (NC0031)
• Präfix "FB_" für Funktionsbausteine (NC0103)
• Präfix "I_" für Schnittstellen (NC0108)

Bei der Deklaration der Booleschen Variablen ("x"), der Instanziierung des Funktionsbausteins ("f") sowie bei der Deklaration des Schnittstellentyps ("ITF_") werden diese Namenskonventionen nicht eingehalten. Diese Codestellen werden nach Ausführung der Statischen Analyse jeweils als Fehler gemeldet.

 3) Unzulässige Symbole

Der Bitstring-Operator XOR sowie die Bit-Shift-Operatoren SHL, SHR, ROL und ROR sind als unzulässige Symbole konfiguriert. Diese Operatoren sollen im Code nicht verwendet werden.
Entsprechend wird die Verwendung dieser Operatoren nach Ausführung der Statischen Analyse jeweils als Fehler gemeldet.