50
- ELETTRONICA OGGI 439 - SETTEMBRE 2014
analisi sulla completezza dei test serve per va-
lutare l’adeguatezza delle misure di test su tutte
le problematiche che possono insorgere nei mo-
derni sistemi dove la complessità è cresciuta al pun-
to da non permettere più di accontentarsi di test che
abbiano la minima probabilità di essere incompleti. In
altre parole, si possono fare test all’infinito ma come es-
sere sicuri che i test eseguiti soddisfino l’intero scibile
delle possibilità di funzionamento o malfunzionamento
dei sistemi? L’analisi di completezza sui test serve pro-
prio per stabilire se i test eseguiti siano adeguatamente
soddisfacenti per potersi fidare delle prestazioni di un
prototipo e proseguire nel ciclo di sviluppo e produ-
zione senza rischi. Questa procedura è nota da tempo
relativamente allo sviluppo del software ma oggi è di-
ventata fondamentale per ogni aspetto software e har-
dware dei sistemi ed è, inoltre, diversa dalla verifica
dei requisiti dove ci si limita a confrontare se le funzioni
eseguite sono conformi a quanto richiesto, perché la
correttezza funzionale di un sistema non è una garanzia
sulla sua immunità agli eventuali imprevisti, che invece
possono pur raramente incombere. Prima di avviare
la fabbricazione di un nuovo prodotto è pertanto indi-
spensabile avere consapevolezza dell’affidabilità del
suo funzionamento in tutte le condizioni, prevedibili e
imprevedibili.
I vantaggi di una Code Coverage Analysis sono legati
all’affidabilità dei risultati che può fornire, ossia a un’a-
deguata certezza che le funzionalità del sistema in esa-
me corrispondano effettivamente a quelle richieste in
tutti gli aspetti applicativi, sia quelli previsti, sia quelli
del tutto casuali. D’altra parte, prima di passare dal pro-
totipo alla produzione è indispensabile aver svolto tutti
i test necessari e sufficienti per non rischiare che di-
fetti o malfunzionamenti rimangano nascosti e possano
poi fuoriuscire nel ciclo vitale del prodotto e causare
disastri. D’altro canto, da quando è stata applicata su
molti tool di test attualmente sul mercato, l’analisi sul-
la copertura dei test ha evidenziato quanto incomple-
ti essi siano. In effetti, non si tratta di censire quanti e
quali test si facciano ma piuttosto di assicurarsi che i
test eseguiti abbiano efficacia di riscontro sulla quali-
tà e sull’affidabilità delle prestazioni. In alcuni contesti
la Code Coverage e la Functional Coverage sono due
aspetti della più generale Functional Verification, o ve-
rifica funzionale, che viene a sua volta chiamata anche
Formal Verification, o verifica formale, ma il concetto
TECHFOCUS
CODE COVERAGE ANALYSIS
I test di completezza servono ad appurare che i
collaudi software e hardware risolvano appieno
tutti i dubbi sulle funzionalità e sulle prestazioni dei
sistemi abbattendo gli inutili rischi in fase produttiva
TOOL PER LA VERIFICA
L’
DELL’EFFICACIA
Lucio Pellizzari
DEI TEST
Fig. 1 – Coverity propone il Coverity Code Advisor per individuare i
rischi di conflitto o di malfunzionamento che possono essere sfug-
giti ai test di verifica
