52
- ELETTRONICA OGGI 439 - SETTEMBRE 2014
TECHFOCUS
CODE COVERAGE ANALYSIS
sumo, la Connectivity Verification App, per la verifica
delle interfacce, la X-Propagation Verification App, per
la ricerca dei conflitti, la Security Path Verification App,
per il test delle funzionalità di sicurezza e molte altre.
Verifica a oggetti
LDRA
è stata fondata dal professor Michael Hennell,
che voleva commercializzare i software di test svilup-
pati nella locale università. La tecnologia Testbed ivi
concepita è particolarmente adatta per la Code Cove-
rage Analysis, finalizzata a certificare la completezza
dei programmi per il controllo dei sistemi elettronici,
tanto nel comportamento statico quanto nella risposta
al variare delle condizioni al contorno.
Questa tecnologia esegue insieme l’analisi sul software
e l’analisi a livello degli oggetti per verificare le condi-
zioni anomale più critiche e valutare l’affidabilità del si-
stema rispetto agli imprevisti. TBrun è il tool che genera
gli algoritmi per la verifica automatizzata dell’efficacia
dei test, TBreq fa la verifica funzionale sui requisiti
mentre TBobjectbox è il modulo per la verifica a og-
getti e, infine, il TQSP (Tool Qualification Support Pack)
serve a tracciare tutte le verifiche effettuate in modo da
tenerne documentazione. A questi si aggiungono i tool
LDRArules, LDRAcover e LDRAunit, che sorvegliano
l’efficacia dell’analisi e applicano le modifiche necessa-
rie per migliorarla fino a ottenere i risultati che massi-
mizzano l’affidabilità.
Verifica dinamica
Vector Software
ha progettato e prodotto la piattafor-
ma integrata VectorCAST, utilizzabile sia per i test sia
per l’analisi della completezza dei test. Questa suite
comprende svariati tool che consentono di verificare i
test singolarmente o congiuntamente valutandone l’ef-
ficacia e la correlazione. Fra essi vi sono VectorCast/
C++ e VectorCast/Ada per l’analisi dinamica sui siste-
mi embedded nei linguaggi C++ e Ada, entrambi legati
al VectorCast/Manage, che gestisce e rende tracciabili
le verifiche dei due tool e al VectorCast/RSP (Runtime
Support Package) per la generazione automatizzata dei
test di verifica sui sistemi embedded, con requisiti di
temporizzazione particolarmente severi. VectorCast/
Code effettua la verifica della completezza dei test
effettuati individuando le eventuali particolarità che
possono essere sfuggite e che invece rappresentano
qualche rischio per l’affidabilità del sistema, mentre
VectorCast/MCDC esegue i test Modified Condition/
Decision Coverage, che servono per testare le condi-
zioni al contorno più inverosimili e valutare se il com-
portamento del sistema conferma la completezza dei
test di verifica svolti.
Q
Fig. 4 – La suite VectorCast di Vector Software comprende diversi tool che possono essere usati singolarmente o congiuntamente per veri-
ficare la completezza dei test eseguiti sui sistemi embedded
