EMB_90

EMBEDDED 90 • NOVEMBRE • 2023 57 COMPILERS | SOFTWARE in quanto anche un piccolo cambiamento può avere un effetto di notevole entità sul comportamento del compilatore. Possono esserci centinaia di opzioni le cui impostazio- ni modificano il comportamento del compilatore e del programma compilato, le analisi, le ottimizzazioni, la diagnostica e altri aspetti del processo di compilazio- ne, come il linking, il trattamento degli header e la ge- stione dei file di output. Una volta che queste opzioni sono state selezionate e il compilatore è stato qualificato, gli sviluppatori softwa- re possono utilizzare solo il caso d’uso qualificato. È noto che i compilatori sono sensibili alla configurazio- ne. Gli effetti di una piccola modifica in un’imposta- zione possono essere amplificati poiché il compilatore lavora attraverso le molteplici fasi necessarie per la generazione del codice oggetto a partire dal codice sorgente di input. Anche una piccola modifica alla configurazione può avere un effetto enorme sul codi- ce generato e invalidare la qualifica. Se è necessaria una modifica, il compilatore deve essere testato nuo- vamente e riqualificato. Selezionare le giuste opzioni all’inizio del progetto è fondamentale per il progetto stesso. Tuttavia, analiz- zare manualmente il caso d’uso del compilatore e de- terminare le opzioni di impostazione è un’operazione difficile, che richiede tempo e comporta molti rischi. Il report sulla tracciabilità, rappresentato con il modello a V, dimostra l’ampia copertura di test garantita da SuperTest, che opera a livello di specifiche del compilatore (Fonte: Solid Sands) Automatizzare questa parte del processo di qualifi- ca con CerTran permette di attenuare questi rischi e accelerare la qualifica. Tra gli ulteriori vantaggi si possono annoverare una maggiore ripetibilità e una riduzione delle attività manuali. Una volta impostata correttamente, l’analisi automati- ca dei casi d’uso di CerTran è facile da usare. Essa con- sente agli sviluppatori di eseguire in modo autonomo le analisi dei loro casi d’uso. Per di più, l’automazione permette ora di includere la qualifica del compilatore come parte del normale processo di compilazione di routine (nightly build): ogni qual volta si renda neces- sario aggiornare le opzioni del compilatore, i test ven- gono ripetuti automaticamente e il compilatore viene riqualificato con le nuove impostazioni. In definitiva, l’automazione dei processi manuali sog- getti a errori può contribuire a migliorare la robu- stezza e l’affidabilità del software in generale e risulta estremamente utile nelle applicazioni safety-critical. L’analisi automatizzata dei casi d’uso può rivoluziona- re lo sviluppo del software functional-safety ed elimi- nare molti dei rischi di errore, nonché i costi poten- zialmente elevati (e i ritardi associati) sostenuti per risolverli. Si tratta di un notevole passo in avanti che facilita notevolmente la sfida di garantire la conformi- tà agli standard di functional-safety nei mercati auto- mobilistico e industriale.