Aiutare le PMI a validare la qualità del software
Il linguaggio SDL (Specification and Description Language) viene ampiamente usato nel settore delle telecomunicazioni per descrivere le funzioni e generare i codici software. Ma l'uso del linguaggio si va estendendo ad altre applicazioni in tempo reale, come le apparecchiature medicali o gli aeromobili e altri sistemi di trasporto. Il progetto SDL-SAFE ha sviluppato una metodologia per la valutazione automatica della qualità dei software che usano il linguaggio SDL. La metodologia è strutturata in varie fasi. In primo luogo, vengono definiti gli obiettivi di stile, ossia il carattere desiderato per l'intera implementazione. Gli obiettivi sono poi sviluppati in specifiche norme SDL, che offrono uno stretto orientamento per la definizione con il linguaggio di un sistema d'alta qualità. Quindi viene costruito un modello di valutazione della qualità, basato sui criteri di validazione della qualità e corredato dall'estrazione di metriche della qualità. Infine le norme, il modello e le metriche sono usati per definire un processo di valutazione automatica della qualità per il sistema software in corso di sviluppo. SDL-SAFE ha anche sviluppato un set di strumenti software che include un analizzatore di sintassi e di struttura e un analizzatore semantico per controllare che il sistema SDL sia completo e coerente. Il processo di valutazione della qualità include poi la stesura di regole di qualità e il loro raggruppamento in base agli elementi critici del sistema. Questo è utile alle PMI perché consente loro di abbinare gruppi di regole con criteri di qualità del software invece di fare gli abbinamenti uno alla volta per ciascuna regola. La tecnologia e la metodologia sviluppate dal progetto riducono i costi di progettazione, test e implementazione, migliorano l'accuratezza dei test e producono progettazioni affidabili per sistemi efficienti. Esse sono di particolare valore per il numero in continua crescita di PMI europee attive nel campo dello sviluppo di software, che mancano però di risorse per la valutazione della qualità e la validazione.
