Analisi Statica del Codice: Identificazione Tempestiva degli Errori
Con la crescente complessità dei software di automazione, la garanzia della qualità del codice sta diventando sempre più importante. L’ambiente di sviluppo LASAL CLASS di SIGMATEK offre ora un’estensione opzionale “Static Code Analysis” (SCA) per la verifica del codice scritto in Testo Strutturato. L’SCA controlla il codice sorgente alla ricerca di possibili errori di runtime e comportamenti indefiniti, come variabili non inizializzate, ritorno di un puntatore a una variabile locale, conversioni implicite, ecc. – senza dover eseguire il codice.
Un vasto numero di diversi test, eseguiti simultaneamente, analizza una gamma estesa di aspetti del codice e identifica tempestivamente eventuali difetti di qualità, non conformità alle linee guida o violazioni degli standard di codifica interni.
Gli errori superficiali, spesso difficili da individuare, possono essere prevenuti utilizzando l’SCA, riducendo il carico di lavoro del team e aumentando la produttività e la qualità del software, non solo durante lo sviluppo ma anche durante la manutenzione.
Gli utenti dispongono di opzioni di configurazione molto flessibili: ciascuna delle oltre 50 regole predefinite per variabili, tipi, funzioni e metodi può essere parametrizzata individualmente. Lo strumento è anche in grado di calcolare le metriche. Le metriche sono misure che valutano vari aspetti del codice sorgente. Sono inoltre possibili convenzioni di denominazione completamente configurabili. Le regole, le metriche o le convenzioni di denominazione possono essere abilitate o disabilitate, sia singolarmente che in gruppo. I controlli di base automatizzati consentono quindi ai revisori di concentrarsi sulla correttezza della logica e dell’architettura del codice.
Una finestra di output separata visualizza chiaramente i messaggi di errore, sui quali è possibile fare doppio clic per passare alla posizione corrispondente nel codice. I livelli di priorità configurabili e codificati a colori per i singoli errori garantiscono chiarezza.
