Passando e falhando em uma verificação

A verificação SDV de uma regra tem três resultados básicos:

• O driver passa na verificação.

• O driver falha na verificação.

• O resultado é inconclusivo.

Antes de tirar conclusões com base nesses resultados, você deve entender cada resultado e estar ciente das muitas qualificações que eles implicam. Você não deve julgar nenhum resultado como uma avaliação final ou completa do driver.

Resultados da verificação

Um driver passa por uma verificação SDV quando, depois de explorar todos os caminhos de execução relevantes no código do driver, o mecanismo de verificação SDV não pode provar que o driver violou uma regra que foi selecionada para verificação.

Um driver falha em uma verificação quando o mecanismo de verificação SDV prova que o driver violou uma regra pelo menos uma vez. A violação é conhecida como defeito. Se o driver violou uma regra mais de uma vez, o SDV relatará vários defeitos.

Uma verificação será inconclusiva se terminar antes de ser concluída devido a tempos limite (um resultado de tempo limite ) ou uma escassez de memória (um resultado de Espaço limite ) ou quando o SDV não pôde chegar a uma conclusão aprovada ou com falha (um resultado incerto ). Além disso, o SDV pode ter encontrado erros de ferramenta interna que o impedem de concluir suas tarefas. (Para obter mais informações sobre os resultados, consulte Interpretando resultados do verificador de driver estático.)

Quando uma regra não se aplica ao driver, por exemplo, se o driver não fizer uso das interfaces de driver de dispositivo verificadas pela regra, o SDV relatará que a regra não é aplicável.