EMB_82

EMBEDDED 82 • NOVEMBRE • 2021 8 LA COPERTINA DI EMBEDDED LAUTERBACH Le soluzioni TRACE32 si possono qualificare per garantire la co- pertura del codice in diverse fasi di test Tool Qualification Support-Kit La disponibilità di un TQSK non solo garantisce un livello superiore di confidenza ma può anche ridurre significa- tivamente i tempi e i costi necessari per qualificare uno strumento di sviluppo per un particolare progetto. Il kit TQSK, fornito da Lauterbach, offre tutto il neces- sario per qualificare gli strumenti TRACE32 per l’uso in progetti DO-178C (avionico), IEC 61508 (industriale), IEC 62304 (medico) e ISO 26262 (automotive). Consiste in una test suite per i casi d’uso sinora identifi- cati in TRACE32, una descrizione completa dell’ambiente TRACE32 e una descrizione completa del processo di qua- lificazione. Con il TQSK Lauterbach dà agli sviluppatori la certezza di sapere che la famiglia di prodotti TRACE32 ha dimostrato in modo ripetibile di saper produrre risul- tati consistenti e affidabili, e può essere validata rispetto a importanti standard riconosciuti a livello internazionale. L’attuale versione di TRACE32 TQSK (v3.1 da agosto 2021) contiene tutti i documenti necessari per realizzare e com- pletare la qualifica dello strumento per qualsiasi SIL e, so- prattutto, il “Manuale di sicurezza per gli sviluppatori”. Le suite di test incluse coprono i casi d’uso Coverage e Debug e possono essere utilizzate gratuitamente dai clienti TRA- CE32. È inoltre offerta a pagamento la suite di test per si- mulatore TriCore che consente di qualificare il simulatore del set di istruzioni TRACE32 per TriCore come strumen- to utilizzabile in un progetto critico per la sicurezza. Tutte le suite di test vengono eseguite nell’ambiente ope- rativo dell’utente finale e supportano pienamente l’utiliz- zo in configurazioni multicore. TRACE32 TQSK è dotato di tutte le funzionalità necessarie, collaudato sul campo e pronto a coprire nuovi scenari e requisiti. Lauterbach mantiene il suo TQSK attraverso un’inter- faccia web TQSK Customer Interface, in modo da poter fornire ai propri clienti un servizio completo e continuo di qualificazione del tool. Per i clienti registrati è possibi- le scaricare versioni personalizzate del TQSK, accedere a tutte le modifiche del SW TRACE32 importanti per l’uti- lizzo del TQSK, avere informazioni sui problemi noti del TQSK e sul loro stato attuale. Copertura di codice basata sul trace: suite di test per il Coverage Molti sistemi embedded devono essere sviluppati secon- do uno standard di sicurezza riconosciuto a livello inter- nazionale. Per dimostrare che un sistema soddisfa questi standard è necessario identificare una qualche forma di copertura del codice. Lo standard di sicurezza raccomanderà o imporrà vari livelli di copertura del codice che devono essere garanti- ti per soddisfare determinati livelli all’interno dello stan- dard. L’analisi della copertura del codice in TRACE32 si basa sul tracciamento delle singole istruzioni eseguite nel flusso di programma (trace-based code coverage). Lauterbach of- fre misure di copertura del codice basate sul tracciamento in tempo reale del flusso di programma che non richiedo- no l’instrumentazione del codice da testare, pertanto gli sviluppatori possono testare il codice così come apparireb- be nei dispositivi in campo. Molti chip embedded fra quelli più utilizzati in commer- cio includono la possibilità di tracciare l’avanzamento del flusso di programma. Le tecnologie per il tracciamento variano in base al dispositivo e al produttore ma i dati che producono sono molto simili: una registrazione non in- trusiva del flusso di un programma in esecuzione su quel dispositivo. La linea di prodotti HW TRACE32 per debug e tracciamento permette di catturare e analizzare questi dati per ottenere la copertura del codice. Le informazioni sul flusso di esecuzione del programma sono tracciate direttamente a livello di codice oggetto. Questo permette di verificare facilmente le seguenti me- triche di copertura: •Object statement coverage: verifica che ogni istruzione as- sembler è stata eseguita almeno una volta durante il test • Object branch coverage: verifica che ogni salto condizio- nato è stato eseguito almeno una volta ed è stato “non eseguito” almeno una volta Le soluzioni di debug e tracciamento fornite da Lauterbach permettono di ottenere il massimo vantaggio sia nell’ambi- to dei test di integrazione che nei test di sistema. Nel primo caso il tracciamento non intrusivo consente di verificare che due o più unità possano operare insieme senza proble-