Injeção automática de falhas para teste de robustez de drivers

Os testes de robustez são uma fase crucial no ciclo de desenvolvimento de drivers de dispositivos. Para acelerar os testes de robustez dos drivers, é necessário gerar e injetar cenários de falhas eficazes sem exigir muito tempo e esforço humano. Neste artigo, apresentamos uma abordagem prática para a geração e injeção automática em tempo de execução de cenários de falhas para teste de robustez de drivers. Identificamos funções-alvo que podem falhar a partir de rastros de execução em tempo de execução, geramos cenários de falhas eficazes nessas funções-alvo usando uma estratégia iterativa baseada em rastros limitados e injetamos os cenários de falhas gerados em tempo de execução para testar a robustez do driver usando um mecanismo de injeção baseado em permutação. Avaliamos nossa abordagem em 12 drivers de dispositivos Linux e encontramos 28 bugs severos. Todos esses bugs foram validados posteriormente por meio de injeção manual de falhas. Os resultados demonstram que nossa abordagem é útil e eficiente na geração de cenários de falhas para teste de robustez de drivers com pouco esforço manual.