CODESYS è la piattaforma di automazione leader di mercato secondo la norma IEC 61131-3, indipendente dai produttori di dispositivi. Dal 2016, la società di software con sede a Kempten offre un componente aggiuntivo per l'analisi statica del codice che supporta comodamente lo sviluppo della logica di controllo. Questo strumento è stato ora radicalmente rivisto e migliorato.

I potenziali errori nel codice applicativo sintatticamente corretto dei progetti di controllo, noti come "odori di codice", possono causare danni enormi, soprattutto perché di solito diventano visibili solo in fase di esecuzione. Ad esempio, array o puntatori possono portare ad accessi errati alla memoria; condizioni formulate in modo errato possono portare a codice inaccessibile. Le sezioni di codice interessate sono difficili da individuare manualmente. L'analisi statica del codice offre un rimedio analizzando il codice dell'applicazione secondo regole predefinite e identificando le aree problematiche. La qualità del codice può anche essere misurata utilizzando varie metriche.

La nuova versione 5.0 di CODESYS Static Analysis rende ancora più semplice il miglioramento del codice applicativo IEC 61131-3. A questo scopo è stata integrata la cosiddetta propagazione delle costanti, che può essere utilizzata per prevedere i valori delle variabili utilizzate nel codice. Lo strumento aggiuntivo utilizza questi valori variabili per segnalare molti problemi gravi nel codice non appena vengono inseriti: In questo modo è possibile evitare in modo molto affidabile accessi errati agli array, divisioni per 0 e accessi a puntatori nulli. Lo strumento diventa un assistente di programmazione che riconosce gli "odori del codice" durante lo sviluppo e fornisce suggerimenti rapidi per la correzione. Inoltre, il nuovo processo garantisce messaggi significativamente più precisi e quindi un minor numero di "falsi" risultati. Sono possibili anche controlli completamente nuovi, in particolare un controllo degli indici per gli accessi agli array senza ingrandire il codice. Anche le metriche generate automaticamente aiutano ad aumentare la qualità del codice, come la complessità cognitiva, il numero di linee di codice copiate ("tasso di clonazione") e l'estrazione automatica di metodi e funzioni.

Il nuovo CODESYS Static Analysis può essere acquistato nel CODESYS Store.