Passaggio e esito negativo di una verifica

La verifica SDV di una regola ha tre risultati di base:

• Il driver supera la verifica.

• Il driver non riesce la verifica.

• Il risultato è inconclusivo.

Prima di trarre conclusioni basate su questi risultati, è necessario comprendere ogni risultato e conoscere le numerose qualifiche che comportano. Non si deve giudicare alcun risultato per essere una valutazione finale o completa del conducente.

Risultati della verifica

Un driver passa una verifica SDV quando, dopo aver esplorato tutti i percorsi di esecuzione pertinenti nel codice del driver, il motore di verifica SDV non può dimostrare che il driver ha violato una regola selezionata per la verifica.

Un driver ha esito negativo una verifica quando il motore di verifica SDV dimostra che il driver ha violato una regola almeno una volta. La violazione è nota come difetto. Se il driver ha violato una regola più volte, SDV segnala più difetti.

Una verifica è inconclusiva se termina prima del completamento a causa di timeout (risultato di timeout ) o di una carenza di memoria (risultato di Spaceout ) o quando SDV non è riuscito a raggiungere una conclusione passata o non riuscita (risultato incerto ). Inoltre, SDV potrebbe aver rilevato errori interni dello strumento che impediscono di completare le attività. Per altre informazioni sui risultati, vedere Interpretazione dei risultati del driver statico.

Quando una regola non si applica al driver, ad esempio, se il driver non usa le interfacce del driver di dispositivo che la regola verifica, SDV segnala che la regola non è applicabile.